2009-09-25 21:32:00 -04:00
|
|
|
namespace factor
|
|
|
|
{
|
|
|
|
|
2009-10-19 07:10:39 -04:00
|
|
|
static const cell free_list_count = 32;
|
2009-09-25 21:32:00 -04:00
|
|
|
|
2009-10-24 22:24:06 -04:00
|
|
|
struct free_heap_block
|
|
|
|
{
|
|
|
|
cell header;
|
|
|
|
free_heap_block *next_free;
|
|
|
|
|
|
|
|
bool free_p() const
|
|
|
|
{
|
|
|
|
return header & 1 == 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
cell size() const
|
|
|
|
{
|
|
|
|
return header >> 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
void make_free(cell size)
|
|
|
|
{
|
|
|
|
header = (size << 3) | 1;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
struct free_list {
|
2009-09-25 21:32:00 -04:00
|
|
|
free_heap_block *small_blocks[free_list_count];
|
|
|
|
free_heap_block *large_blocks;
|
|
|
|
};
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> struct free_list_allocator {
|
|
|
|
cell size;
|
2009-10-20 23:20:49 -04:00
|
|
|
cell start;
|
2009-10-20 16:15:05 -04:00
|
|
|
cell end;
|
|
|
|
free_list free_blocks;
|
|
|
|
mark_bits<Block> state;
|
2009-09-25 21:32:00 -04:00
|
|
|
|
2009-10-20 23:20:49 -04:00
|
|
|
explicit free_list_allocator(cell size, cell start);
|
|
|
|
bool contains_p(Block *block);
|
|
|
|
Block *first_block();
|
|
|
|
Block *last_block();
|
|
|
|
Block *next_block_after(Block *block);
|
2009-09-25 21:32:00 -04:00
|
|
|
void clear_free_list();
|
|
|
|
void add_to_free_list(free_heap_block *block);
|
2009-10-22 00:24:35 -04:00
|
|
|
void initial_free_list(cell size);
|
2009-09-25 21:32:00 -04:00
|
|
|
void assert_free_block(free_heap_block *block);
|
|
|
|
free_heap_block *find_free_block(cell size);
|
|
|
|
free_heap_block *split_free_block(free_heap_block *block, cell size);
|
2009-10-20 16:15:05 -04:00
|
|
|
Block *allot(cell size);
|
|
|
|
void free(Block *block);
|
|
|
|
void usage(cell *used, cell *total_free, cell *max_free);
|
|
|
|
cell occupied();
|
2009-10-20 23:20:49 -04:00
|
|
|
void sweep();
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Iterator> void sweep(Iterator &iter);
|
2009-10-25 00:51:14 -04:00
|
|
|
template<typename Iterator, typename Sizer> void compact(Iterator &iter, Sizer &sizer);
|
|
|
|
template<typename Iterator, typename Sizer> void iterate(Iterator &iter, Sizer &sizer);
|
2009-10-20 23:20:49 -04:00
|
|
|
template<typename Iterator> void iterate(Iterator &iter);
|
2009-10-19 04:05:20 -04:00
|
|
|
};
|
|
|
|
|
2009-10-20 23:20:49 -04:00
|
|
|
template<typename Block>
|
|
|
|
free_list_allocator<Block>::free_list_allocator(cell size_, cell start_) :
|
|
|
|
size(size_), start(start_), end(start_ + size_), state(mark_bits<Block>(size_,start_))
|
|
|
|
{
|
2009-10-22 00:24:35 -04:00
|
|
|
initial_free_list(0);
|
2009-10-20 23:20:49 -04:00
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> void free_list_allocator<Block>::clear_free_list()
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
2009-10-20 16:15:05 -04:00
|
|
|
memset(&free_blocks,0,sizeof(free_list));
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
|
|
|
|
2009-10-20 23:20:49 -04:00
|
|
|
template<typename Block> bool free_list_allocator<Block>::contains_p(Block *block)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
2009-10-20 23:20:49 -04:00
|
|
|
return ((cell)block - start) < size;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Block> Block *free_list_allocator<Block>::first_block()
|
|
|
|
{
|
|
|
|
return (Block *)start;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Block> Block *free_list_allocator<Block>::last_block()
|
|
|
|
{
|
|
|
|
return (Block *)end;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Block> Block *free_list_allocator<Block>::next_block_after(Block *block)
|
|
|
|
{
|
|
|
|
return (Block *)((cell)block + block->size());
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> void free_list_allocator<Block>::add_to_free_list(free_heap_block *block)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
if(block->size() < free_list_count * block_granularity)
|
|
|
|
{
|
|
|
|
int index = block->size() / block_granularity;
|
2009-10-20 16:15:05 -04:00
|
|
|
block->next_free = free_blocks.small_blocks[index];
|
|
|
|
free_blocks.small_blocks[index] = block;
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2009-10-20 16:15:05 -04:00
|
|
|
block->next_free = free_blocks.large_blocks;
|
|
|
|
free_blocks.large_blocks = block;
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
/* Called after reading the heap from the image file, and after heap compaction.
|
|
|
|
Makes a free list consisting of one free block, at the very end. */
|
2009-10-22 00:24:35 -04:00
|
|
|
template<typename Block> void free_list_allocator<Block>::initial_free_list(cell size)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
clear_free_list();
|
2009-10-21 20:41:54 -04:00
|
|
|
if(size != this->size)
|
|
|
|
{
|
|
|
|
free_heap_block *last_block = (free_heap_block *)(start + size);
|
|
|
|
last_block->make_free(end - (cell)last_block);
|
|
|
|
add_to_free_list(last_block);
|
|
|
|
}
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> void free_list_allocator<Block>::assert_free_block(free_heap_block *block)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
#ifdef FACTOR_DEBUG
|
|
|
|
assert(block->free_p());
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> free_heap_block *free_list_allocator<Block>::find_free_block(cell size)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
cell attempt = size;
|
|
|
|
|
|
|
|
while(attempt < free_list_count * block_granularity)
|
|
|
|
{
|
|
|
|
int index = attempt / block_granularity;
|
2009-10-20 16:15:05 -04:00
|
|
|
free_heap_block *block = free_blocks.small_blocks[index];
|
2009-10-20 11:22:06 -04:00
|
|
|
if(block)
|
|
|
|
{
|
|
|
|
assert_free_block(block);
|
2009-10-20 16:15:05 -04:00
|
|
|
free_blocks.small_blocks[index] = block->next_free;
|
2009-10-20 11:22:06 -04:00
|
|
|
return block;
|
|
|
|
}
|
|
|
|
|
|
|
|
attempt *= 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
free_heap_block *prev = NULL;
|
2009-10-20 16:15:05 -04:00
|
|
|
free_heap_block *block = free_blocks.large_blocks;
|
2009-10-20 11:22:06 -04:00
|
|
|
|
|
|
|
while(block)
|
|
|
|
{
|
|
|
|
assert_free_block(block);
|
|
|
|
if(block->size() >= size)
|
|
|
|
{
|
|
|
|
if(prev)
|
|
|
|
prev->next_free = block->next_free;
|
|
|
|
else
|
2009-10-20 16:15:05 -04:00
|
|
|
free_blocks.large_blocks = block->next_free;
|
2009-10-20 11:22:06 -04:00
|
|
|
return block;
|
|
|
|
}
|
|
|
|
|
|
|
|
prev = block;
|
|
|
|
block = block->next_free;
|
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> free_heap_block *free_list_allocator<Block>::split_free_block(free_heap_block *block, cell size)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
if(block->size() != size)
|
|
|
|
{
|
|
|
|
/* split the block in two */
|
|
|
|
free_heap_block *split = (free_heap_block *)((cell)block + size);
|
2009-10-21 20:41:54 -04:00
|
|
|
split->make_free(block->size() - size);
|
2009-10-20 11:22:06 -04:00
|
|
|
split->next_free = block->next_free;
|
2009-10-21 20:41:54 -04:00
|
|
|
block->make_free(size);
|
2009-10-20 11:22:06 -04:00
|
|
|
add_to_free_list(split);
|
|
|
|
}
|
|
|
|
|
|
|
|
return block;
|
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> Block *free_list_allocator<Block>::allot(cell size)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
size = align(size,block_granularity);
|
|
|
|
|
|
|
|
free_heap_block *block = find_free_block(size);
|
|
|
|
if(block)
|
|
|
|
{
|
|
|
|
block = split_free_block(block,size);
|
|
|
|
return (Block *)block;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> void free_list_allocator<Block>::free(Block *block)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
free_heap_block *free_block = (free_heap_block *)block;
|
2009-10-21 20:41:54 -04:00
|
|
|
free_block->make_free(block->size());
|
2009-10-20 11:22:06 -04:00
|
|
|
add_to_free_list(free_block);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Compute total sum of sizes of free blocks, and size of largest free block */
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> void free_list_allocator<Block>::usage(cell *used, cell *total_free, cell *max_free)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
*used = 0;
|
|
|
|
*total_free = 0;
|
|
|
|
*max_free = 0;
|
|
|
|
|
|
|
|
Block *scan = first_block();
|
|
|
|
Block *end = last_block();
|
|
|
|
|
|
|
|
while(scan != end)
|
|
|
|
{
|
2009-10-20 15:01:46 -04:00
|
|
|
cell size = scan->size();
|
2009-10-20 11:22:06 -04:00
|
|
|
|
|
|
|
if(scan->free_p())
|
|
|
|
{
|
|
|
|
*total_free += size;
|
|
|
|
if(size > *max_free)
|
|
|
|
*max_free = size;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
*used += size;
|
|
|
|
|
2009-10-20 14:47:04 -04:00
|
|
|
scan = next_block_after(scan);
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* The size of the heap after compaction */
|
2009-10-20 16:15:05 -04:00
|
|
|
template<typename Block> cell free_list_allocator<Block>::occupied()
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
Block *scan = first_block();
|
2009-10-20 16:15:05 -04:00
|
|
|
Block *last = last_block();
|
2009-10-20 11:22:06 -04:00
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
while(scan != last)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
if(scan->free_p()) break;
|
2009-10-20 14:47:04 -04:00
|
|
|
else scan = next_block_after(scan);
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
|
|
|
|
2009-10-20 16:15:05 -04:00
|
|
|
if(scan != last)
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
free_heap_block *free_block = (free_heap_block *)scan;
|
|
|
|
assert(free_block->free_p());
|
2009-10-20 16:15:05 -04:00
|
|
|
assert((cell)scan + free_block->size() == end);
|
2009-10-20 11:22:06 -04:00
|
|
|
|
|
|
|
return (cell)scan - (cell)first_block();
|
|
|
|
}
|
|
|
|
else
|
2009-10-20 16:15:05 -04:00
|
|
|
return size;
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
|
|
|
|
2009-10-20 23:20:49 -04:00
|
|
|
template<typename Block>
|
|
|
|
void free_list_allocator<Block>::sweep()
|
|
|
|
{
|
|
|
|
this->clear_free_list();
|
|
|
|
|
|
|
|
Block *prev = NULL;
|
|
|
|
Block *scan = this->first_block();
|
|
|
|
Block *end = this->last_block();
|
|
|
|
|
|
|
|
while(scan != end)
|
|
|
|
{
|
|
|
|
cell size = scan->size();
|
|
|
|
|
|
|
|
if(scan->free_p())
|
|
|
|
{
|
|
|
|
if(prev && prev->free_p())
|
|
|
|
{
|
|
|
|
free_heap_block *free_prev = (free_heap_block *)prev;
|
2009-10-24 22:24:06 -04:00
|
|
|
free_prev->make_free(free_prev->size() + size);
|
2009-10-20 23:20:49 -04:00
|
|
|
}
|
|
|
|
else
|
|
|
|
prev = scan;
|
|
|
|
}
|
|
|
|
else if(this->state.marked_p(scan))
|
|
|
|
{
|
|
|
|
if(prev && prev->free_p())
|
|
|
|
this->add_to_free_list((free_heap_block *)prev);
|
|
|
|
prev = scan;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
if(prev && prev->free_p())
|
|
|
|
{
|
|
|
|
free_heap_block *free_prev = (free_heap_block *)prev;
|
2009-10-24 22:24:06 -04:00
|
|
|
free_prev->make_free(free_prev->size() + size);
|
2009-10-20 23:20:49 -04:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2009-10-21 20:41:54 -04:00
|
|
|
free_heap_block *free_block = (free_heap_block *)scan;
|
|
|
|
free_block->make_free(size);
|
2009-10-20 23:20:49 -04:00
|
|
|
prev = scan;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
scan = (Block *)((cell)scan + size);
|
|
|
|
}
|
|
|
|
|
|
|
|
if(prev && prev->free_p())
|
|
|
|
this->add_to_free_list((free_heap_block *)prev);
|
|
|
|
}
|
|
|
|
|
2009-10-20 15:01:46 -04:00
|
|
|
template<typename Block>
|
2009-10-20 11:22:06 -04:00
|
|
|
template<typename Iterator>
|
2009-10-20 16:15:05 -04:00
|
|
|
void free_list_allocator<Block>::sweep(Iterator &iter)
|
2009-10-19 04:05:20 -04:00
|
|
|
{
|
|
|
|
this->clear_free_list();
|
|
|
|
|
2009-10-20 11:22:06 -04:00
|
|
|
Block *prev = NULL;
|
|
|
|
Block *scan = this->first_block();
|
|
|
|
Block *end = this->last_block();
|
2009-10-06 06:52:45 -04:00
|
|
|
|
2009-10-19 04:05:20 -04:00
|
|
|
while(scan != end)
|
|
|
|
{
|
2009-10-20 15:01:46 -04:00
|
|
|
cell size = scan->size();
|
|
|
|
|
2009-10-20 10:37:24 -04:00
|
|
|
if(scan->free_p())
|
2009-10-19 04:05:20 -04:00
|
|
|
{
|
2009-10-20 10:37:24 -04:00
|
|
|
if(prev && prev->free_p())
|
2009-10-20 11:22:06 -04:00
|
|
|
{
|
|
|
|
free_heap_block *free_prev = (free_heap_block *)prev;
|
2009-10-24 22:24:06 -04:00
|
|
|
free_prev->make_free(free_prev->size() + size);
|
2009-10-20 11:22:06 -04:00
|
|
|
}
|
2009-10-19 04:05:20 -04:00
|
|
|
else
|
|
|
|
prev = scan;
|
2009-10-03 09:47:05 -04:00
|
|
|
}
|
2009-10-20 16:15:05 -04:00
|
|
|
else if(this->state.marked_p(scan))
|
2009-10-19 04:05:20 -04:00
|
|
|
{
|
2009-10-20 10:37:24 -04:00
|
|
|
if(prev && prev->free_p())
|
2009-10-19 04:05:20 -04:00
|
|
|
this->add_to_free_list((free_heap_block *)prev);
|
|
|
|
prev = scan;
|
2009-10-20 15:01:46 -04:00
|
|
|
iter(scan,size);
|
2009-10-19 04:05:20 -04:00
|
|
|
}
|
|
|
|
else
|
2009-10-20 10:37:24 -04:00
|
|
|
{
|
|
|
|
if(prev && prev->free_p())
|
|
|
|
{
|
|
|
|
free_heap_block *free_prev = (free_heap_block *)prev;
|
2009-10-24 22:24:06 -04:00
|
|
|
free_prev->make_free(free_prev->size() + size);
|
2009-10-20 10:37:24 -04:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2009-10-21 20:41:54 -04:00
|
|
|
free_heap_block *free_block = (free_heap_block *)scan;
|
|
|
|
free_block->make_free(size);
|
2009-10-20 10:37:24 -04:00
|
|
|
prev = scan;
|
|
|
|
}
|
|
|
|
}
|
2009-10-06 06:52:45 -04:00
|
|
|
|
2009-10-20 15:01:46 -04:00
|
|
|
scan = (Block *)((cell)scan + size);
|
2009-10-03 09:47:05 -04:00
|
|
|
}
|
2009-10-19 04:05:20 -04:00
|
|
|
|
2009-10-20 10:37:24 -04:00
|
|
|
if(prev && prev->free_p())
|
2009-10-19 04:05:20 -04:00
|
|
|
this->add_to_free_list((free_heap_block *)prev);
|
|
|
|
}
|
|
|
|
|
2009-10-25 09:07:21 -04:00
|
|
|
template<typename Block, typename Iterator> struct heap_compactor {
|
|
|
|
mark_bits<Block> *state;
|
|
|
|
char *address;
|
|
|
|
Iterator &iter;
|
|
|
|
|
|
|
|
explicit heap_compactor(mark_bits<Block> *state_, Block *address_, Iterator &iter_) :
|
|
|
|
state(state_), address((char *)address_), iter(iter_) {}
|
|
|
|
|
|
|
|
void operator()(Block *block, cell size)
|
|
|
|
{
|
|
|
|
if(this->state->marked_p(block))
|
|
|
|
{
|
|
|
|
iter(block,(Block *)address,size);
|
|
|
|
address += size;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2009-10-19 04:05:20 -04:00
|
|
|
/* The forwarding map must be computed first by calling
|
2009-10-20 16:15:05 -04:00
|
|
|
state.compute_forwarding(). */
|
2009-10-20 15:01:46 -04:00
|
|
|
template<typename Block>
|
2009-10-25 00:51:14 -04:00
|
|
|
template<typename Iterator, typename Sizer>
|
|
|
|
void free_list_allocator<Block>::compact(Iterator &iter, Sizer &sizer)
|
2009-10-19 04:05:20 -04:00
|
|
|
{
|
2009-10-20 16:15:05 -04:00
|
|
|
heap_compactor<Block,Iterator> compactor(&state,first_block(),iter);
|
2009-10-25 00:51:14 -04:00
|
|
|
this->iterate(compactor,sizer);
|
2009-10-19 04:05:20 -04:00
|
|
|
|
|
|
|
/* Now update the free list; there will be a single free block at
|
|
|
|
the end */
|
2009-10-22 00:24:35 -04:00
|
|
|
this->initial_free_list((cell)compactor.address - this->start);
|
2009-10-19 04:05:20 -04:00
|
|
|
}
|
2009-09-25 21:32:00 -04:00
|
|
|
|
2009-10-25 00:51:14 -04:00
|
|
|
/* During compaction we have to be careful and measure object sizes differently */
|
2009-10-20 23:20:49 -04:00
|
|
|
template<typename Block>
|
2009-10-25 00:51:14 -04:00
|
|
|
template<typename Iterator, typename Sizer>
|
|
|
|
void free_list_allocator<Block>::iterate(Iterator &iter, Sizer &sizer)
|
2009-10-20 23:20:49 -04:00
|
|
|
{
|
|
|
|
Block *scan = first_block();
|
|
|
|
Block *end = last_block();
|
|
|
|
|
|
|
|
while(scan != end)
|
|
|
|
{
|
2009-10-25 00:51:14 -04:00
|
|
|
cell size = sizer(scan);
|
2009-10-20 23:20:49 -04:00
|
|
|
Block *next = (Block *)((cell)scan + size);
|
|
|
|
if(!scan->free_p()) iter(scan,size);
|
|
|
|
scan = next;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-10-25 00:51:14 -04:00
|
|
|
template<typename Block> struct standard_sizer {
|
|
|
|
cell operator()(Block *block)
|
|
|
|
{
|
|
|
|
return block->size();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename Block>
|
|
|
|
template<typename Iterator>
|
|
|
|
void free_list_allocator<Block>::iterate(Iterator &iter)
|
|
|
|
{
|
|
|
|
standard_sizer<Block> sizer;
|
|
|
|
iterate(iter,sizer);
|
|
|
|
}
|
|
|
|
|
2009-09-25 21:32:00 -04:00
|
|
|
}
|