blob: 6dd620cc762179054f466b5d5d53f2945fa7603d (
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
|
io fn main() -> () {
log "===== THREADS =====";
test00(false);
}
io 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";
}
io fn test00(bool is_multithreaded) {
let int number_of_tasks = 1;
let int number_of_messages = 0;
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) {
i = i + 1;
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));
}
}
// 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: ";
check (sum + 1 == number_of_messages *
(number_of_tasks * number_of_tasks + number_of_tasks) / 2);
log sum;
}
|