Changes between Version 18 and Version 19 of Concurrency

Show
Ignore:
Timestamp:
03/31/06 00:04:14 (7 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Concurrency

    v18 v19  
    2626 * Providing a 'select' and non-blocking IO would be enough to allow people to implement something like it themselves in haskell and are provided by most systems as primitives. 
    2727 * Things like the 'poor man's concurrency monad' can achieve some of the benefits 
    28  
    29 == Proposal ==           
    30  
    31  * Standardise on Concurrent Haskell without STM.  It is our view that even in the presence of STM, {{{MVar}}}s offer 
    32    functionality that is distinct from STM and separately useful, so this leaves room for growth. 
    33   
    34  * Use the semantics from [http://www.haskell.org/~simonmar/papers/conc-ffi.pdf Extending the Haskell FFI with Concurrency]  
    35  
    36 Questions: 
    37  
    38  * Decide how much pre-emption is acceptable, and figure out how to specify this. 
    39  
    40  * Should we specify what an implementation that doesn't provide concurrency should do? (e.g. provide an implementation 
    41    of MVars in terms of IORefs, so that concurrency-safe libraries can be written portably). 
    42  
    43  * Require bound thread support, or make it optional?  (YHC has concurrency with non-blocking foreign calls, but doesn't 
    44    have bound threads as yet.) 
    45  
    4628 
    4729