Context Navigation

Changes between Version 37 and Version 38 of Concurrency

v37	v38
49	49	=== 1. Cooperative or preemptive concurrency? ===
50	50
51		'''~~1.a.''' The spec requires cooperative concurrency,~~ preemption is
	51	'''Choice 1.a.''' The spec requires cooperative concurrency, and preemption is
52	52	allowed as an extension. Both would be specified precisely in
53	53	terms of what progress and fairness guarantees the programmer can
…	…
75	75
76	76	[[BR]]
77		'''1.b.''' Preemption is required by the spec.
	77	'''Choice 1.b.''' Preemption is required by the spec.
78	78
79	79	'''Pros'''
…	…
111	111	'''2.1.''' choices for concurrent calls:
112	112
113		'''2.1.a.''' we annotate concurrent calls:
	113	'''Choice 2.1.a.''' we annotate concurrent calls:
114	114
115	115	'''a.''' concurrent[[BR]]
…	…
136	136	reasonably make.
137	137
138		'''2.1.b.''' we annotate non concurrent calls:
	138	'''Choice 2.1.b.''' we annotate non concurrent calls:
139	139
140	140	'''Rationale''' for annotating the non-concurrent calls: this is a
…	…
186	186	Haskell).
187	187
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
189	189	may be observed out of order, but specify that certain operations
190	190	(eg. {{{MVar}}} operations) constitute sequence points around which no
191	191	re-ordering may happen.
192	192
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
194	194	observable.
195	195