Nonblocking - Revision history

Polas: 5 revisions imported

2019-04-15T15:44:36Z

5 revisions imported

Polas at 14:23, 15 April 2013

2013-04-15T14:23:29Z

Polas at 18:44, 13 January 2013

2013-01-13T18:44:14Z

Polas at 18:22, 13 January 2013

2013-01-13T18:22:47Z

Polas at 17:53, 12 January 2013

2013-01-12T17:53:16Z

Polas: Created page with '== Syntax == nonblocking[ ] == Semantics == This type will force P2P communication to be nonblocking. In this mode communication (send or receive) can be thought of as having …'

2010-01-10T19:43:04Z

Created page with '== Syntax == nonblocking[ ] == Semantics == This type will force P2P communication to be nonblocking. In this mode communication (send or receive) can be thought of as having …'

New page

== Syntax ==

nonblocking[ ]

== Semantics ==

This type will force P2P communication to be nonblocking. In this mode communication (send or receive) can be thought of as having two distinct states - start and finish. The nonblocking type will start communication and allows program execution to continue between these two states, whilst blocking (standard) mode requires the finish state has been reached before continuing. The [[sync]] keyword can be used to force the program to wait until finish state has been reached.

== Example ==

var a:Int::allocated[single[on[1]]] :: nonblocking[];
var b:Int::allocated[single[on[2]]];
a:=b;
sync a;

In the P2P communication resulting from assignment ''a:=b'', process 1 will issue a non-blocking receive whilst process 2 will issue a blocking send. All nonblocking communication with respect to variable ''a'' is completed by the keyword ''sync a''.

[[Category:Type Library]]
[[Category:Composite Types]]
[[Category:Communication Mode Types]]

@@ Line 16: / Line 16: @@
 In the P2P communication resulting from assignment ''a:=b'', process 1 will issue a non-blocking receive whilst process 2 will issue a blocking send. All nonblocking communication with respect to variable ''a'' is completed by the keyword ''sync a''.
-''Since: Version 0.41b''
+''Since: Version 0.5''
 [[Category:Type Library]]
 [[Category:Compound Types]]
 [[Category:Communication Mode Types]]

← Older revision	Revision as of 15:44, 15 April 2019
(No difference)

@@ Line 9: / Line 9: @@
 == Example ==
-  var a:Int::allocated[single[on[1]]] :: nonblocking[];
+  function void main() {
- var b:Int::allocated[single[on[2]]];
+    var a:Int::allocated[single[on[1]]] :: nonblocking[];
- a:=b;
+    var b:Int::allocated[single[on[2]]];
- sync a;
+    a:=b;
 In the P2P communication resulting from assignment ''a:=b'', process 1 will issue a non-blocking receive whilst process 2 will issue a blocking send. All nonblocking communication with respect to variable ''a'' is completed by the keyword ''sync a''.