Changes between Version 25 and Version 26 of Language

Timestamp:

05/19/23 18:05:37 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -644 +644 @@
 === Waiting for process termination: `$wait` and `$waitall`
 
+{{{
+$system void $wait($proc p);
+$system void $waitall($proc *procs, int numProcs);
+}}}
+
+Calling `$wait(p)` blocks the calling process until process `p` has terminated.
+Calling `$waitall(procs, n)` blocks the calling process until all processes `procs[0]`,...,`procs[n-1]` have terminated.
+All the process arguments must refer to valid processes, i.e., they cannot be undefined or `$proc_null`.
+It is OK if a process argument refers to a process that has already terminated.
+
 === Yielding atomicity: `$yield`