Changes between Version 27 and Version 28 of Concurrency
- Timestamp:
- 04/02/06 23:02:55 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Concurrency
v27 v28 18 18 * [http://www.haskell.org/ghc/docs/papers/threads.ps.gz A Draft report addendum] (a shorter version of the above paper). 19 19 * [http://research.microsoft.com/~simonpj/papers/stm/ Software Transactional Memory] 20 * [http://state-threads.sourceforge.net/ State Threads for C] 20 21 21 22 -------------- … … 24 25 25 26 26 == what is provided ==27 == what is required by the standard == 27 28 28 29 At least the following interface will be provided … … 47 48 48 49 This means that {{{MVar}}} blocking must be implemented in a fair way, eg. a FIFO of blocked threads. 50 51 In order to meet the progress guarentee, an implementation must yield to 52 another thread, waiting for an appropriate event, before any action that 53 entails blocking for an indeterminate amount of time. 49 54 50 55 == {{{MVar}}} Guarentees == … … 106 111 107 112 113 = Notes - Sharing = 114 115 Although not mentioned in the standard, the use of Concurrency may affect 116 the lazy sharing of computations. Consult an implementations documentation if 117 this might be an issue for you. 108 118 109 119 = Status of Compilers =
