Changes between Version 27 and Version 28 of Concurrency


Ignore:
Timestamp:
Apr 3, 2006 6:02:55 AM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Concurrency

    v27 v28  
    1818 * [http://www.haskell.org/ghc/docs/papers/threads.ps.gz A Draft report addendum] (a shorter version of the above paper).
    1919 * [http://research.microsoft.com/~simonpj/papers/stm/ Software Transactional Memory]
     20 * [http://state-threads.sourceforge.net/ State Threads for C]
    2021
    2122--------------
     
    2425
    2526
    26 == what is provided ==
     27== what is required by the standard ==
    2728
    2829At least the following interface will be provided
     
    4748
    4849This means that {{{MVar}}} blocking must be implemented in a fair way, eg. a FIFO of blocked threads.
     50
     51In order to meet the progress guarentee, an implementation must yield to
     52another thread, waiting for an appropriate event, before any action that
     53entails blocking for an indeterminate amount of time.
    4954
    5055== {{{MVar}}} Guarentees ==
     
    106111
    107112
     113= Notes - Sharing =
     114
     115Although not mentioned in the standard, the use of Concurrency may affect
     116the lazy sharing of computations. Consult an implementations documentation if
     117this might be an issue for you.
    108118
    109119= Status of Compilers =