From c80483d582b995e7890a581e7de03c70c51df137 Mon Sep 17 00:00:00 2001 From: Michael Bebenita Date: Mon, 19 Jul 2010 17:33:50 -0700 Subject: Fixed circular buffer resizing bug. --- src/test/run-pass/task-comm-4.rs | 26 ++++++++++++++++++++++++-- src/test/run-pass/task-comm-5.rs | 25 +++++++++++++++++++++++++ 2 files changed, 49 insertions(+), 2 deletions(-) create mode 100644 src/test/run-pass/task-comm-5.rs (limited to 'src/test') diff --git a/src/test/run-pass/task-comm-4.rs b/src/test/run-pass/task-comm-4.rs index 42ba6992..b185d425 100644 --- a/src/test/run-pass/task-comm-4.rs +++ b/src/test/run-pass/task-comm-4.rs @@ -3,8 +3,30 @@ io fn main() -> () { } io fn test00() { + let int r = 0; + let int sum = 0; let port[int] p = port(); let chan[int] c = chan(p); - c <| 42; - let int r <- p; + + c <| 1; + c <| 2; + c <| 3; + c <| 4; + + r <- p; sum += r; log (r); + r <- p; sum += r; log (r); + r <- p; sum += r; log (r); + r <- p; sum += r; log (r); + + c <| 5; + c <| 6; + c <| 7; + c <| 8; + + r <- p; sum += r; log (r); + r <- p; sum += r; log (r); + r <- p; sum += r; log (r); + r <- p; sum += r; log (r); + + check (sum == 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8); } \ No newline at end of file diff --git a/src/test/run-pass/task-comm-5.rs b/src/test/run-pass/task-comm-5.rs new file mode 100644 index 00000000..950f4149 --- /dev/null +++ b/src/test/run-pass/task-comm-5.rs @@ -0,0 +1,25 @@ +io fn main() -> () { + test00(); +} + +io fn test00() { + let int r = 0; + let int sum = 0; + let port[int] p = port(); + let chan[int] c = chan(p); + let int number_of_messages = 1000; + + let int i = 0; + while (i < number_of_messages) { + c <| i; + i += 1; + } + + i = 0; + while (i < number_of_messages) { + r <- p; sum += r; + i += 1; + } + + check (sum == ((number_of_messages * (number_of_messages - 1)) / 2)); +} \ No newline at end of file -- cgit v1.2.3