Changes between Version 31 and Version 32 of Language

Timestamp:

05/20/23 10:37:35 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -664 +664 @@
 Note that a thread waiting to return from a `$yield` has no special priority, even if that `$yield` is inside at local region.
 Only `$local_start` grants a thread a special priority.
-This is illustrated in the following example.
-
-==== Example
-
-
 
 === Heap memory allocation: `$malloc` and `$free`
@@ -714 +709 @@
 === Yielding atomicity: `$yield`
 
+{{{
+$system void $yield();
+}}}
+
+The yield function is used inside an atomic or local region to release the atomic lock so that other processes may execute.
+The yielding process retains its current atomic lock multiplicity, so that if and when it regains the atomic lock, it proceeds executing
+with the same multiplicity it had before the yield.
+In order for the yielding process to return from the call to `$yield`, and thereby regain the atomic lock, the first statement following
+`$yield` must be enabled.
+This statement behaves as a guard for regaining the atomic lock, just as the first statement of an atomic block, or the first statement
+following `$local_start()`, acts as a guard for entering an atomic or local region.
+The yielding process competes with other processes to obtain the lock; it does not have any special priority.
+In particular, if the lock is available and there is a process at a `$local_start()` call (and the first statement following the call is enabled), one such a process is guaranteed to obtain the lock.
+
 == Macros