Changes between Version 5 and Version 6 of Concurrency


Ignore:
Timestamp:
Mar 26, 2006 12:29:09 AM (8 years ago)
Author:
john@…
Comment:

begin breaking down concurrency levels

Legend:

Unmodified
Added
Removed
Modified
  • Concurrency

    v5 v6  
    2727 * Things like the 'poor man's concurrency monad' can achieve some of the benefits 
    2828 
    29 == Proposal == 
     29== Proposal ==           
    3030 
    3131 * Standardise on Concurrent Haskell without STM.  It is our view that even in the presence of STM, {{{MVar}}}s offer 
     
    4343 * Require bound thread support, or make it optional?  (YHC has concurrency with non-blocking foreign calls, but doesn't 
    4444   have bound threads as yet.) 
     45 
     46 
     47---------- 
     48 
     49= Levels = 
     50 
     51There are several levels of concurrency support which require sucessivly more 
     52implementation support and imply more implementation overhead. 
     53 
     54== No Concurrency == 
     55 
     56The report says nothing about concurrency at all 
     57 
     58== Concurrent Friendly == 
     59 
     60Enough is specified to allow people to write completley portable programs and 
     61libraries that while they may not depend on concurrency, will not break in the 
     62presence of it.  
     63 
     64This would entail 
     65 
     66 * A standardized MVar-like structure. 
     67 * something along the lines of ForeignBlocking  
     68 
     69== Concurrent Capabale == 
     70 
     71This would allow concurrency needing programs to be written, but perhaps not 
     72as transparently as it curently is with GHC. This would include everything 
     73needed to write concurrent programs without anything that would imply a 
     74run-time or implementation overhead in the non-concurrent case.  
     75 
     76== Concurrent Built-in == 
     77 
     78 
     79== Concurrent Preemptive/SMP == 
     80 
     81 
     82