Changes between Version 14 and Version 15 of Concurrency


Ignore:
Timestamp:
Mar 29, 2006 12:39:25 PM (9 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Concurrency

    v14 v15  
    3030
    3131----------------------
    32 = Proposal =         
     32= Proposals =         
    3333
    34  * Standardise on Concurrent Haskell without STM.  It is our view that even in the presence of STM, {{{MVar}}}s offer
    35    functionality that is distinct from STM and separately useful, so this leaves room for growth.
    36  
    37  * Use the semantics from [http://www.haskell.org/~simonmar/papers/conc-ffi.pdf Extending the Haskell FFI with Concurrency]
     34== Proposal 1 ==
    3835
    39  * Standardise a way to write thread-safe libraries that work with implementations that don't provide full concurrency support.
     36 * The Haskell' standard does not include concurrency, but includes enough to allow portable thread-safe
     37   libraries to be written.  (see "thread safe", below).
    4038
    41 == Questions ==
     39 * A separate addendum specifies concurrency according to the ''fairness'' requirements (see below).
    4240
    43  * Decide whether the Haskell' report includes Concurrency (with a separate !NoConcurrency addendum to specify how implementations without concurrency behave), or whether Concurrency is specified in a separate addendum.
     41== Proposal 2 ==
    4442
    45  * Decide how much pre-emption is acceptable, and figure out how to specify this.
     43 * The Haskell' standard includes concurrency with the ''fairness'' requirements.
     44
     45 * A separate addendum specifies how implementations that do not provide concurrency behave: at the least,
     46   it should include enough to allow portable thread-safe libraries.
     47
     48== Proposal 3 ==
     49
     50 * The Haskell' standard includes concurrency with a weaker version of ''fairness'', that is enough
     51   to admit implementations with ''cooperative scheduling''.
     52
     53 * A separate addendum specifies concurrency with the full ''fairness'' requirements.
     54
     55== Open questions ==
    4656
    4757 * Require bound thread support, or make it optional?  (YHC has concurrency with non-blocking foreign calls, but doesn't
    4858   have bound threads as yet.)
     59
     60 * Do we require ForeignBlocking?
    4961
    5062== Thread-safety ==