2012-02-14 18:39:20 -06:00
|
|
|
#[doc = "
|
|
|
|
A type representing values that may be computed concurrently and
|
|
|
|
operations for working with them.
|
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
# Example
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
~~~
|
|
|
|
let delayed_fib = future::spawn {|| fib(5000) };
|
|
|
|
make_a_sandwitch();
|
|
|
|
io::println(#fmt(\"fib(5000) = %?\", delayed_fib.get()))
|
|
|
|
~~~
|
2012-02-14 18:39:20 -06:00
|
|
|
"];
|
|
|
|
|
2012-03-16 17:14:37 -05:00
|
|
|
import either::either;
|
|
|
|
|
2012-02-14 18:39:20 -06:00
|
|
|
export future;
|
|
|
|
export future::{};
|
|
|
|
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;
|
|
|
|
|
|
|
|
#[doc = "The future type"]
|
|
|
|
enum future<A> = {
|
2012-03-26 20:35:18 -05:00
|
|
|
mut v: either<@A, fn@() -> A>
|
2012-02-14 18:39:20 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
#[doc = "Methods on the `future` type"]
|
2012-05-22 16:10:32 -05:00
|
|
|
impl future<A:copy send> for future<A> {
|
2012-02-14 18:39:20 -06:00
|
|
|
|
|
|
|
fn get() -> A {
|
|
|
|
#[doc = "Get the value of the future"];
|
|
|
|
|
|
|
|
get(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn with<B>(blk: fn(A) -> B) -> B {
|
|
|
|
#[doc = "Work with the value without copying it"];
|
|
|
|
|
|
|
|
with(self, blk)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn from_value<A>(+val: A) -> future<A> {
|
|
|
|
#[doc = "
|
2012-03-06 21:09:32 -06:00
|
|
|
Create a future from a value
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
The value is immediately available and calling `get` later will
|
|
|
|
not block.
|
2012-02-14 18:39:20 -06:00
|
|
|
"];
|
|
|
|
|
|
|
|
future({
|
2012-03-26 20:35:18 -05:00
|
|
|
mut v: either::left(@val)
|
2012-02-14 18:39:20 -06:00
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2012-02-18 17:23:56 -06:00
|
|
|
fn from_port<A:send>(-port: comm::port<A>) -> future<A> {
|
2012-02-14 18:39:20 -06:00
|
|
|
#[doc = "
|
2012-03-06 21:09:32 -06:00
|
|
|
Create a future from a port
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
The first time that the value is requested the task will block
|
|
|
|
waiting for the result to be received on the port.
|
2012-02-14 18:39:20 -06:00
|
|
|
"];
|
|
|
|
|
2012-02-18 17:23:56 -06:00
|
|
|
from_fn {||
|
|
|
|
comm::recv(port)
|
|
|
|
}
|
2012-02-14 18:39:20 -06:00
|
|
|
}
|
|
|
|
|
2012-02-18 17:23:56 -06:00
|
|
|
fn from_fn<A>(f: fn@() -> A) -> future<A> {
|
|
|
|
#[doc = "
|
2012-03-06 21:09:32 -06:00
|
|
|
Create a future from a function.
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
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-18 17:23:56 -06:00
|
|
|
"];
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-02-18 17:23:56 -06:00
|
|
|
future({
|
2012-03-26 20:35:18 -05:00
|
|
|
mut v: either::right(f)
|
2012-02-18 17:23:56 -06:00
|
|
|
})
|
2012-02-14 18:39:20 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
fn spawn<A:send>(+blk: fn~() -> A) -> future<A> {
|
|
|
|
#[doc = "
|
2012-03-06 21:09:32 -06:00
|
|
|
Create a future from a unique closure.
|
2012-02-14 18:39:20 -06:00
|
|
|
|
2012-03-06 21:09:32 -06:00
|
|
|
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-03-06 22:48:40 -06:00
|
|
|
let mut po = comm::port();
|
2012-02-14 18:39:20 -06:00
|
|
|
let ch = comm::chan(po);
|
|
|
|
task::spawn {||
|
|
|
|
comm::send(ch, blk())
|
|
|
|
};
|
|
|
|
from_port(po)
|
|
|
|
}
|
|
|
|
|
2012-02-18 17:23:56 -06:00
|
|
|
fn get<A:copy>(future: future<A>) -> A {
|
|
|
|
#[doc = "Get the value of the future"];
|
|
|
|
|
|
|
|
with(future) {|v| v }
|
|
|
|
}
|
|
|
|
|
|
|
|
fn with<A,B>(future: future<A>, blk: fn(A) -> B) -> B {
|
|
|
|
#[doc = "Work with the value without copying it"];
|
|
|
|
|
|
|
|
let v = alt future.v {
|
|
|
|
either::left(v) { v }
|
|
|
|
either::right(f) {
|
|
|
|
let v = @f();
|
|
|
|
future.v = either::left(v);
|
|
|
|
v
|
|
|
|
}
|
|
|
|
};
|
|
|
|
blk(*v)
|
|
|
|
}
|
|
|
|
|
2012-02-14 18:39:20 -06:00
|
|
|
#[test]
|
|
|
|
fn test_from_value() {
|
|
|
|
let f = from_value("snail");
|
|
|
|
assert get(f) == "snail";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_from_port() {
|
|
|
|
let po = comm::port();
|
|
|
|
let ch = comm::chan(po);
|
|
|
|
comm::send(ch, "whale");
|
|
|
|
let f = from_port(po);
|
|
|
|
assert get(f) == "whale";
|
|
|
|
}
|
|
|
|
|
2012-02-18 17:23:56 -06:00
|
|
|
#[test]
|
|
|
|
fn test_from_fn() {
|
|
|
|
let f = fn@() -> str { "brail" };
|
|
|
|
let f = from_fn(f);
|
|
|
|
assert get(f) == "brail";
|
|
|
|
}
|
|
|
|
|
2012-02-14 18:39:20 -06:00
|
|
|
#[test]
|
|
|
|
fn test_iface_get() {
|
|
|
|
let f = from_value("fail");
|
|
|
|
assert f.get() == "fail";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_with() {
|
|
|
|
let f = from_value("nail");
|
|
|
|
assert with(f) {|v| v} == "nail";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_iface_with() {
|
|
|
|
let f = from_value("kale");
|
|
|
|
assert f.with {|v| v} == "kale";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_spawn() {
|
|
|
|
let f = spawn {|| "bale" };
|
|
|
|
assert get(f) == "bale";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[should_fail]
|
|
|
|
#[ignore(cfg(target_os = "win32"))]
|
|
|
|
fn test_futurefail() {
|
|
|
|
let f = spawn {|| fail };
|
|
|
|
let _x: str = get(f);
|
|
|
|
}
|