Blocking

From Mesham
Revision as of 17:49, 12 January 2013 by Polas (talk | contribs)
Jump to navigationJump to search

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.