2012-08-13 21:06:57 -05:00
|
|
|
// NB: transitionary, de-mode-ing.
|
|
|
|
#[forbid(deprecated_mode)];
|
|
|
|
#[forbid(deprecated_pattern)];
|
|
|
|
|
2012-07-04 16:53:12 -05:00
|
|
|
/*!
|
|
|
|
* A type representing values that may be computed concurrently and
|
|
|
|
* operations for working with them.
|
|
|
|
*
|
|
|
|
* # Example
|
|
|
|
*
|
|
|
|
* ~~~
|
|
|
|
* let delayed_fib = future::spawn {|| fib(5000) };
|
|
|
|
* make_a_sandwich();
|
2012-08-22 19:24:52 -05:00
|
|
|
* io::println(fmt!("fib(5000) = %?", delayed_fib.get()))
|
2012-07-04 16:53:12 -05:00
|
|
|
* ~~~
|
|
|
|
*/
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-09-04 13:12:17 -05:00
|
|
|
use either::Either;
|
|
|
|
use pipes::recv;
|
|
|
|
use unsafe::copy_lifetime;
|
2012-03-16 17:14:37 -05:00
|
|
|
|
2012-08-15 16:10:46 -05:00
|
|
|
export Future;
|
2012-07-03 13:23:12 -05:00
|
|
|
export extensions;
|
2012-02-14 18:39:20 -06:00
|
|
|
export from_value;
|
|
|
|
export from_port;
|
2012-02-18 17:23:56 -06:00
|
|
|
export from_fn;
|
2012-02-14 18:39:20 -06:00
|
|
|
export get;
|
|
|
|
export with;
|
|
|
|
export spawn;
|
|
|
|
|
2012-07-02 21:03:11 -05:00
|
|
|
// for task.rs
|
|
|
|
export future_pipe;
|
|
|
|
|
|
|
|
#[doc = "The future type"]
|
2012-08-27 18:08:17 -05:00
|
|
|
struct Future<A> {
|
2012-09-07 16:50:47 -05:00
|
|
|
/*priv*/ mut state: FutureState<A>,
|
2012-08-27 18:08:17 -05:00
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-08-27 18:08:17 -05:00
|
|
|
priv enum FutureState<A> {
|
|
|
|
Pending(fn@() -> A),
|
|
|
|
Evaluating,
|
|
|
|
Forced(A)
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-08-27 18:08:17 -05:00
|
|
|
/// Methods on the `future` type
|
2012-09-07 16:52:28 -05:00
|
|
|
impl<A:Copy> Future<A> {
|
2012-02-14 18:39:20 -06:00
|
|
|
fn get() -> A {
|
2012-07-04 16:53:12 -05:00
|
|
|
//! Get the value of the future
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-08-13 21:06:57 -05:00
|
|
|
get(&self)
|
2012-02-14 18:39:20 -06:00
|
|
|
}
|
2012-08-27 18:08:17 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<A> Future<A> {
|
|
|
|
fn get_ref(&self) -> &self/A {
|
|
|
|
get_ref(self)
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-08-13 21:06:57 -05:00
|
|
|
fn with<B>(blk: fn((&A)) -> B) -> B {
|
2012-07-04 16:53:12 -05:00
|
|
|
//! Work with the value without copying it
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-08-13 21:06:57 -05:00
|
|
|
with(&self, blk)
|
2012-02-14 18:39:20 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-15 16:10:46 -05:00
|
|
|
fn from_value<A>(+val: A) -> Future<A> {
|
2012-07-04 16:53:12 -05:00
|
|
|
/*!
|
|
|
|
* Create a future from a value
|
|
|
|
*
|
|
|
|
* The value is immediately available and calling `get` later will
|
|
|
|
* not block.
|
|
|
|
*/
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-08-27 18:08:17 -05:00
|
|
|
Future {state: Forced(val)}
|
2012-02-14 18:39:20 -06:00
|
|
|
}
|
|
|
|
|
2012-09-07 16:52:28 -05:00
|
|
|
fn from_port<A:Send>(+port: future_pipe::client::waiting<A>) -> Future<A> {
|
2012-08-24 18:26:41 -05:00
|
|
|
/*!
|
|
|
|
* Create a future from a port
|
|
|
|
*
|
|
|
|
* The first time that the value is requested the task will block
|
|
|
|
* waiting for the result to be received on the port.
|
|
|
|
*/
|
2012-07-02 21:03:11 -05:00
|
|
|
|
2012-08-20 14:23:37 -05:00
|
|
|
let port = ~mut Some(port);
|
2012-07-02 21:03:11 -05:00
|
|
|
do from_fn |move port| {
|
2012-08-20 14:23:37 -05:00
|
|
|
let mut port_ = None;
|
2012-07-02 21:03:11 -05:00
|
|
|
port_ <-> *port;
|
|
|
|
let port = option::unwrap(port_);
|
2012-08-06 14:34:08 -05:00
|
|
|
match recv(port) {
|
2012-08-24 18:26:41 -05:00
|
|
|
future_pipe::completed(move data) => data
|
2012-07-02 21:03:11 -05:00
|
|
|
}
|
2012-02-18 17:23:56 -06:00
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
}
|
|
|
|
|
2012-08-27 18:08:17 -05:00
|
|
|
fn from_fn<A>(+f: @fn() -> A) -> Future<A> {
|
2012-07-04 16:53:12 -05:00
|
|
|
/*!
|
|
|
|
* Create a future from a function.
|
|
|
|
*
|
|
|
|
* The first time that the value is requested it will be retreived by
|
|
|
|
* calling the function. Note that this function is a local
|
|
|
|
* function. It is not spawned into another task.
|
|
|
|
*/
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-08-27 18:08:17 -05:00
|
|
|
Future {state: Pending(f)}
|
2012-02-14 18:39:20 -06:00
|
|
|
}
|
|
|
|
|
2012-09-07 16:52:28 -05:00
|
|
|
fn spawn<A:Send>(+blk: fn~() -> A) -> Future<A> {
|
2012-07-04 16:53:12 -05:00
|
|
|
/*!
|
|
|
|
* Create a future from a unique closure.
|
|
|
|
*
|
|
|
|
* The closure will be run in a new task and its result used as the
|
|
|
|
* value of the future.
|
|
|
|
*/
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-07-02 21:03:11 -05:00
|
|
|
from_port(pipes::spawn_service_recv(future_pipe::init, |ch| {
|
|
|
|
future_pipe::server::completed(ch, blk());
|
|
|
|
}))
|
2012-02-14 18:39:20 -06:00
|
|
|
}
|
|
|
|
|
2012-08-27 18:08:17 -05:00
|
|
|
fn get_ref<A>(future: &r/Future<A>) -> &r/A {
|
|
|
|
/*!
|
|
|
|
* Executes the future's closure and then returns a borrowed
|
|
|
|
* pointer to the result. The borrowed pointer lasts as long as
|
|
|
|
* the future.
|
|
|
|
*/
|
|
|
|
|
|
|
|
// The unsafety here is to hide the aliases from borrowck, which
|
|
|
|
// would otherwise be concerned that someone might reassign
|
|
|
|
// `future.state` and cause the value of the future to be freed.
|
|
|
|
// But *we* know that once `future.state` is `Forced()` it will
|
|
|
|
// never become "unforced"---so we can safely return a pointer
|
|
|
|
// into the interior of the Forced() variant which will last as
|
|
|
|
// long as the future itself.
|
|
|
|
|
|
|
|
match future.state {
|
|
|
|
Forced(ref v) => { // v here has type &A, but with a shorter lifetime.
|
|
|
|
return unsafe{ copy_lifetime(future, v) }; // ...extend it.
|
|
|
|
}
|
|
|
|
Evaluating => {
|
|
|
|
fail ~"Recursive forcing of future!";
|
|
|
|
}
|
|
|
|
Pending(_) => {}
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut state = Evaluating;
|
|
|
|
state <-> future.state;
|
|
|
|
match move state {
|
|
|
|
Forced(_) | Evaluating => {
|
|
|
|
fail ~"Logic error.";
|
|
|
|
}
|
|
|
|
Pending(move f) => {
|
|
|
|
future.state = Forced(f());
|
|
|
|
return get_ref(future);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-07 16:52:28 -05:00
|
|
|
fn get<A:Copy>(future: &Future<A>) -> A {
|
2012-07-04 16:53:12 -05:00
|
|
|
//! Get the value of the future
|
2012-02-18 17:23:56 -06:00
|
|
|
|
2012-08-27 18:08:17 -05:00
|
|
|
*get_ref(future)
|
2012-02-18 17:23:56 -06:00
|
|
|
}
|
|
|
|
|
2012-08-15 16:10:46 -05:00
|
|
|
fn with<A,B>(future: &Future<A>, blk: fn((&A)) -> B) -> B {
|
2012-07-04 16:53:12 -05:00
|
|
|
//! Work with the value without copying it
|
2012-02-18 17:23:56 -06:00
|
|
|
|
2012-08-27 18:08:17 -05:00
|
|
|
blk(get_ref(future))
|
2012-02-18 17:23:56 -06:00
|
|
|
}
|
|
|
|
|
2012-08-22 20:10:48 -05:00
|
|
|
proto! future_pipe (
|
2012-09-07 16:52:28 -05:00
|
|
|
waiting:recv<T:Send> {
|
2012-07-17 19:03:27 -05:00
|
|
|
completed(T) -> !
|
2012-07-06 01:14:27 -05:00
|
|
|
}
|
2012-08-22 20:10:48 -05:00
|
|
|
)
|
2012-07-02 21:03:11 -05:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[allow(non_implicitly_copyable_typarams)]
|
|
|
|
mod test {
|
|
|
|
#[test]
|
|
|
|
fn test_from_value() {
|
|
|
|
let f = from_value(~"snail");
|
|
|
|
assert get(&f) == ~"snail";
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_from_port() {
|
|
|
|
let (po, ch) = future_pipe::init();
|
|
|
|
future_pipe::server::completed(ch, ~"whale");
|
|
|
|
let f = from_port(po);
|
|
|
|
assert get(&f) == ~"whale";
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_from_fn() {
|
|
|
|
let f = from_fn(|| ~"brail");
|
|
|
|
assert get(&f) == ~"brail";
|
|
|
|
}
|
2012-02-18 17:23:56 -06:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_interface_get() {
|
|
|
|
let f = from_value(~"fail");
|
|
|
|
assert f.get() == ~"fail";
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_with() {
|
|
|
|
let f = from_value(~"nail");
|
|
|
|
assert with(&f, |v| copy *v) == ~"nail";
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_get_ref_method() {
|
|
|
|
let f = from_value(22);
|
|
|
|
assert *f.get_ref() == 22;
|
|
|
|
}
|
2012-08-27 18:08:17 -05:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_get_ref_fn() {
|
|
|
|
let f = from_value(22);
|
|
|
|
assert *get_ref(&f) == 22;
|
|
|
|
}
|
2012-08-27 18:08:17 -05:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_interface_with() {
|
|
|
|
let f = from_value(~"kale");
|
|
|
|
assert f.with(|v| copy *v) == ~"kale";
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_spawn() {
|
|
|
|
let f = spawn(|| ~"bale");
|
|
|
|
assert get(&f) == ~"bale";
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-09-02 18:34:20 -05:00
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
|
|
|
#[ignore(cfg(target_os = "win32"))]
|
|
|
|
fn test_futurefail() {
|
|
|
|
let f = spawn(|| fail);
|
|
|
|
let _x: ~str = get(&f);
|
|
|
|
}
|
|
|
|
}
|