src/test/run-pass/task-comm-3.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

use std;
import task;
import comm;
import comm::chan;
import comm::send;
import comm::recv;

fn main() { #debug("===== WITHOUT THREADS ====="); test00(); }

fn test00_start(ch: chan<int>, message: int, count: int) {
    #debug("Starting test00_start");
    let mut i: int = 0;
    while i < count {
        #debug("Sending Message");
        send(ch, message + 0);
        i = i + 1;
    }
    #debug("Ending test00_start");
}

fn test00() {
    let number_of_tasks: int = 16;
    let number_of_messages: int = 4;

    #debug("Creating tasks");

    let po = comm::port();
    let ch = chan(po);

    let mut i: int = 0;

    // Create and spawn tasks...
    let mut results = [];
    while i < number_of_tasks {
        let builder = task::task_builder();
        results += [task::future_result(builder)];
        task::run(builder) {||
            test00_start(ch, i, number_of_messages)
        }
        i = i + 1;
    }

    // Read from spawned tasks...
    let mut sum = 0;
    for r in results {
        i = 0;
        while i < number_of_messages {
            let value = recv(po);
            sum += value;
            i = i + 1;
        }
    }

    // Join spawned tasks...
    for r in results { future::get(r); }

    #debug("Completed: Final number is: ");
    log(error, sum);
    // assert (sum == (((number_of_tasks * (number_of_tasks - 1)) / 2) *
    //       number_of_messages));
    assert (sum == 480);
}