Changes between Version 5 and Version 6 of Concurrency


Ignore:
Timestamp:
Mar 26, 2006 12:29:09 AM (9 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