blob: 27f01227607d1c4d368d1342a1850874be136c32 (
plain) (
blame)
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
63
64
65
66
|
// xfail-boot
// xfail-stage0
// xfail-stage1
// xfail-stage2
fn main() -> () {
log "===== WITHOUT THREADS =====";
test00(false);
log "====== WITH THREADS ======";
test00(true);
}
fn test00_start(chan[int] ch, int message, int count) {
log "Starting test00_start";
let int i = 0;
while (i < count) {
log "Sending Message";
ch <| message;
i = i + 1;
}
log "Ending test00_start";
}
fn test00(bool is_multithreaded) {
let int number_of_tasks = 16;
let int number_of_messages = 4;
log "Creating tasks";
let port[int] po = port();
let chan[int] ch = chan(po);
let int i = 0;
// Create and spawn tasks...
let vec[task] tasks = vec();
while (i < number_of_tasks) {
if (is_multithreaded) {
tasks += vec(
spawn thread test00_start(ch, i, number_of_messages));
} else {
tasks += vec(spawn test00_start(ch, i, number_of_messages));
}
i = i + 1;
}
// Read from spawned tasks...
let int sum = 0;
for (task t in tasks) {
i = 0;
while (i < number_of_messages) {
let int value <- po;
sum += value;
i = i + 1;
}
}
// Join spawned tasks...
for (task t in tasks) {
join t;
}
log "Completed: Final number is: ";
// assert (sum == (((number_of_tasks * (number_of_tasks - 1)) / 2) *
// number_of_messages));
assert (sum == 480);
}
|