Changes between Version 22 and Version 23 of Concurrency


Ignore:
Timestamp:
Mar 31, 2006 3:28:21 PM (8 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