Difference between revisions of "Standard"
From Mesham
Jump to navigationJump to search (Created page with '== Syntax == standard[ ] == Semantics == This type will force P2P sends to follow the standard form of reaching the finish state either when the message has been delivered or …') |
m |
||
| Line 18: | Line 18: | ||
[[Category:Type Library]] | [[Category:Type Library]] | ||
| − | [[Category: | + | [[Category:Compound Types]] |
[[Category:Communication Mode Types]] | [[Category:Communication Mode Types]] | ||
Revision as of 17:56, 12 January 2013
Syntax
standard[ ]
Semantics
This type will force P2P sends to follow the standard form of reaching the finish state either when the message has been delivered or it has been copied into a buffer on the sender. This is the default applied if further type information is not present.
Example
var a:Int::allocated[single[on[1]]] :: nonblocking[] :: standard[]; var b:Int::allocated[single[on[2]]] :: standard[]; a:=b;
In the P2P communication resulting from assignment a:=b, process 1 will issue a non-blocking standard receive whilst process 2 will issue a blocking standard send.
