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 ==