Changes between Version 37 and Version 38 of Concurrency


Ignore:
Timestamp:
Apr 14, 2006 1:05:34 PM (9 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