Changes between Version 16 and Version 17 of LightweightConcurrency


Ignore:
Timestamp:
May 16, 2012 12:43:35 AM (2 years ago)
Author:
kc
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LightweightConcurrency

    v16 v17  
    4444A PTM transaction may allocate, read and write transactional variables of type `PVar a`. It is important to notice that PTM does not provide a blocking `retry` mechanism. Such a blocking action needs to interact with the scheduler, to block the current thread and resume another thread. We will see [#AbstractSchedulerInterface later] how to allow such interactions while not imposing any restriction on the structure of the schedulers. 
    4545 
     46=== One-shot continuations === 
     47 
     48 
    4649=== Controlling Parallelism === 
    4750