blob: 4a21b4e4388bf359d4f1d6c2c36399022eb248da (
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
io fn main() -> () {
test00(true);
// test01();
// test02();
// test03();
// test04();
}
io fn test00_start(chan[int] ch, int message, int count) {
log "Starting test00_start";
let int i = 0;
while (i < count) {
ch <| message;
i = i + 1;
}
log "Ending test00_start";
}
io fn test00(bool is_multithreaded) {
let int number_of_tasks = 4;
let int number_of_messages = 64;
log "Creating tasks";
let port[int] po = port();
let chan[int] ch = chan(po);
let int i = 0;
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));
}
}
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;
}
}
for (task t in tasks) {
join t;
}
log "Completed: Final number is: ";
check (sum == number_of_messages *
(number_of_tasks * number_of_tasks + number_of_tasks) / 2);
}
io fn test01() {
let port[int] p = port();
log "Reading from a port that is never written to.";
let int value <- p;
log value;
}
io fn test02() {
let port[int] p = port();
let chan[int] c = chan(p);
log "Writing to a local task channel.";
c <| 42;
log "Reading from a local task port.";
let int value <- p;
log value;
}
obj vector(mutable int x, int y) {
fn length() -> int {
x = x + 2;
ret x + y;
}
}
fn test03() {
log "Creating object ...";
let mutable vector v = vector(1, 2);
log "created object ...";
let mutable vector t = v;
log v.length();
}
fn test04_start() {
log "Started Task";
let int i = 1024 * 1024 * 64;
while (i > 0) {
i = i - 1;
}
log "Finished Task";
}
fn test04() {
log "Spawning lots of tasks.";
let int i = 64;
while (i > 0) {
i = i - 1;
spawn thread test04_start();
}
log "Finishing up.";
}
|