2014-05-13 18:10:05 -05:00
|
|
|
// Copyright 2014 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.
|
|
|
|
|
2014-08-04 05:48:39 -05:00
|
|
|
//! # The Rust core allocation library
|
2014-05-13 18:10:05 -05:00
|
|
|
//!
|
|
|
|
//! This is the lowest level library through which allocation in Rust can be
|
|
|
|
//! performed where the allocation is assumed to succeed. This library will
|
|
|
|
//! trigger a task failure when allocation fails.
|
|
|
|
//!
|
|
|
|
//! This library, like libcore, is not intended for general usage, but rather as
|
|
|
|
//! a building block of other libraries. The types and interfaces in this
|
|
|
|
//! library are reexported through the [standard library](../std/index.html),
|
|
|
|
//! and should not be used through this library.
|
|
|
|
//!
|
|
|
|
//! Currently, there are four major definitions in this library.
|
|
|
|
//!
|
2014-07-10 16:19:17 -05:00
|
|
|
//! ## Boxed values
|
2014-05-13 18:10:05 -05:00
|
|
|
//!
|
2014-08-04 05:48:39 -05:00
|
|
|
//! The [`Box`](boxed/index.html) type is the core owned pointer type in Rust.
|
2014-05-13 18:10:05 -05:00
|
|
|
//! There can only be one owner of a `Box`, and the owner can decide to mutate
|
2014-07-10 16:19:17 -05:00
|
|
|
//! the contents, which live on the heap.
|
2014-05-13 18:10:05 -05:00
|
|
|
//!
|
|
|
|
//! This type can be sent among tasks efficiently as the size of a `Box` value
|
2014-08-04 05:48:39 -05:00
|
|
|
//! is the same as that of a pointer. Tree-like data structures are often built
|
|
|
|
//! with boxes because each node often has only one owner, the parent.
|
2014-05-13 18:10:05 -05:00
|
|
|
//!
|
|
|
|
//! ## Reference counted pointers
|
|
|
|
//!
|
|
|
|
//! The [`Rc`](rc/index.html) type is a non-threadsafe reference-counted pointer
|
|
|
|
//! type intended for sharing memory within a task. An `Rc` pointer wraps a
|
|
|
|
//! type, `T`, and only allows access to `&T`, a shared reference.
|
|
|
|
//!
|
2014-08-04 05:48:39 -05:00
|
|
|
//! This type is useful when inherited mutability (such as using `Box`) is too
|
|
|
|
//! constraining for an application, and is often paired with the `Cell` or
|
2014-05-13 18:10:05 -05:00
|
|
|
//! `RefCell` types in order to allow mutation.
|
|
|
|
//!
|
|
|
|
//! ## Atomically reference counted pointers
|
|
|
|
//!
|
|
|
|
//! The [`Arc`](arc/index.html) type is the threadsafe equivalent of the `Rc`
|
|
|
|
//! type. It provides all the same functionality of `Rc`, except it requires
|
|
|
|
//! that the contained type `T` is shareable. Additionally, `Arc<T>` is itself
|
|
|
|
//! sendable while `Rc<T>` is not.
|
|
|
|
//!
|
|
|
|
//! This types allows for shared access to the contained data, and is often
|
|
|
|
//! paired with synchronization primitives such as mutexes to allow mutation of
|
|
|
|
//! shared resources.
|
|
|
|
//!
|
|
|
|
//! ## Heap interfaces
|
|
|
|
//!
|
|
|
|
//! The [`heap`](heap/index.html) and [`libc_heap`](libc_heap/index.html)
|
|
|
|
//! modules are the unsafe interfaces to the underlying allocation systems. The
|
|
|
|
//! `heap` module is considered the default heap, and is not necessarily backed
|
|
|
|
//! by libc malloc/free. The `libc_heap` module is defined to be wired up to
|
|
|
|
//! the system malloc/free.
|
|
|
|
|
2014-07-01 09:12:04 -05:00
|
|
|
#![crate_name = "alloc"]
|
2014-06-18 00:13:36 -05:00
|
|
|
#![experimental]
|
2014-05-13 18:10:05 -05:00
|
|
|
#![license = "MIT/ASL2"]
|
|
|
|
#![crate_type = "rlib"]
|
|
|
|
#![doc(html_logo_url = "http://www.rust-lang.org/logos/rust-logo-128x128-blk-v2.png",
|
|
|
|
html_favicon_url = "http://www.rust-lang.org/favicon.ico",
|
2014-05-21 21:55:39 -05:00
|
|
|
html_root_url = "http://doc.rust-lang.org/")]
|
2014-05-13 18:10:05 -05:00
|
|
|
|
|
|
|
#![no_std]
|
2014-06-20 18:39:23 -05:00
|
|
|
#![feature(lang_items, phase, unsafe_destructor)]
|
2014-05-13 18:10:05 -05:00
|
|
|
|
2014-05-24 23:15:16 -05:00
|
|
|
#[phase(plugin, link)]
|
|
|
|
extern crate core;
|
2014-05-13 18:10:05 -05:00
|
|
|
extern crate libc;
|
|
|
|
|
|
|
|
// Allow testing this library
|
|
|
|
|
2014-05-22 13:28:01 -05:00
|
|
|
#[cfg(test)] extern crate debug;
|
2014-05-13 18:10:05 -05:00
|
|
|
#[cfg(test)] extern crate native;
|
2014-06-11 20:47:09 -05:00
|
|
|
#[cfg(test)] #[phase(plugin, link)] extern crate std;
|
|
|
|
#[cfg(test)] #[phase(plugin, link)] extern crate log;
|
2014-05-13 18:10:05 -05:00
|
|
|
|
2014-07-10 16:19:17 -05:00
|
|
|
// The deprecated name of the boxed module
|
|
|
|
|
|
|
|
#[deprecated = "use boxed instead"]
|
|
|
|
#[cfg(not(test))]
|
2014-08-18 10:29:44 -05:00
|
|
|
pub use boxed as owned;
|
2014-07-10 16:19:17 -05:00
|
|
|
|
2014-05-13 18:10:05 -05:00
|
|
|
// Heaps provided for low-level allocation strategies
|
|
|
|
|
|
|
|
pub mod heap;
|
|
|
|
pub mod libc_heap;
|
|
|
|
pub mod util;
|
|
|
|
|
|
|
|
// Primitive types using the heaps above
|
|
|
|
|
|
|
|
#[cfg(not(test))]
|
2014-07-10 16:19:17 -05:00
|
|
|
pub mod boxed;
|
2014-05-13 18:10:05 -05:00
|
|
|
pub mod arc;
|
|
|
|
pub mod rc;
|
|
|
|
|
2014-06-14 01:35:54 -05:00
|
|
|
/// Common OOM routine used by liballoc
|
|
|
|
fn oom() -> ! {
|
|
|
|
// FIXME(#14674): This really needs to do something other than just abort
|
|
|
|
// here, but any printing done must be *guaranteed* to not
|
|
|
|
// allocate.
|
|
|
|
unsafe { core::intrinsics::abort() }
|
|
|
|
}
|
|
|
|
|
2014-06-04 02:01:40 -05:00
|
|
|
// FIXME(#14344): When linking liballoc with libstd, this library will be linked
|
|
|
|
// as an rlib (it only exists as an rlib). It turns out that an
|
|
|
|
// optimized standard library doesn't actually use *any* symbols
|
|
|
|
// from this library. Everything is inlined and optimized away.
|
|
|
|
// This means that linkers will actually omit the object for this
|
|
|
|
// file, even though it may be needed in the future.
|
|
|
|
//
|
|
|
|
// To get around this for now, we define a dummy symbol which
|
|
|
|
// will never get inlined so the stdlib can call it. The stdlib's
|
|
|
|
// reference to this symbol will cause this library's object file
|
|
|
|
// to get linked in to libstd successfully (the linker won't
|
|
|
|
// optimize it out).
|
|
|
|
#[doc(hidden)]
|
|
|
|
pub fn fixme_14344_be_sure_to_link_to_collections() {}
|
|
|
|
|
2014-05-13 18:10:05 -05:00
|
|
|
#[cfg(not(test))]
|
2014-05-29 11:58:09 -05:00
|
|
|
#[doc(hidden)]
|
2014-05-13 18:10:05 -05:00
|
|
|
mod std {
|
|
|
|
pub use core::fmt;
|
|
|
|
pub use core::option;
|
|
|
|
}
|