2011-07-12 17:27:17 -05:00
|
|
|
use std;
|
|
|
|
|
2011-12-13 18:25:51 -06:00
|
|
|
import task;
|
|
|
|
import task::task;
|
|
|
|
import comm;
|
|
|
|
import comm::chan;
|
|
|
|
import comm::port;
|
|
|
|
import comm::send;
|
|
|
|
import comm::recv;
|
2010-06-23 23:03:09 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
fn main() {
|
2011-07-12 17:27:17 -05:00
|
|
|
test00();
|
2010-06-23 23:03:09 -05:00
|
|
|
// test01();
|
2010-08-09 08:53:37 -05:00
|
|
|
test02();
|
|
|
|
test04();
|
|
|
|
test05();
|
2010-07-19 16:05:18 -05:00
|
|
|
test06();
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
2012-01-04 23:14:53 -06:00
|
|
|
fn test00_start(ch: chan<int>, message: int, count: int) {
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Starting test00_start");
|
2011-07-27 07:19:39 -05:00
|
|
|
let i: int = 0;
|
2011-08-19 17:16:48 -05:00
|
|
|
while i < count {
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Sending Message");
|
2011-08-19 17:16:48 -05:00
|
|
|
send(ch, message + 0);
|
|
|
|
i = i + 1;
|
|
|
|
}
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Ending test00_start");
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
2011-07-12 17:27:17 -05:00
|
|
|
fn test00() {
|
2011-07-27 07:19:39 -05:00
|
|
|
let number_of_tasks: int = 1;
|
|
|
|
let number_of_messages: int = 4;
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Creating tasks");
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2011-08-25 13:20:43 -05:00
|
|
|
let po = port();
|
|
|
|
let ch = chan(po);
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
let i: int = 0;
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2011-08-12 20:34:19 -05:00
|
|
|
let tasks = [];
|
2011-07-27 07:19:39 -05:00
|
|
|
while i < number_of_tasks {
|
2010-06-23 23:03:09 -05:00
|
|
|
i = i + 1;
|
2012-01-04 23:14:53 -06:00
|
|
|
tasks += [
|
|
|
|
task::spawn_joinable {|| test00_start(ch, i, number_of_messages);}
|
|
|
|
];
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
2011-07-27 07:19:39 -05:00
|
|
|
let sum: int = 0;
|
2011-08-25 13:20:43 -05:00
|
|
|
for t in tasks {
|
2010-06-23 23:03:09 -05:00
|
|
|
i = 0;
|
2011-08-25 13:20:43 -05:00
|
|
|
while i < number_of_messages { sum += recv(po); i = i + 1; }
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
2011-08-25 13:20:43 -05:00
|
|
|
for t in tasks { task::join(t); }
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Completed: Final number is: ");
|
2011-07-27 07:19:39 -05:00
|
|
|
assert (sum ==
|
2011-08-19 17:16:48 -05:00
|
|
|
number_of_messages *
|
|
|
|
(number_of_tasks * number_of_tasks + number_of_tasks) /
|
|
|
|
2);
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
2011-04-19 15:35:49 -05:00
|
|
|
fn test01() {
|
2011-08-25 13:20:43 -05:00
|
|
|
let p = port();
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Reading from a port that is never written to.");
|
2011-08-25 13:20:43 -05:00
|
|
|
let value: int = recv(p);
|
2011-12-22 19:53:53 -06:00
|
|
|
log(debug, value);
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
2011-04-19 15:35:49 -05:00
|
|
|
fn test02() {
|
2011-08-25 13:20:43 -05:00
|
|
|
let p = port();
|
|
|
|
let c = chan(p);
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Writing to a local task channel.");
|
2011-08-12 20:34:19 -05:00
|
|
|
send(c, 42);
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Reading from a local task port.");
|
2011-08-25 13:20:43 -05:00
|
|
|
let value: int = recv(p);
|
2011-12-22 19:53:53 -06:00
|
|
|
log(debug, value);
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
2012-01-04 23:14:53 -06:00
|
|
|
fn test04_start() {
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Started task");
|
2011-09-01 19:33:39 -05:00
|
|
|
let i: int = 1024 * 1024;
|
2011-07-27 07:19:39 -05:00
|
|
|
while i > 0 { i = i - 1; }
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Finished task");
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn test04() {
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Spawning lots of tasks.");
|
2011-07-27 07:19:39 -05:00
|
|
|
let i: int = 4;
|
2012-01-04 23:14:53 -06:00
|
|
|
while i > 0 { i = i - 1; task::spawn {|| test04_start(); }; }
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Finishing up.");
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
2011-08-25 13:20:43 -05:00
|
|
|
fn test05_start(ch: chan<int>) {
|
2011-08-12 20:34:19 -05:00
|
|
|
send(ch, 10);
|
|
|
|
send(ch, 20);
|
|
|
|
send(ch, 30);
|
|
|
|
send(ch, 30);
|
|
|
|
send(ch, 30);
|
2010-07-19 16:05:18 -05:00
|
|
|
}
|
2010-06-23 23:03:09 -05:00
|
|
|
|
2011-04-19 15:35:49 -05:00
|
|
|
fn test05() {
|
2011-08-25 13:20:43 -05:00
|
|
|
let po = comm::port();
|
|
|
|
let ch = chan(po);
|
2012-01-04 23:14:53 -06:00
|
|
|
task::spawn {|| test05_start(ch); };
|
2011-07-27 07:19:39 -05:00
|
|
|
let value: int;
|
2011-08-25 13:20:43 -05:00
|
|
|
value = recv(po);
|
|
|
|
value = recv(po);
|
|
|
|
value = recv(po);
|
2011-12-22 19:53:53 -06:00
|
|
|
log(debug, value);
|
2010-07-19 16:05:18 -05:00
|
|
|
}
|
2010-06-23 23:03:09 -05:00
|
|
|
|
2011-11-11 17:50:57 -06:00
|
|
|
fn test06_start(&&task_number: int) {
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Started task.");
|
2011-07-27 07:19:39 -05:00
|
|
|
let i: int = 0;
|
2011-09-01 19:33:39 -05:00
|
|
|
while i < 1000000 { i = i + 1; }
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Finished task.");
|
2010-07-19 16:05:18 -05:00
|
|
|
}
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2010-07-19 16:05:18 -05:00
|
|
|
fn test06() {
|
2011-07-27 07:19:39 -05:00
|
|
|
let number_of_tasks: int = 4;
|
2011-12-22 16:42:52 -06:00
|
|
|
#debug("Creating tasks");
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
let i: int = 0;
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2011-08-12 20:34:19 -05:00
|
|
|
let tasks = [];
|
2011-08-12 17:42:39 -05:00
|
|
|
while i < number_of_tasks {
|
2011-08-19 17:16:48 -05:00
|
|
|
i = i + 1;
|
2012-01-04 23:14:53 -06:00
|
|
|
tasks += [task::spawn_joinable {|| test06_start(i);}];
|
2011-08-19 17:16:48 -05:00
|
|
|
}
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
|
2011-08-25 13:20:43 -05:00
|
|
|
for t in tasks { task::join(t); }
|
2010-07-19 16:05:18 -05:00
|
|
|
}
|
2010-06-23 23:03:09 -05:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|