2013-02-03 20:15:43 -06:00
|
|
|
// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// 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.
|
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/*! The Rust Runtime, including the task scheduler and I/O
|
|
|
|
|
|
|
|
The `rt` module provides the private runtime infrastructure necessary
|
|
|
|
to support core language features like the exchange and local heap,
|
|
|
|
the garbage collector, logging, local data and unwinding. It also
|
|
|
|
implements the default task scheduler and task model. Initialization
|
|
|
|
routines are provided for setting up runtime resources in common
|
|
|
|
configurations, including that used by `rustc` when generating
|
|
|
|
executables.
|
|
|
|
|
|
|
|
It is intended that the features provided by `rt` can be factored in a
|
|
|
|
way such that the core library can be built with different 'profiles'
|
|
|
|
for different use cases, e.g. excluding the task scheduler. A number
|
|
|
|
of runtime features though are critical to the functioning of the
|
|
|
|
language and an implementation must be provided regardless of the
|
|
|
|
execution environment.
|
|
|
|
|
|
|
|
Of foremost importance is the global exchange heap, in the module
|
|
|
|
`global_heap`. Very little practical Rust code can be written without
|
|
|
|
access to the global heap. Unlike most of `rt` the global heap is
|
|
|
|
truly a global resource and generally operates independently of the
|
|
|
|
rest of the runtime.
|
|
|
|
|
|
|
|
All other runtime features are 'local', either thread-local or
|
|
|
|
task-local. Those critical to the functioning of the language are
|
|
|
|
defined in the module `local_services`. Local services are those which
|
|
|
|
are expected to be available to Rust code generally but rely on
|
|
|
|
thread- or task-local state. These currently include the local heap,
|
|
|
|
the garbage collector, local storage, logging and the stack unwinder.
|
|
|
|
Local services are primarily implemented for tasks, but may also
|
|
|
|
be implemented for use outside of tasks.
|
|
|
|
|
|
|
|
The relationship between `rt` and the rest of the core library is
|
|
|
|
not entirely clear yet and some modules will be moving into or
|
|
|
|
out of `rt` as development proceeds.
|
|
|
|
|
|
|
|
Several modules in `core` are clients of `rt`:
|
|
|
|
|
|
|
|
* `core::task` - The user-facing interface to the Rust task model.
|
|
|
|
* `core::task::local_data` - The interface to local data.
|
|
|
|
* `core::gc` - The garbage collector.
|
|
|
|
* `core::unstable::lang` - Miscellaneous lang items, some of which rely on `core::rt`.
|
|
|
|
* `core::condition` - Uses local data.
|
|
|
|
* `core::cleanup` - Local heap destruction.
|
|
|
|
* `core::io` - In the future `core::io` will use an `rt` implementation.
|
|
|
|
* `core::logging`
|
|
|
|
* `core::pipes`
|
|
|
|
* `core::comm`
|
|
|
|
* `core::stackwalk`
|
|
|
|
|
|
|
|
*/
|
2013-04-23 21:21:37 -05:00
|
|
|
|
2013-03-24 20:59:04 -05:00
|
|
|
#[doc(hidden)];
|
|
|
|
|
2013-03-15 20:06:19 -05:00
|
|
|
use libc::c_char;
|
2013-05-12 19:34:15 -05:00
|
|
|
use ptr::Ptr;
|
2013-03-12 15:05:45 -05:00
|
|
|
|
2013-05-07 17:54:06 -05:00
|
|
|
/// The global (exchange) heap.
|
|
|
|
pub mod global_heap;
|
|
|
|
|
|
|
|
/// The Scheduler and Task types.
|
2013-02-03 20:15:43 -06:00
|
|
|
mod sched;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// Thread-local access to the current Scheduler.
|
2013-05-04 19:30:31 -05:00
|
|
|
pub mod local_sched;
|
2013-04-27 02:09:27 -05:00
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// Synchronous I/O.
|
2013-04-27 01:21:58 -05:00
|
|
|
#[path = "io/mod.rs"]
|
|
|
|
pub mod io;
|
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// Thread-local implementations of language-critical runtime features like @.
|
2013-04-27 01:21:58 -05:00
|
|
|
pub mod local_services;
|
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// The EventLoop and internal synchronous I/O interface.
|
2013-03-13 20:21:47 -05:00
|
|
|
mod rtio;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// libuv and default rtio implementation.
|
2013-03-15 20:07:36 -05:00
|
|
|
#[path = "uv/mod.rs"]
|
2013-04-27 02:09:27 -05:00
|
|
|
pub mod uv;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
2013-02-03 20:15:43 -06:00
|
|
|
// FIXME #5248: The import in `sched` doesn't resolve unless this is pub!
|
2013-05-07 01:11:02 -05:00
|
|
|
/// Bindings to pthread/windows thread-local storage.
|
2013-02-03 20:15:43 -06:00
|
|
|
pub mod thread_local_storage;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// A parallel work-stealing dequeue.
|
2013-02-03 20:15:43 -06:00
|
|
|
mod work_queue;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// Stack segments and caching.
|
2013-02-03 20:15:43 -06:00
|
|
|
mod stack;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// CPU context swapping.
|
2013-02-03 20:15:43 -06:00
|
|
|
mod context;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
2013-05-07 01:11:02 -05:00
|
|
|
/// Bindings to system threading libraries.
|
2013-02-03 20:15:43 -06:00
|
|
|
mod thread;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
|
|
|
/// The runtime configuration, read from environment variables
|
2013-03-12 14:23:24 -05:00
|
|
|
pub mod env;
|
2013-04-27 01:21:58 -05:00
|
|
|
|
|
|
|
/// The local, managed heap
|
2013-04-21 21:03:52 -05:00
|
|
|
mod local_heap;
|
2013-03-15 20:06:19 -05:00
|
|
|
|
2013-04-27 20:57:15 -05:00
|
|
|
/// The Logger trait and implementations
|
|
|
|
pub mod logging;
|
|
|
|
|
2013-04-20 02:33:49 -05:00
|
|
|
/// Tools for testing the runtime
|
|
|
|
#[cfg(test)]
|
|
|
|
pub mod test;
|
|
|
|
|
2013-05-03 18:58:20 -05:00
|
|
|
/// Reference counting
|
|
|
|
pub mod rc;
|
|
|
|
|
2013-05-04 19:30:31 -05:00
|
|
|
/// A simple single-threaded channel type for passing buffered data between
|
|
|
|
/// scheduler and task context
|
|
|
|
pub mod tube;
|
|
|
|
|
2013-04-27 01:21:58 -05:00
|
|
|
/// Set up a default runtime configuration, given compiler-supplied arguments.
|
|
|
|
///
|
|
|
|
/// This is invoked by the `start` _language item_ (unstable::lang) to
|
|
|
|
/// run a Rust executable.
|
|
|
|
///
|
|
|
|
/// # Arguments
|
|
|
|
///
|
|
|
|
/// * `argc` & `argv` - The argument vector. On Unix this information is used
|
|
|
|
/// by os::args.
|
|
|
|
/// * `crate_map` - Runtime information about the executing crate, mostly for logging
|
|
|
|
///
|
|
|
|
/// # Return value
|
|
|
|
///
|
|
|
|
/// The return value is used as the process return code. 0 on success, 101 on error.
|
2013-05-08 16:52:30 -05:00
|
|
|
pub fn start(_argc: int, _argv: **c_char, _crate_map: *u8, main: ~fn()) -> int {
|
2013-05-08 01:01:02 -05:00
|
|
|
|
2013-03-30 21:59:21 -05:00
|
|
|
use self::sched::{Scheduler, Task};
|
2013-04-27 02:09:27 -05:00
|
|
|
use self::uv::uvio::UvEventLoop;
|
2013-03-30 21:59:21 -05:00
|
|
|
|
|
|
|
let loop_ = ~UvEventLoop::new();
|
|
|
|
let mut sched = ~Scheduler::new(loop_);
|
2013-05-08 16:52:30 -05:00
|
|
|
let main_task = ~Task::new(&mut sched.stack_pool, main);
|
2013-05-08 01:01:02 -05:00
|
|
|
|
2013-03-30 21:59:21 -05:00
|
|
|
sched.task_queue.push_back(main_task);
|
|
|
|
sched.run();
|
|
|
|
|
2013-05-08 01:01:02 -05:00
|
|
|
return 0;
|
2013-03-30 21:59:21 -05:00
|
|
|
}
|
2013-03-27 17:24:50 -05:00
|
|
|
|
|
|
|
/// Possible contexts in which Rust code may be executing.
|
|
|
|
/// Different runtime services are available depending on context.
|
2013-04-27 01:21:58 -05:00
|
|
|
/// Mostly used for determining if we're using the new scheduler
|
|
|
|
/// or the old scheduler.
|
2013-03-27 17:24:50 -05:00
|
|
|
#[deriving(Eq)]
|
|
|
|
pub enum RuntimeContext {
|
2013-04-21 18:28:17 -05:00
|
|
|
// Only the exchange heap is available
|
2013-03-27 17:24:50 -05:00
|
|
|
GlobalContext,
|
|
|
|
// The scheduler may be accessed
|
|
|
|
SchedulerContext,
|
|
|
|
// Full task services, e.g. local heap, unwinding
|
|
|
|
TaskContext,
|
|
|
|
// Running in an old-style task
|
|
|
|
OldTaskContext
|
|
|
|
}
|
|
|
|
|
2013-04-27 01:21:58 -05:00
|
|
|
/// Determine the current RuntimeContext
|
2013-03-27 17:24:50 -05:00
|
|
|
pub fn context() -> RuntimeContext {
|
|
|
|
|
|
|
|
use task::rt::rust_task;
|
2013-04-18 21:32:32 -05:00
|
|
|
use self::sched::local_sched;
|
2013-03-27 17:24:50 -05:00
|
|
|
|
|
|
|
// XXX: Hitting TLS twice to check if the scheduler exists
|
|
|
|
// then to check for the task is not good for perf
|
|
|
|
if unsafe { rust_try_get_task().is_not_null() } {
|
|
|
|
return OldTaskContext;
|
|
|
|
} else {
|
2013-04-18 21:32:32 -05:00
|
|
|
if local_sched::exists() {
|
2013-03-27 17:24:50 -05:00
|
|
|
let context = ::cell::empty_cell();
|
2013-04-18 21:32:32 -05:00
|
|
|
do local_sched::borrow |sched| {
|
2013-03-27 17:24:50 -05:00
|
|
|
if sched.in_task_context() {
|
|
|
|
context.put_back(TaskContext);
|
|
|
|
} else {
|
|
|
|
context.put_back(SchedulerContext);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return context.take();
|
|
|
|
} else {
|
|
|
|
return GlobalContext;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub extern {
|
|
|
|
#[rust_stack]
|
|
|
|
fn rust_try_get_task() -> *rust_task;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_context() {
|
|
|
|
use unstable::run_in_bare_thread;
|
2013-04-18 21:32:32 -05:00
|
|
|
use self::sched::{local_sched, Task};
|
2013-04-27 02:09:27 -05:00
|
|
|
use rt::uv::uvio::UvEventLoop;
|
2013-03-27 17:24:50 -05:00
|
|
|
use cell::Cell;
|
|
|
|
|
|
|
|
assert!(context() == OldTaskContext);
|
|
|
|
do run_in_bare_thread {
|
|
|
|
assert!(context() == GlobalContext);
|
|
|
|
let mut sched = ~UvEventLoop::new_scheduler();
|
|
|
|
let task = ~do Task::new(&mut sched.stack_pool) {
|
|
|
|
assert!(context() == TaskContext);
|
2013-04-18 21:32:32 -05:00
|
|
|
let sched = local_sched::take();
|
2013-03-27 17:24:50 -05:00
|
|
|
do sched.deschedule_running_task_and_then() |task| {
|
|
|
|
assert!(context() == SchedulerContext);
|
|
|
|
let task = Cell(task);
|
2013-04-18 21:32:32 -05:00
|
|
|
do local_sched::borrow |sched| {
|
2013-03-27 17:24:50 -05:00
|
|
|
sched.task_queue.push_back(task.take());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
sched.task_queue.push_back(task);
|
|
|
|
sched.run();
|
|
|
|
}
|
|
|
|
}
|