Changes between Version 8 and Version 9 of Language

Timestamp:

05/18/23 10:43:55 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -377 +377 @@
 There is no guarantee that execution of `stmt` will continue atomically if it contains more than one atomic action, i.e., other processes may be scheduled.
 
-Examples:
+==== Example
 
 {{{
@@ -385 +385 @@
 The execution of `s--` is guaranteed to take place in an environment in which `s` is positive.
 
+==== Example
+
 {{{
 $when (s>0) { s--; t++; }
@@ -393 +395 @@
 $when (s>0) s--; t++;
 }}}
-To make the entire statement atomic, one must use an `$atomic` statement.
-
-{{{
-$when (s>0) $when (t>0) x=y*t;
-}}}
-This blocks until both `x` and `t` are positive then executes the assignment in that state.
-It is equivalent to
-{{{
-$when (s>0 && t>0) x=y*t;
-}}}
+To make the entire statement atomic, one must use an `$atomic` statement; see the following example.
+
+==== Example
 
 The following statements are all equivalent:
@@ -412 +407 @@
 Each of these waits until `s` is positive, then from such a state, decrements `s` and increments `t` without the intervention of other processes.
 
+==== Example
+
+{{{
+$when (s>0) $when (t>0) x=y*t;
+}}}
+This blocks until both `x` and `t` are positive then executes the assignment in that state.
+It is equivalent to
+{{{
+$when (s>0 && t>0) x=y*t;
+}}}
+
+
 == Functions