Buffered - Revision history

Polas: 6 revisions imported

2019-04-15T15:44:37Z

6 revisions imported

Polas at 14:18, 15 April 2013

2013-04-15T14:18:21Z

Polas at 18:44, 13 January 2013

2013-01-13T18:44:04Z

Polas at 18:17, 13 January 2013

2013-01-13T18:17:16Z

Polas at 17:50, 12 January 2013

2013-01-12T17:50:10Z

Polas: /* Semantics */

2013-01-12T17:33:25Z

‎Semantics

Polas: Created page with '== Syntax == buffered[buffersize] == Semantics == This type will ensure that P2P Send will reach the finish state (i.e. complete) when the message is copied into a buffer of s…'

2010-01-10T19:45:25Z

Created page with '== Syntax == buffered[buffersize] == Semantics == This type will ensure that P2P Send will reach the finish state (i.e. complete) when the message is copied into a buffer of s…'

New page

== Syntax ==

buffered[buffersize]

== Semantics ==

This type will ensure that P2P Send will reach the finish state (i.e. complete) when the message is copied into a buffer of size ''buffersize'' bytes. At some later point the message will be sent to the target process. If ''buffersize'' is not provided then a default is used.

== Example ==

var a:Int::allocated[single[on[1]]];
var b:Int::allocated[single[on[2]]] :: buffered[500];
var c:Int::allocated[single[on[2]]] :: buffered[500] :: nonblocking[];
a:=b;
a:=c;

The P2P communication resulting from assignment ''a:=b'', process 2 will issue a (blocking) buffered send (buffer size 500 bytes), which will complete once the message has been copied into this buffer. The assignment ''a:=c'', process 1 will issue another send this time also buffered but nonblocking where program flow will continue between the start and finish state of communication. The finish state will be reached once the value of variable ''c'' has been copied into a buffer held on process 2.

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

@@ Line 17: / Line 17: @@
 The P2P communication resulting from assignment ''a:=b'', process 2 will issue a (blocking) buffered send (buffer size 500 bytes), which will complete once the message has been copied into this buffer. The assignment ''a:=c'', process 1 will issue another send this time also buffered but nonblocking where program flow will continue between the start and finish state of communication. The finish state will be reached once the value of variable ''c'' has been copied into a buffer held on process 2.
-''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]]];
+  function void main() {
- var b:Int::allocated[single[on[2]]] :: buffered[500];
+    var a:Int::allocated[single[on[1]]];
- var c:Int::allocated[single[on[2]]] :: buffered[500] :: nonblocking[];
+    var b:Int::allocated[single[on[2]]] :: buffered[500];
- a:=b;
+    var c:Int::allocated[single[on[2]]] :: buffered[500] :: nonblocking[];
- a:=c;
+    a:=b;
 The P2P communication resulting from assignment ''a:=b'', process 2 will issue a (blocking) buffered send (buffer size 500 bytes), which will complete once the message has been copied into this buffer. The assignment ''a:=c'', process 1 will issue another send this time also buffered but nonblocking where program flow will continue between the start and finish state of communication. The finish state will be reached once the value of variable ''c'' has been copied into a buffer held on process 2.

@@ Line 5: / Line 5: @@
 == Semantics ==
-This type will ensure that P2P Send will reach the finish state (i.e. complete) when the message is copied into a buffer of size ''buffersize'' bytes. At some later point the message will be sent to the target process. If ''buffersize'' is not provided then a default is used.
+This type will ensure that P2P Send will reach the finish state (i.e. complete) when the message is copied into a buffer of size ''buffersize'' bytes. At some later point the message will be sent to the target process. If ''buffersize'' is not provided then a default is used. This type associates with the [[sync]] keyword which will wait until the message has been copied out of the buffer.
 == Example ==