Difference between revisions of "Commgroup"

From Mesham
Jump to navigationJump to search
(Created page with '== Syntax == commgroup[process list] == Semantics == Specified within the multiple type, will limit memory allocation (and variable communication) to the processes within the …')
 
m (6 revisions imported)
 
(5 intermediate revisions by the same user not shown)
Line 5: Line 5:
 
== Semantics ==
 
== 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.
+
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. All variables marked in this way are private to their local processes.
  
 
== Example ==
 
== Example ==
  
  var i:Int :: allocated[multiple[commgroup[1,2]]];
+
  function void main() {
 +
    var i:Int :: allocated[multiple[commgroup[1,3]]];
 +
};
  
In this example there are a number processes, but only 1 and 2 have variable ''i'' allocated to them.
+
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''
  
 
[[Category:Type Library]]
 
[[Category:Type Library]]
[[Category:Composite Types]]
+
[[Category:Compound Types]]
 
[[Category:Allocation Types]]
 
[[Category:Allocation Types]]

Latest revision as of 15:44, 15 April 2019

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. All variables marked in this way are private to their local processes.

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