Changes between Version 23 and Version 24 of Concurrency


Ignore:
Timestamp:
Mar 31, 2006 3:36:13 PM (9 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Concurrency

    v23 v24  
    4848 * foreign calls marked 'concurrent' will not interfere will the above rule.
    4949
    50 == MVar Guarentees ==
     50Additionally, we have a fairness property of {{{MVar}}}s:
     51
     52 * A thread blocked on an {{{MVar}}} will eventually run, provided there are no other
     53   threads holding the {{{MVar}}} indefinitely.
     54
     55This means that {{{MVar}}} blocking must be implemented in a fair way, eg. a FIFO of blocked threads.
     56
     57== {{{MVar}}} Guarentees ==
    5158
    5259initial proposal is here: