diff options
Diffstat (limited to 'src/test/run-pass/task-comm-7.rs')
| -rw-r--r-- | src/test/run-pass/task-comm-7.rs | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/src/test/run-pass/task-comm-7.rs b/src/test/run-pass/task-comm-7.rs new file mode 100644 index 00000000..bb59807d --- /dev/null +++ b/src/test/run-pass/task-comm-7.rs @@ -0,0 +1,44 @@ +io fn main() -> () { + test00(); +} + +io fn test00_start(chan[int] c, int start, int number_of_messages) { + let int i = 0; + while (i < number_of_messages) { + c <| start + i; + i += 1; + } +} + +io fn test00() { + let int r = 0; + let int sum = 0; + let port[int] p = port(); + let int number_of_messages = 10; + + let task t0 = spawn test00_start(chan(p), + number_of_messages * 0, number_of_messages); + let task t1 = spawn test00_start(chan(p), + number_of_messages * 1, number_of_messages); + let task t2 = spawn test00_start(chan(p), + number_of_messages * 2, number_of_messages); + let task t3 = spawn test00_start(chan(p), + number_of_messages * 3, number_of_messages); + + let int i = 0; + while (i < number_of_messages) { + r <- p; sum += r; + r <- p; sum += r; + r <- p; sum += r; + r <- p; sum += r; + i += 1; + } + + join t0; + join t1; + join t2; + join t3; + + check (sum == (((number_of_messages * 4) * + ((number_of_messages * 4) - 1)) / 2)); +}
\ No newline at end of file |