Changes between Version 37 and Version 38 of Concurrency


Ignore:
Timestamp:
Apr 14, 2006 1:05:34 PM (8 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Concurrency

    v37 v38  
    4949=== 1. Cooperative or preemptive concurrency? === 
    5050 
    51 '''1.a.''' The spec requires cooperative concurrency, preemption is 
     51'''Choice 1.a.''' The spec requires cooperative concurrency, and preemption is 
    5252allowed as an extension.  Both would be specified precisely in 
    5353terms of what progress and fairness guarantees the programmer can 
     
    7575 
    7676[[BR]] 
    77 '''1.b.''' Preemption is required by the spec. 
     77'''Choice 1.b.''' Preemption is required by the spec. 
    7878 
    7979'''Pros''' 
     
    111111'''2.1.''' choices for concurrent calls: 
    112112 
    113 '''2.1.a.''' we annotate concurrent calls: 
     113'''Choice 2.1.a.''' we annotate concurrent calls: 
    114114 
    115115  '''a.''' concurrent[[BR]] 
     
    136136  reasonably make. 
    137137 
    138 '''2.1.b.''' we annotate non concurrent calls: 
     138'''Choice 2.1.b.''' we annotate non concurrent calls: 
    139139 
    140140  '''Rationale''' for annotating the non-concurrent calls: this is a 
     
    186186Haskell). 
    187187 
    188 '''3.a''' Specify a weak memory model, in which {{{IORef}}} updates 
     188'''Choice 3.a''' Specify a weak memory model, in which {{{IORef}}} updates 
    189189may be observed out of order, but specify that certain operations 
    190190(eg. {{{MVar}}} operations) constitute sequence points around which no 
    191191re-ordering may happen. 
    192192 
    193 '''3.b''' Specify a strong memory model in which no re-ordering is 
     193'''Choice 3.b''' Specify a strong memory model in which no re-ordering is 
    194194observable. 
    195195