2012-03-06 21:09:32 -06:00
|
|
|
#[doc = "
|
|
|
|
Communication between tasks
|
2012-01-23 20:07:05 -06:00
|
|
|
|
|
|
|
Communication between tasks is facilitated by ports (in the receiving
|
|
|
|
task), and channels (in the sending task). Any number of channels may
|
|
|
|
feed into a single port. Ports and channels may only transmit values
|
|
|
|
of unique types; that is, values that are statically guaranteed to be
|
|
|
|
accessed by a single 'owner' at a time. Unique types include scalars,
|
|
|
|
vectors, strings, and records, tags, tuples and unique boxes (`~T`)
|
|
|
|
thereof. Most notably, shared boxes (`@T`) may not be transmitted
|
|
|
|
across channels.
|
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
# Example
|
2012-01-23 20:07:05 -06:00
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
~~~
|
|
|
|
let po = comm::port();
|
|
|
|
let ch = comm::chan(po);
|
2012-01-23 20:07:05 -06:00
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
task::spawn {||
|
|
|
|
comm::send(ch, \"Hello, World\");
|
|
|
|
});
|
|
|
|
|
|
|
|
io::println(comm::recv(p));
|
|
|
|
~~~
|
|
|
|
"];
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-03-16 17:14:37 -05:00
|
|
|
import either::either;
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-05-02 01:20:51 -05:00
|
|
|
export port::{};
|
|
|
|
export chan::{};
|
2011-12-13 18:25:51 -06:00
|
|
|
export send;
|
|
|
|
export recv;
|
2012-02-14 16:07:06 -06:00
|
|
|
export peek;
|
2012-05-02 01:20:51 -05:00
|
|
|
export recv_chan;
|
2012-02-15 00:25:05 -06:00
|
|
|
export select2;
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-02-01 04:45:23 -06:00
|
|
|
|
2012-05-02 01:20:51 -05:00
|
|
|
#[doc = "
|
|
|
|
A communication endpoint that can receive messages
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-05-02 01:20:51 -05:00
|
|
|
Each port has a unique per-task identity and may not be replicated or
|
|
|
|
transmitted. If a port value is copied, both copies refer to the same
|
|
|
|
port. Ports may be associated with multiple `chan`s.
|
|
|
|
"]
|
|
|
|
enum port<T: send> {
|
|
|
|
port_t(@port_ptr<T>)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// It's critical that this only have one variant, so it has a record
|
|
|
|
// layout, and will work in the rust_task structure in task.rs.
|
2012-03-06 21:09:32 -06:00
|
|
|
#[doc = "
|
|
|
|
A communication endpoint that can send messages
|
|
|
|
|
|
|
|
Each channel is bound to a port when the channel is constructed, so
|
|
|
|
the destination port for a channel must exist before the channel
|
|
|
|
itself. Channels are weak: a channel does not keep the port it is
|
|
|
|
bound to alive. If a channel attempts to send data to a dead port that
|
|
|
|
data will be silently dropped. Channels may be duplicated and
|
|
|
|
themselves transmitted over other channels.
|
|
|
|
"]
|
2012-01-19 17:56:54 -06:00
|
|
|
enum chan<T: send> {
|
2012-03-15 01:08:47 -05:00
|
|
|
chan_t(port_id)
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-05-02 01:20:51 -05:00
|
|
|
#[doc = "Constructs a port"]
|
|
|
|
fn port<T: send>() -> port<T> {
|
|
|
|
port_t(@port_ptr(rustrt::new_port(sys::size_of::<T>())))
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
#[doc = "
|
2012-05-02 01:20:51 -05:00
|
|
|
Constructs a channel. The channel is bound to the port used to
|
|
|
|
construct it.
|
2012-03-06 21:09:32 -06:00
|
|
|
"]
|
2012-05-02 01:20:51 -05:00
|
|
|
fn chan<T: send>(p: port<T>) -> chan<T> {
|
|
|
|
chan_t(rustrt::get_port_id(***p))
|
|
|
|
}
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
#[doc = "
|
|
|
|
Sends data over a channel. The sent data is moved into the channel,
|
|
|
|
whereupon the caller loses access to it.
|
|
|
|
"]
|
2012-01-05 08:35:37 -06:00
|
|
|
fn send<T: send>(ch: chan<T>, -data: T) {
|
2012-03-15 01:08:47 -05:00
|
|
|
let chan_t(p) = ch;
|
2012-04-06 19:03:00 -05:00
|
|
|
let res = rustrt::rust_port_id_send(p, data);
|
2011-12-13 18:25:51 -06:00
|
|
|
if res != 0u unsafe {
|
|
|
|
// Data sent successfully
|
2012-03-20 17:12:30 -05:00
|
|
|
unsafe::forget(data);
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
task::yield();
|
|
|
|
}
|
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
#[doc = "
|
|
|
|
Receive from a port. If no data is available on the port then the
|
|
|
|
task will block until data becomes available.
|
|
|
|
"]
|
2012-01-05 08:35:37 -06:00
|
|
|
fn recv<T: send>(p: port<T>) -> T { recv_(***p) }
|
2011-12-13 18:25:51 -06:00
|
|
|
|
2012-05-02 01:20:51 -05:00
|
|
|
#[doc = "Returns true if there are messages available"]
|
|
|
|
fn peek<T: send>(p: port<T>) -> bool {
|
|
|
|
rustrt::rust_port_size(***p) != 0u as libc::size_t
|
|
|
|
}
|
|
|
|
|
|
|
|
resource port_ptr<T: send>(po: *rust_port) {
|
|
|
|
// Once the port is detached it's guaranteed not to receive further
|
|
|
|
// messages
|
|
|
|
let yield = 0u;
|
|
|
|
let yieldp = ptr::addr_of(yield);
|
|
|
|
rustrt::rust_port_begin_detach(po, yieldp);
|
|
|
|
if yield != 0u {
|
|
|
|
// Need to wait for the port to be detached
|
|
|
|
// FIXME: If this fails then we're going to leave our port
|
|
|
|
// in a bogus state. (Issue #1988)
|
|
|
|
task::yield();
|
|
|
|
}
|
|
|
|
rustrt::rust_port_end_detach(po);
|
|
|
|
|
|
|
|
// Drain the port so that all the still-enqueued items get dropped
|
|
|
|
while rustrt::rust_port_size(po) > 0u {
|
|
|
|
recv_::<T>(po);
|
|
|
|
}
|
|
|
|
rustrt::del_port(po);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2012-05-01 19:39:56 -05:00
|
|
|
#[doc(hidden)]
|
|
|
|
fn recv_chan<T: send>(ch: comm::chan<T>) -> T {
|
|
|
|
resource portref(p: *rust_port) {
|
|
|
|
if !ptr::is_null(p) {
|
|
|
|
rustrt::rust_port_drop(p);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let p = portref(rustrt::rust_port_take(*ch));
|
|
|
|
|
|
|
|
if ptr::is_null(*p) {
|
|
|
|
fail "unable to locate port for channel"
|
|
|
|
} else if rustrt::get_task_id() != rustrt::rust_port_task(*p) {
|
|
|
|
fail "attempting to receive on unowned channel"
|
|
|
|
}
|
|
|
|
|
|
|
|
recv_(*p)
|
|
|
|
}
|
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
#[doc = "Receive on a raw port pointer"]
|
2012-02-01 04:45:23 -06:00
|
|
|
fn recv_<T: send>(p: *rust_port) -> T {
|
2011-12-13 18:25:51 -06:00
|
|
|
let yield = 0u;
|
|
|
|
let yieldp = ptr::addr_of(yield);
|
2012-03-22 06:30:10 -05:00
|
|
|
let mut res;
|
|
|
|
res = rusti::init::<T>();
|
|
|
|
rustrt::port_recv(ptr::addr_of(res) as *uint, p, yieldp);
|
|
|
|
|
2011-12-13 18:25:51 -06:00
|
|
|
if yield != 0u {
|
|
|
|
// Data isn't available yet, so res has not been initialized.
|
|
|
|
task::yield();
|
2012-03-02 02:31:14 -06:00
|
|
|
} else {
|
|
|
|
// In the absense of compiler-generated preemption points
|
|
|
|
// this is a good place to yield
|
|
|
|
task::yield();
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
|
|
|
ret res;
|
|
|
|
}
|
|
|
|
|
2012-02-15 00:25:05 -06:00
|
|
|
#[doc = "Receive on one of two ports"]
|
2012-03-22 06:30:10 -05:00
|
|
|
fn select2<A: send, B: send>(p_a: port<A>, p_b: port<B>)
|
|
|
|
-> either<A, B> unsafe {
|
|
|
|
let ports = [***p_a, ***p_b];
|
2012-03-12 22:04:27 -05:00
|
|
|
let n_ports = 2 as libc::size_t;
|
2012-03-22 06:30:10 -05:00
|
|
|
let yield = 0u, yieldp = ptr::addr_of(yield);
|
2012-02-15 00:25:05 -06:00
|
|
|
|
2012-03-22 06:30:10 -05:00
|
|
|
let mut resport: *rust_port;
|
|
|
|
resport = rusti::init::<*rust_port>();
|
|
|
|
vec::as_buf(ports) {|ports|
|
|
|
|
rustrt::rust_port_select(ptr::addr_of(resport), ports, n_ports,
|
|
|
|
yieldp);
|
|
|
|
}
|
2012-02-15 00:25:05 -06:00
|
|
|
|
|
|
|
if yield != 0u {
|
|
|
|
// Wait for data
|
|
|
|
task::yield();
|
2012-03-02 02:31:14 -06:00
|
|
|
} else {
|
|
|
|
// As in recv, this is a good place to yield anyway until
|
|
|
|
// the compiler generates yield calls
|
|
|
|
task::yield();
|
2012-02-15 00:25:05 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// Now we know the port we're supposed to receive from
|
|
|
|
assert resport != ptr::null();
|
|
|
|
|
|
|
|
if resport == ***p_a {
|
|
|
|
either::left(recv(p_a))
|
|
|
|
} else if resport == ***p_b {
|
|
|
|
either::right(recv(p_b))
|
|
|
|
} else {
|
|
|
|
fail "unexpected result from rust_port_select";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-05-02 01:20:51 -05:00
|
|
|
|
|
|
|
/* Implementation details */
|
|
|
|
|
|
|
|
|
|
|
|
enum rust_port {}
|
|
|
|
|
|
|
|
type port_id = int;
|
|
|
|
|
|
|
|
#[abi = "cdecl"]
|
|
|
|
native mod rustrt {
|
|
|
|
fn rust_port_id_send<T: send>(target_port: port_id,
|
|
|
|
data: T) -> libc::uintptr_t;
|
|
|
|
|
|
|
|
fn new_port(unit_sz: libc::size_t) -> *rust_port;
|
|
|
|
fn del_port(po: *rust_port);
|
|
|
|
fn rust_port_begin_detach(po: *rust_port,
|
|
|
|
yield: *libc::uintptr_t);
|
|
|
|
fn rust_port_end_detach(po: *rust_port);
|
|
|
|
fn get_port_id(po: *rust_port) -> port_id;
|
|
|
|
fn rust_port_size(po: *rust_port) -> libc::size_t;
|
|
|
|
fn port_recv(dptr: *uint, po: *rust_port,
|
|
|
|
yield: *libc::uintptr_t);
|
|
|
|
fn rust_port_select(dptr: **rust_port, ports: **rust_port,
|
|
|
|
n_ports: libc::size_t,
|
|
|
|
yield: *libc::uintptr_t);
|
|
|
|
fn rust_port_take(port_id: port_id) -> *rust_port;
|
|
|
|
fn rust_port_drop(p: *rust_port);
|
|
|
|
fn rust_port_task(p: *rust_port) -> libc::uintptr_t;
|
|
|
|
fn get_task_id() -> libc::uintptr_t;
|
2012-02-14 16:07:06 -06:00
|
|
|
}
|
|
|
|
|
2012-05-02 01:20:51 -05:00
|
|
|
#[abi = "rust-intrinsic"]
|
|
|
|
native mod rusti {
|
|
|
|
fn init<T>() -> T;
|
2011-12-13 18:25:51 -06:00
|
|
|
}
|
2012-01-17 19:28:21 -06:00
|
|
|
|
2012-05-02 01:20:51 -05:00
|
|
|
|
|
|
|
/* Tests */
|
|
|
|
|
|
|
|
|
2012-01-17 19:28:21 -06:00
|
|
|
#[test]
|
|
|
|
fn create_port_and_chan() { let p = port::<int>(); chan(p); }
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn send_int() {
|
|
|
|
let p = port::<int>();
|
|
|
|
let c = chan(p);
|
|
|
|
send(c, 22);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn send_recv_fn() {
|
|
|
|
let p = port::<int>();
|
|
|
|
let c = chan::<int>(p);
|
|
|
|
send(c, 42);
|
|
|
|
assert (recv(p) == 42);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn send_recv_fn_infer() {
|
|
|
|
let p = port();
|
|
|
|
let c = chan(p);
|
|
|
|
send(c, 42);
|
|
|
|
assert (recv(p) == 42);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn chan_chan_infer() {
|
|
|
|
let p = port(), p2 = port::<int>();
|
|
|
|
let c = chan(p);
|
|
|
|
send(c, chan(p2));
|
|
|
|
recv(p);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn chan_chan() {
|
|
|
|
let p = port::<chan<int>>(), p2 = port::<int>();
|
|
|
|
let c = chan(p);
|
|
|
|
send(c, chan(p2));
|
|
|
|
recv(p);
|
|
|
|
}
|
|
|
|
|
2012-02-14 16:07:06 -06:00
|
|
|
#[test]
|
|
|
|
fn test_peek() {
|
|
|
|
let po = port();
|
|
|
|
let ch = chan(po);
|
|
|
|
assert !peek(po);
|
|
|
|
send(ch, ());
|
|
|
|
assert peek(po);
|
|
|
|
recv(po);
|
|
|
|
assert !peek(po);
|
2012-02-15 00:25:05 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_select2_available() {
|
|
|
|
let po_a = port();
|
|
|
|
let po_b = port();
|
|
|
|
let ch_a = chan(po_a);
|
|
|
|
let ch_b = chan(po_b);
|
|
|
|
|
|
|
|
send(ch_a, "a");
|
|
|
|
|
|
|
|
assert select2(po_a, po_b) == either::left("a");
|
|
|
|
|
|
|
|
send(ch_b, "b");
|
|
|
|
|
|
|
|
assert select2(po_a, po_b) == either::right("b");
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_select2_rendezvous() {
|
|
|
|
let po_a = port();
|
|
|
|
let po_b = port();
|
|
|
|
let ch_a = chan(po_a);
|
|
|
|
let ch_b = chan(po_b);
|
|
|
|
|
|
|
|
iter::repeat(10u) {||
|
|
|
|
task::spawn {||
|
|
|
|
iter::repeat(10u) {|| task::yield() }
|
|
|
|
send(ch_a, "a");
|
|
|
|
};
|
|
|
|
|
|
|
|
assert select2(po_a, po_b) == either::left("a");
|
|
|
|
|
|
|
|
task::spawn {||
|
|
|
|
iter::repeat(10u) {|| task::yield() }
|
|
|
|
send(ch_b, "b");
|
|
|
|
};
|
|
|
|
|
|
|
|
assert select2(po_a, po_b) == either::right("b");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_select2_stress() {
|
|
|
|
let po_a = port();
|
|
|
|
let po_b = port();
|
|
|
|
let ch_a = chan(po_a);
|
|
|
|
let ch_b = chan(po_b);
|
|
|
|
|
|
|
|
let msgs = 100u;
|
|
|
|
let times = 4u;
|
|
|
|
|
|
|
|
iter::repeat(times) {||
|
|
|
|
task::spawn {||
|
|
|
|
iter::repeat(msgs) {||
|
|
|
|
send(ch_a, "a")
|
|
|
|
}
|
|
|
|
};
|
|
|
|
task::spawn {||
|
|
|
|
iter::repeat(msgs) {||
|
|
|
|
send(ch_b, "b")
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut as = 0;
|
|
|
|
let mut bs = 0;
|
2012-02-15 00:25:05 -06:00
|
|
|
iter::repeat(msgs * times * 2u) {||
|
|
|
|
alt check select2(po_a, po_b) {
|
|
|
|
either::left("a") { as += 1 }
|
|
|
|
either::right("b") { bs += 1 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
assert as == 400;
|
|
|
|
assert bs == 400;
|
|
|
|
}
|
2012-05-01 19:39:56 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_recv_chan() {
|
|
|
|
let po = port();
|
|
|
|
let ch = chan(po);
|
|
|
|
send(ch, "flower");
|
|
|
|
assert recv_chan(ch) == "flower";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
|
|
|
#[ignore(cfg(target_os = "win32"))]
|
|
|
|
fn test_recv_chan_dead() {
|
|
|
|
let ch = chan(port());
|
|
|
|
send(ch, "flower");
|
|
|
|
recv_chan(ch);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore(cfg(target_os = "win32"))]
|
|
|
|
fn test_recv_chan_wrong_task() {
|
|
|
|
let po = port();
|
|
|
|
let ch = chan(po);
|
|
|
|
send(ch, "flower");
|
|
|
|
assert result::is_failure(task::try {||
|
|
|
|
recv_chan(ch)
|
|
|
|
})
|
|
|
|
}
|