Changes between Version 23 and Version 24 of Concurrency
- Timestamp:
- 03/31/06 07:36:13 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Concurrency
v23 v24 48 48 * foreign calls marked 'concurrent' will not interfere will the above rule. 49 49 50 == MVar Guarentees == 50 Additionally, 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 55 This means that {{{MVar}}} blocking must be implemented in a fair way, eg. a FIFO of blocked threads. 56 57 == {{{MVar}}} Guarentees == 51 58 52 59 initial proposal is here:
