rust/src/libstd/arena.rs

79 lines
2.0 KiB
Rust
Raw Normal View History

2012-03-20 21:06:04 -05:00
// Dynamic arenas.
export arena, arena_with_size;
import list;
import list::{list, cons, nil};
import unsafe::reinterpret_cast;
2012-03-20 21:06:04 -05:00
type chunk = {data: ~[u8], mut fill: uint};
type arena_ = {mut chunks: @list<@chunk>};
enum arena {
arena_(arena_)
}
2012-03-20 21:06:04 -05:00
fn chunk(size: uint) -> @chunk {
let mut v = ~[];
vec::reserve(v, size);
@{ data: v, mut fill: 0u }
2012-03-20 21:06:04 -05:00
}
fn arena_with_size(initial_size: uint) -> arena {
2012-08-01 19:30:05 -05:00
return arena_({mut chunks: @cons(chunk(initial_size), @nil)});
2012-03-20 21:06:04 -05:00
}
fn arena() -> arena {
arena_with_size(32u)
}
#[abi = "rust-intrinsic"]
extern mod rusti {
fn move_val_init<T>(&dst: T, -src: T);
}
impl &arena {
fn alloc_grow(n_bytes: uint, align: uint) -> *() {
// Allocate a new chunk.
let mut head = list::head(self.chunks);
let chunk_size = vec::capacity(head.data);
let new_min_chunk_size = uint::max(n_bytes, chunk_size);
head = chunk(uint::next_power_of_two(new_min_chunk_size + 1u));
self.chunks = @cons(head, self.chunks);
2012-08-01 19:30:05 -05:00
return self.alloc_inner(n_bytes, align);
}
#[inline(always)]
fn alloc_inner(n_bytes: uint, align: uint) -> *() {
let alignm1 = align - 1u;
2012-03-20 21:06:04 -05:00
let mut head = list::head(self.chunks);
let mut start = head.fill;
start = (start + alignm1) & !alignm1;
let end = start + n_bytes;
if end > vec::capacity(head.data) {
2012-08-01 19:30:05 -05:00
return self.alloc_grow(n_bytes, align);
2012-03-20 21:06:04 -05:00
}
unsafe {
let p = ptr::offset(vec::unsafe::to_ptr(head.data), start);
head.fill = end;
2012-08-01 19:30:05 -05:00
return unsafe::reinterpret_cast(p);
}
2012-03-20 21:06:04 -05:00
}
#[inline(always)]
fn alloc<T>(op: fn() -> T) -> &self/T {
unsafe {
let tydesc = sys::get_type_desc::<T>();
let ptr = self.alloc_inner((*tydesc).size, (*tydesc).align);
let ptr: *mut T = reinterpret_cast(ptr);
rusti::move_val_init(*ptr, op());
return reinterpret_cast(ptr);
}
}
2012-03-20 21:06:04 -05:00
}