diff options
| author | Michael Bebenita <[email protected]> | 2010-07-28 16:58:17 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-28 20:30:30 -0700 |
| commit | 74a79fff3aa1374e6dc5ef75deb8f216cb3136c9 (patch) | |
| tree | a8637f58321ac19e1eab66040b2bb7e446a98804 /src/test/run-pass/task-comm-7.rs | |
| parent | Log dead tasks when dom is just waiting for refcounts to drop. (diff) | |
| download | rust-74a79fff3aa1374e6dc5ef75deb8f216cb3136c9.tar.xz rust-74a79fff3aa1374e6dc5ef75deb8f216cb3136c9.zip | |
Add a bunch of comm tests.
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 |