Changes between Version 27 and Version 28 of Concurrency


Ignore:
Timestamp:
Apr 3, 2006 6:02:55 AM (8 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 =