Changes between Version 7 and Version 8 of Language

Timestamp:

05/18/23 08:50:52 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -389 +389 @@
 }}}
 The execution of `s--` must happen when `s>0`, but between `s--` and `t++`, other processes may execute.
+The curly braces in the code above do not accomplish anything---the code is equivalent to
+{{{
+$when (s>0) s--; t++;
+}}}
+To make the entire statement atomic, one must use an `$atomic` statement.
 
 {{{
@@ -399 +404 @@
 }}}
 
-
 The following statements are all equivalent:
 {{{
 $when (s>0) $atomic{ s--; t++; }
 $atomic{ $when(s>0); s--; t++; }
-$atomic{ $when(s>0) {s--; t++; } }
+$atomic{ $when(s>0) { s--; t++; } }
 }}}
 Each of these waits until `s` is positive, then from such a state, decrements `s` and increments `t` without the intervention of other processes.