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: