Changes between Version 97 and Version 98 of LightweightConcurrency


Ignore:
Timestamp:
May 23, 2012 12:55:46 AM (3 years ago)
Author:
kc
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LightweightConcurrency

    v97 v98  
    7070}}}
    7171
    72 A PTM transaction may allocate, read and write transactional variables of type `PVar a`. It is important to notice that PTM does provide a blocking `retry` mechanism which needs to interact with the scheduler, to block the current thread and resume another thread. We will see [#PTMretry later] how we allow such interactions while not imposing any restriction on the structure of the schedulers.
     72A PTM transaction may allocate, read and write transactional variables of type `PVar a`. Transaction is atomically executed using the `atomically` primitive. It is important to notice that PTM provides a blocking `retry` mechanism which needs to interact with the scheduler, to block the current thread and resume another thread. We will see [#PTMretry later] how we allow such interactions while not imposing any restriction on the structure of the schedulers.
    7373
    7474=== One-shot Continuations ===