Blocking

Syntax

blocking[ ]

Semantics

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

Example

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.