Changes between Version 40 and Version 41 of IR2

Timestamp:

04/28/21 17:13:01 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -142 +142 @@
   | (lvalue '=')? '$spawn' expr '(' arg-list? ')' ';'  /* process creation */
   | 'return' expr? ';'  /* return from function call */
-  | '$parspawn' expr ',' expr ',' expr ';'  /* parallel spawn */
   | (lvalue '=')? '$alloc' '(' expr ',' expr ',' type-name ')' ';'  /* heap allocation */
 arg-list: expr (',' expr)* ;  /* actual argument list */
@@ -151 +150 @@
 
 * For function calls and spawns, the first expression shall have type pointer-to-function-....  The function pointed to will be the one called or spawned.  That function must be a system or defined function (not an abstract function).
-* The 3 expressions in a `$parspawn` are (1) pointer to the first element of the process array, an expression of type `$proc*`, (2) an expression of type `$domain`, and (3) an expression of type pointer-to-function-....  The function must have the type that consumes n `$int`s, where n is the dimension of the domain, and returns `void`.   The function is spawned once for each element of the domain.  References to the new processes are stored in the process array.  
 * The first expression following `$alloc` has type `$heap*`.  It is a pointer to the heap that will be modified by allocating the new memory.  The second expression has type `$int` and is the number of elements being allocated.    This is followed by the element type.    The function returns a pointer to the first element of an array, similar to C's malloc.    It is deallocated using function`$free`.
 
@@ -182 +180 @@
 === `seq.cvh` ===
 
+=== `set.cvh` ===
+
 === `map.cvh` ===
+
+=== `rel.cvh` ===
 
 === `concurrency.cvh` ===
 
+{{{
+$parspawn($proc * proc_array, $domain d, void (*f)($int, ...));  /* parallel spawn */
 
+}}}
+
+* In`$parspawn` `*f` must have the function type that consumes n `$int`s, where n is the dimension of the domain.   The function is spawned once for each element of the domain.  References to the new processes are stored in the process array.   The call to `$parspawn` returns immediately.