Blocking

Syntax

blocking[ ]

Semantics

Will force P2P communication to be blocking, which is the default setting

Example

function void main() {
   var a:Int::allocated[single[on[1]]];
   var b:Int::allocated[single[on[2]]] :: blocking[];
   a:=b;
};

The P2P communication (send on process 2 and receive on process 1) resulting from assignment a:=b will force program flow to wait until it has completed. The blocking type has been omitted from the that of variable a, but is used by default.

Since: Version 0.5