Changes between Version 18 and Version 19 of Concurrency


Ignore:
Timestamp:
Mar 31, 2006 8:04:14 AM (9 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