Difference between revisions of "Commgroup"

From Mesham
Jump to navigationJump to search
m
Line 9: Line 9:
 
== Example ==
 
== Example ==
  
  var i:Int :: allocated[multiple[commgroup[1,3]]];
+
  function void main() {
 +
    var i:Int :: allocated[multiple[commgroup[1,3]]];
 +
};
  
 
In this example there are a number processes, but only 1 and 3 have variable ''i'' allocated to them. This type would have also ensured that process two (and zero) exists for there to be a process three.
 
In this example there are a number processes, but only 1 and 3 have variable ''i'' allocated to them. This type would have also ensured that process two (and zero) exists for there to be a process three.

Revision as of 14:19, 15 April 2013

Syntax

commgroup[process list]

Semantics

Specified within the multiple type, will limit memory allocation (and variable communication) to the processes within the list given in this type's arguments. This type will ensure that the communications group processes exist.

Example

function void main() {
   var i:Int :: allocated[multiple[commgroup[1,3]]];
};

In this example there are a number processes, but only 1 and 3 have variable i allocated to them. This type would have also ensured that process two (and zero) exists for there to be a process three.

Since: Version 0.5