Remove leftover comm.rs in std
(The actual comm module lives in core.)
This commit is contained in:
@@ -15,8 +15,6 @@ shared boxes (@T) may not be transmitted across channels.
|
|||||||
|
|
||||||
Example:
|
Example:
|
||||||
|
|
||||||
> import std::{task, comm, io};
|
|
||||||
>
|
|
||||||
> let p = comm::port();
|
> let p = comm::port();
|
||||||
> task::spawn(comm::chan(p), fn (c: chan<str>) {
|
> task::spawn(comm::chan(p), fn (c: chan<str>) {
|
||||||
> comm::send(c, "Hello, World");
|
> comm::send(c, "Hello, World");
|
||||||
|
|||||||
@@ -1,186 +0,0 @@
|
|||||||
/*
|
|
||||||
Module: comm
|
|
||||||
|
|
||||||
Communication between tasks
|
|
||||||
|
|
||||||
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.
|
|
||||||
|
|
||||||
Example:
|
|
||||||
|
|
||||||
> use std::{task, comm, io};
|
|
||||||
>
|
|
||||||
> let p = comm::port();
|
|
||||||
> task::spawn(comm::chan(p), fn (c: chan<str>) {
|
|
||||||
> comm::send(c, "Hello, World");
|
|
||||||
> });
|
|
||||||
>
|
|
||||||
> io::println(comm::recv(p));
|
|
||||||
|
|
||||||
*/
|
|
||||||
|
|
||||||
import sys;
|
|
||||||
import task;
|
|
||||||
|
|
||||||
import core::ctypes;
|
|
||||||
|
|
||||||
export send;
|
|
||||||
export recv;
|
|
||||||
export chan;
|
|
||||||
export port;
|
|
||||||
|
|
||||||
#[abi = "cdecl"]
|
|
||||||
native mod rustrt {
|
|
||||||
type void;
|
|
||||||
type rust_port;
|
|
||||||
|
|
||||||
fn chan_id_send<T: send>(t: *sys::type_desc,
|
|
||||||
target_task: task::task, target_port: port_id,
|
|
||||||
data: T) -> ctypes::uintptr_t;
|
|
||||||
|
|
||||||
fn new_port(unit_sz: uint) -> *rust_port;
|
|
||||||
fn del_port(po: *rust_port);
|
|
||||||
fn rust_port_detach(po: *rust_port);
|
|
||||||
fn get_port_id(po: *rust_port) -> port_id;
|
|
||||||
fn rust_port_size(po: *rust_port) -> ctypes::size_t;
|
|
||||||
fn port_recv(dptr: *uint, po: *rust_port,
|
|
||||||
yield: *ctypes::uintptr_t,
|
|
||||||
killed: *ctypes::uintptr_t);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[abi = "rust-intrinsic"]
|
|
||||||
native mod rusti {
|
|
||||||
fn call_with_retptr<T: send>(&&f: fn@(*uint)) -> T;
|
|
||||||
}
|
|
||||||
|
|
||||||
type port_id = int;
|
|
||||||
|
|
||||||
// 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.
|
|
||||||
/*
|
|
||||||
Type: chan
|
|
||||||
|
|
||||||
A communication endpoint that can send messages. Channels send
|
|
||||||
messages to ports.
|
|
||||||
|
|
||||||
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.
|
|
||||||
*/
|
|
||||||
tag chan<T: send> {
|
|
||||||
chan_t(task::task, port_id);
|
|
||||||
}
|
|
||||||
|
|
||||||
resource port_ptr<T: send>(po: *rustrt::rust_port) {
|
|
||||||
// Once the port is detached it's guaranteed not to receive further
|
|
||||||
// messages
|
|
||||||
rustrt::rust_port_detach(po);
|
|
||||||
// Drain the port so that all the still-enqueued items get dropped
|
|
||||||
while rustrt::rust_port_size(po) > 0u {
|
|
||||||
// FIXME: For some reason if we don't assign to something here
|
|
||||||
// we end up with invalid reads in the drop glue.
|
|
||||||
let _t = recv_::<T>(po);
|
|
||||||
}
|
|
||||||
rustrt::del_port(po);
|
|
||||||
}
|
|
||||||
|
|
||||||
/*
|
|
||||||
Type: port
|
|
||||||
|
|
||||||
A communication endpoint that can receive messages. Ports receive
|
|
||||||
messages from channels.
|
|
||||||
|
|
||||||
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.
|
|
||||||
*/
|
|
||||||
tag port<T: send> { port_t(@port_ptr<T>); }
|
|
||||||
|
|
||||||
/*
|
|
||||||
Function: send
|
|
||||||
|
|
||||||
Sends data over a channel.
|
|
||||||
|
|
||||||
The sent data is moved into the channel, whereupon the caller loses access
|
|
||||||
to it.
|
|
||||||
*/
|
|
||||||
fn send<T: send>(ch: chan<T>, -data: T) {
|
|
||||||
let chan_t(t, p) = ch;
|
|
||||||
let res = rustrt::chan_id_send(sys::get_type_desc::<T>(), t, p, data);
|
|
||||||
if res != 0u unsafe {
|
|
||||||
// Data sent successfully
|
|
||||||
unsafe::leak(data);
|
|
||||||
}
|
|
||||||
task::yield();
|
|
||||||
}
|
|
||||||
|
|
||||||
/*
|
|
||||||
Function: port
|
|
||||||
|
|
||||||
Constructs a port.
|
|
||||||
*/
|
|
||||||
fn port<T: send>() -> port<T> {
|
|
||||||
port_t(@port_ptr(rustrt::new_port(sys::size_of::<T>())))
|
|
||||||
}
|
|
||||||
|
|
||||||
/*
|
|
||||||
Function: recv
|
|
||||||
|
|
||||||
Receive from a port.
|
|
||||||
|
|
||||||
If no data is available on the port then the task will block until data
|
|
||||||
becomes available.
|
|
||||||
*/
|
|
||||||
fn recv<T: send>(p: port<T>) -> T { recv_(***p) }
|
|
||||||
|
|
||||||
// Receive on a raw port pointer
|
|
||||||
fn recv_<T: send>(p: *rustrt::rust_port) -> T {
|
|
||||||
// FIXME: Due to issue 1185 we can't use a return pointer when
|
|
||||||
// calling C code, and since we can't create our own return
|
|
||||||
// pointer on the stack, we're going to call a little intrinsic
|
|
||||||
// that will grab the value of the return pointer, then call this
|
|
||||||
// function, which we will then use to call the runtime.
|
|
||||||
fn recv(dptr: *uint, port: *rustrt::rust_port,
|
|
||||||
yield: *ctypes::uintptr_t,
|
|
||||||
killed: *ctypes::uintptr_t) unsafe {
|
|
||||||
rustrt::port_recv(dptr, port, yield, killed);
|
|
||||||
}
|
|
||||||
let yield = 0u;
|
|
||||||
let yieldp = ptr::addr_of(yield);
|
|
||||||
let killed = 0u;
|
|
||||||
let killedp = ptr::addr_of(killed);
|
|
||||||
let res = rusti::call_with_retptr(bind recv(_, p, yieldp, killedp));
|
|
||||||
if killed != 0u {
|
|
||||||
fail "killed";
|
|
||||||
}
|
|
||||||
if yield != 0u {
|
|
||||||
// Data isn't available yet, so res has not been initialized.
|
|
||||||
task::yield();
|
|
||||||
}
|
|
||||||
ret res;
|
|
||||||
}
|
|
||||||
|
|
||||||
/*
|
|
||||||
Function: chan
|
|
||||||
|
|
||||||
Constructs a channel.
|
|
||||||
|
|
||||||
The channel is bound to the port used to construct it.
|
|
||||||
*/
|
|
||||||
fn chan<T: send>(p: port<T>) -> chan<T> {
|
|
||||||
chan_t(task::get_task(), rustrt::get_port_id(***p))
|
|
||||||
}
|
|
||||||
@@ -7,7 +7,7 @@
|
|||||||
#[license = "MIT"];
|
#[license = "MIT"];
|
||||||
#[crate_type = "lib"];
|
#[crate_type = "lib"];
|
||||||
|
|
||||||
export comm, fs, io, net, run, uv;
|
export fs, io, net, run, uv;
|
||||||
export c_vec, four, tri, util;
|
export c_vec, four, tri, util;
|
||||||
export bitv, deque, fun_treemap, list, map, smallintmap, sort, treemap, ufind;
|
export bitv, deque, fun_treemap, list, map, smallintmap, sort, treemap, ufind;
|
||||||
export rope;
|
export rope;
|
||||||
@@ -19,7 +19,6 @@ export generic_os, os, os_fs;
|
|||||||
|
|
||||||
// General io and system-services modules
|
// General io and system-services modules
|
||||||
|
|
||||||
mod comm;
|
|
||||||
mod fs;
|
mod fs;
|
||||||
mod io;
|
mod io;
|
||||||
mod net;
|
mod net;
|
||||||
|
|||||||
@@ -1,8 +1,7 @@
|
|||||||
use std;
|
use std;
|
||||||
|
|
||||||
import std::comm;
|
import comm::chan;
|
||||||
import std::comm::chan;
|
import comm::send;
|
||||||
import std::comm::send;
|
|
||||||
|
|
||||||
fn main() { test05(); }
|
fn main() { test05(); }
|
||||||
|
|
||||||
|
|||||||
@@ -1,8 +1,7 @@
|
|||||||
use std;
|
use std;
|
||||||
|
|
||||||
import std::comm;
|
import comm::chan;
|
||||||
import std::comm::chan;
|
import comm::send;
|
||||||
import std::comm::send;
|
|
||||||
|
|
||||||
fn main() { test05(); }
|
fn main() { test05(); }
|
||||||
|
|
||||||
|
|||||||
@@ -1,8 +1,7 @@
|
|||||||
use std;
|
use std;
|
||||||
|
|
||||||
import std::comm;
|
import comm::chan;
|
||||||
import std::comm::chan;
|
import comm::send;
|
||||||
import std::comm::send;
|
|
||||||
|
|
||||||
fn main() { test05(); }
|
fn main() { test05(); }
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user