Changes between Version 22 and Version 23 of Concurrency


Ignore:
Timestamp:
Mar 31, 2006 3:28:21 PM (9 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Concurrency

    v22 v23  
    8484== Optional Feature 1 - Preemption ==
    8585
    86 
    8786The standard only requires a progress guarentee, that a thread is always
    8887running, making progress. If an implementation supports context switching
    89 during arbitrary, perhaps even pure, computations and meets the stronger
    90 fairness guarentees, then it can be said to support the 'Preemption' option.
     88during arbitrary computations and meets the stronger
     89fairness guarentee below, then it can be said to support the 'Preemption' option.
    9190
    92 Fairness Guarentee 
     91Fairness Guarentee
    9392 * no starvation
    9493
    9594new library calls provided
    96  * mergeIO, nmergeIO
     95 * {{{mergeIO}}}, {{{nmergeIO}}}
    9796
    9897== Optional Feature 2 - OS threads ==
    9998
    100 The implementation allows multiple haskell threads to run at once via the
    101 operating systems threading service. May take advantange of SMP architectures.
     99The implementation additionally allows the following:
    102100
    103  * forkOS,isCurrentThreadBound,runInBoundThread,runInUnboundThread
    104  * bound threads
    105  * concurrent reentrant supported
     101 * {{{foreign export}}}ed functions, and function pointers created by {{{foreign import "wrapper"}}},
     102   can be invoked from multiple OS threads
     103 * bound threads: {{{forkOS}}}, {{{isCurrentThreadBound}}}, {{{runInBoundThread}}}, {{{runInUnboundThread}}}
     104 * concurrent/reentrant foreign calls are supported
    106105
    107 
    108