2013-05-17 23:11:18 +02:00
|
|
|
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
|
2012-12-03 16:48:01 -08:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
|
//
|
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
2014-12-29 15:03:01 -08:00
|
|
|
//! A type representing values that may be computed concurrently and operations
|
|
|
|
|
//! for working with them.
|
2014-11-25 21:17:11 -05:00
|
|
|
//!
|
|
|
|
|
//! # Example
|
|
|
|
|
//!
|
|
|
|
|
//! ```rust
|
|
|
|
|
//! use std::sync::Future;
|
|
|
|
|
//! # fn fib(n: uint) -> uint {42};
|
|
|
|
|
//! # fn make_a_sandwich() {};
|
2014-11-26 10:10:52 -05:00
|
|
|
//! let mut delayed_fib = Future::spawn(move|| { fib(5000) });
|
2014-11-25 21:17:11 -05:00
|
|
|
//! make_a_sandwich();
|
|
|
|
|
//! println!("fib(5000) = {}", delayed_fib.get())
|
|
|
|
|
//! ```
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2014-10-27 15:37:07 -07:00
|
|
|
#![allow(missing_docs)]
|
2014-12-29 15:03:01 -08:00
|
|
|
#![unstable = "futures as-is have yet to be deeply reevaluated with recent \
|
|
|
|
|
core changes to Rust's synchronization story, and will likely \
|
|
|
|
|
become stable in the future but are unstable until that time"]
|
2013-05-28 22:11:41 -05:00
|
|
|
|
2014-06-07 11:13:26 -07:00
|
|
|
use core::prelude::*;
|
|
|
|
|
use core::mem::replace;
|
|
|
|
|
|
2014-11-06 00:05:53 -08:00
|
|
|
use self::FutureState::*;
|
2014-12-23 11:53:35 -08:00
|
|
|
use sync::mpsc::{Receiver, channel};
|
2014-11-26 10:10:52 -05:00
|
|
|
use thunk::{Thunk};
|
2014-12-06 18:34:37 -08:00
|
|
|
use thread::Thread;
|
2012-03-16 15:14:37 -07:00
|
|
|
|
2013-09-17 23:48:56 -07:00
|
|
|
/// A type encapsulating the result of a computation which may not be complete
|
2012-09-26 17:20:14 -07:00
|
|
|
pub struct Future<A> {
|
2014-03-27 15:10:45 -07:00
|
|
|
state: FutureState<A>,
|
2012-11-13 21:38:18 -05:00
|
|
|
}
|
2012-08-28 21:28:25 -07:00
|
|
|
|
2013-08-06 23:03:31 -07:00
|
|
|
enum FutureState<A> {
|
2014-11-26 10:10:52 -05:00
|
|
|
Pending(Thunk<(),A>),
|
2012-08-27 16:08:17 -07:00
|
|
|
Evaluating,
|
2012-12-11 15:19:43 -08:00
|
|
|
Forced(A)
|
2012-08-27 16:08:17 -07:00
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2012-08-27 16:08:17 -07:00
|
|
|
/// Methods on the `future` type
|
2013-07-02 12:47:32 -07:00
|
|
|
impl<A:Clone> Future<A> {
|
2013-05-31 15:17:22 -07:00
|
|
|
pub fn get(&mut self) -> A {
|
2013-05-17 23:11:18 +02:00
|
|
|
//! Get the value of the future.
|
2013-07-02 12:47:32 -07:00
|
|
|
(*(self.get_ref())).clone()
|
2012-02-14 16:39:20 -08:00
|
|
|
}
|
2012-08-27 16:08:17 -07:00
|
|
|
}
|
|
|
|
|
|
2013-07-20 03:02:38 +02:00
|
|
|
impl<A> Future<A> {
|
|
|
|
|
/// Gets the value from this future, forcing evaluation.
|
2014-11-20 09:23:43 -08:00
|
|
|
pub fn into_inner(mut self) -> A {
|
2013-10-28 16:56:24 -07:00
|
|
|
self.get_ref();
|
|
|
|
|
let state = replace(&mut self.state, Evaluating);
|
2013-07-20 03:02:38 +02:00
|
|
|
match state {
|
|
|
|
|
Forced(v) => v,
|
2014-10-09 15:17:22 -04:00
|
|
|
_ => panic!( "Logic error." ),
|
2013-07-20 03:02:38 +02:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2014-11-20 09:23:43 -08:00
|
|
|
/// Deprecated, use into_inner() instead
|
|
|
|
|
#[deprecated = "renamed to into_inner()"]
|
|
|
|
|
pub fn unwrap(self) -> A { self.into_inner() }
|
|
|
|
|
|
2013-05-31 15:17:22 -07:00
|
|
|
pub fn get_ref<'a>(&'a mut self) -> &'a A {
|
2013-05-02 22:51:12 -07:00
|
|
|
/*!
|
2014-01-07 18:49:13 -08:00
|
|
|
* Executes the future's closure and then returns a reference
|
|
|
|
|
* to the result. The reference lasts as long as
|
2013-05-02 22:51:12 -07:00
|
|
|
* the future.
|
|
|
|
|
*/
|
2013-09-17 23:48:56 -07:00
|
|
|
match self.state {
|
|
|
|
|
Forced(ref v) => return v,
|
2014-10-09 15:17:22 -04:00
|
|
|
Evaluating => panic!("Recursive forcing of future!"),
|
2013-09-17 23:48:56 -07:00
|
|
|
Pending(_) => {
|
|
|
|
|
match replace(&mut self.state, Evaluating) {
|
2014-10-09 15:17:22 -04:00
|
|
|
Forced(_) | Evaluating => panic!("Logic error."),
|
2013-05-02 22:51:12 -07:00
|
|
|
Pending(f) => {
|
2014-11-26 10:10:52 -05:00
|
|
|
self.state = Forced(f.invoke(()));
|
2013-09-17 23:48:56 -07:00
|
|
|
self.get_ref()
|
2013-05-02 22:51:12 -07:00
|
|
|
}
|
2012-12-11 15:19:43 -08:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
}
|
|
|
|
|
|
2013-09-17 23:48:56 -07:00
|
|
|
pub fn from_value(val: A) -> Future<A> {
|
|
|
|
|
/*!
|
|
|
|
|
* Create a future from a value.
|
|
|
|
|
*
|
|
|
|
|
* The value is immediately available and calling `get` later will
|
|
|
|
|
* not block.
|
|
|
|
|
*/
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2013-09-17 23:48:56 -07:00
|
|
|
Future {state: Forced(val)}
|
|
|
|
|
}
|
2012-07-02 19:03:11 -07:00
|
|
|
|
2014-11-26 10:10:52 -05:00
|
|
|
pub fn from_fn<F>(f: F) -> Future<A>
|
|
|
|
|
where F : FnOnce() -> A, F : Send
|
|
|
|
|
{
|
2013-09-17 23:48:56 -07:00
|
|
|
/*!
|
|
|
|
|
* Create a future from a function.
|
|
|
|
|
*
|
|
|
|
|
* The first time that the value is requested it will be retrieved by
|
|
|
|
|
* calling the function. Note that this function is a local
|
|
|
|
|
* function. It is not spawned into another task.
|
|
|
|
|
*/
|
|
|
|
|
|
2014-11-26 10:10:52 -05:00
|
|
|
Future {state: Pending(Thunk::new(f))}
|
2012-02-18 15:23:56 -08:00
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
}
|
|
|
|
|
|
2013-09-17 23:48:56 -07:00
|
|
|
impl<A:Send> Future<A> {
|
2014-03-09 14:58:32 -07:00
|
|
|
pub fn from_receiver(rx: Receiver<A>) -> Future<A> {
|
2013-09-17 23:48:56 -07: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.
|
|
|
|
|
*/
|
|
|
|
|
|
2014-12-23 11:53:35 -08:00
|
|
|
Future::from_fn(move |:| {
|
|
|
|
|
rx.recv().unwrap()
|
2014-01-26 23:13:24 -05:00
|
|
|
})
|
2013-09-17 23:48:56 -07:00
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2014-11-26 10:10:52 -05:00
|
|
|
pub fn spawn<F>(blk: F) -> Future<A>
|
|
|
|
|
where F : FnOnce() -> A, F : Send
|
|
|
|
|
{
|
2013-09-17 23:48:56 -07: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 16:39:20 -08:00
|
|
|
|
2014-03-09 14:58:32 -07:00
|
|
|
let (tx, rx) = channel();
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2014-12-06 18:34:37 -08:00
|
|
|
Thread::spawn(move |:| {
|
2014-10-09 15:17:22 -04:00
|
|
|
// Don't panic if the other end has hung up
|
2014-12-23 11:53:35 -08:00
|
|
|
let _ = tx.send(blk());
|
2014-12-14 00:05:32 -08:00
|
|
|
}).detach();
|
2012-10-22 16:22:47 -07:00
|
|
|
|
2014-03-09 14:58:32 -07:00
|
|
|
Future::from_receiver(rx)
|
2012-10-22 16:22:47 -07:00
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
}
|
|
|
|
|
|
2013-02-27 00:10:03 -05:00
|
|
|
#[cfg(test)]
|
2013-04-16 01:08:52 +10:00
|
|
|
mod test {
|
2014-12-22 09:04:23 -08:00
|
|
|
use prelude::v1::*;
|
2014-12-23 11:53:35 -08:00
|
|
|
use sync::mpsc::channel;
|
2014-06-07 11:13:26 -07:00
|
|
|
use sync::Future;
|
2014-12-22 09:04:23 -08:00
|
|
|
use thread::Thread;
|
2012-12-28 12:46:08 -08:00
|
|
|
|
2012-09-02 16:34:20 -07:00
|
|
|
#[test]
|
2013-04-16 01:08:52 +10:00
|
|
|
fn test_from_value() {
|
2014-05-25 03:10:11 -07:00
|
|
|
let mut f = Future::from_value("snail".to_string());
|
2014-11-27 19:45:47 -05:00
|
|
|
assert_eq!(f.get(), "snail");
|
2012-09-02 16:34:20 -07:00
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2012-09-02 16:34:20 -07:00
|
|
|
#[test]
|
2014-03-09 14:58:32 -07:00
|
|
|
fn test_from_receiver() {
|
|
|
|
|
let (tx, rx) = channel();
|
2014-12-23 11:53:35 -08:00
|
|
|
tx.send("whale".to_string()).unwrap();
|
2014-03-09 14:58:32 -07:00
|
|
|
let mut f = Future::from_receiver(rx);
|
2014-11-27 19:45:47 -05:00
|
|
|
assert_eq!(f.get(), "whale");
|
2012-09-02 16:34:20 -07:00
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2012-09-02 16:34:20 -07:00
|
|
|
#[test]
|
2013-04-16 01:08:52 +10:00
|
|
|
fn test_from_fn() {
|
2014-11-26 10:10:52 -05:00
|
|
|
let mut f = Future::from_fn(move|| "brail".to_string());
|
2014-11-27 19:45:47 -05:00
|
|
|
assert_eq!(f.get(), "brail");
|
2012-09-02 16:34:20 -07:00
|
|
|
}
|
2012-02-18 15:23:56 -08:00
|
|
|
|
2012-09-02 16:34:20 -07:00
|
|
|
#[test]
|
2013-04-16 01:08:52 +10:00
|
|
|
fn test_interface_get() {
|
2014-05-25 03:10:11 -07:00
|
|
|
let mut f = Future::from_value("fail".to_string());
|
2014-11-27 19:45:47 -05:00
|
|
|
assert_eq!(f.get(), "fail");
|
2012-09-02 16:34:20 -07:00
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2013-07-20 03:02:38 +02:00
|
|
|
#[test]
|
|
|
|
|
fn test_interface_unwrap() {
|
2014-05-25 03:10:11 -07:00
|
|
|
let f = Future::from_value("fail".to_string());
|
2014-12-23 11:53:35 -08:00
|
|
|
assert_eq!(f.into_inner(), "fail");
|
2013-07-20 03:02:38 +02:00
|
|
|
}
|
|
|
|
|
|
2012-09-02 16:34:20 -07:00
|
|
|
#[test]
|
2013-04-16 01:08:52 +10:00
|
|
|
fn test_get_ref_method() {
|
2014-04-21 17:58:52 -04:00
|
|
|
let mut f = Future::from_value(22i);
|
2013-05-18 22:02:45 -04:00
|
|
|
assert_eq!(*f.get_ref(), 22);
|
2012-09-02 16:34:20 -07:00
|
|
|
}
|
2012-08-27 16:08:17 -07:00
|
|
|
|
2012-09-02 16:34:20 -07:00
|
|
|
#[test]
|
2013-04-16 01:08:52 +10:00
|
|
|
fn test_spawn() {
|
2014-11-26 10:10:52 -05:00
|
|
|
let mut f = Future::spawn(move|| "bale".to_string());
|
2014-11-27 19:45:47 -05:00
|
|
|
assert_eq!(f.get(), "bale");
|
2012-09-02 16:34:20 -07:00
|
|
|
}
|
2012-02-14 16:39:20 -08:00
|
|
|
|
2012-09-02 16:34:20 -07:00
|
|
|
#[test]
|
|
|
|
|
#[should_fail]
|
2014-10-09 15:17:22 -04:00
|
|
|
fn test_future_panic() {
|
2014-11-26 10:10:52 -05:00
|
|
|
let mut f = Future::spawn(move|| panic!());
|
2014-05-22 16:57:53 -07:00
|
|
|
let _x: String = f.get();
|
2012-09-02 16:34:20 -07:00
|
|
|
}
|
2012-08-28 06:43:58 -07:00
|
|
|
|
|
|
|
|
#[test]
|
2013-04-16 01:08:52 +10:00
|
|
|
fn test_sendable_future() {
|
2013-05-08 22:44:43 -04:00
|
|
|
let expected = "schlorf";
|
2014-10-01 16:09:38 +02:00
|
|
|
let (tx, rx) = channel();
|
2014-11-26 10:10:52 -05:00
|
|
|
let f = Future::spawn(move|| { expected });
|
2014-12-22 09:04:23 -08:00
|
|
|
let _t = Thread::spawn(move|| {
|
2013-12-03 16:44:16 -08:00
|
|
|
let mut f = f;
|
2014-12-23 11:53:35 -08:00
|
|
|
tx.send(f.get()).unwrap();
|
2014-01-26 23:13:24 -05:00
|
|
|
});
|
2014-12-23 11:53:35 -08:00
|
|
|
assert_eq!(rx.recv().unwrap(), expected);
|
2012-08-28 06:43:58 -07:00
|
|
|
}
|
|
|
|
|
}
|