Commit b3e7ee95 authored by Kevin Modzelewski's avatar Kevin Modzelewski

Create a Bitmap class to encapsulate that functionality

In preparation for using bitmaps for other purposes in the heap.
parent 1f043e3d
...@@ -141,15 +141,14 @@ static Block* alloc_block(uint64_t size, Block** prev) { ...@@ -141,15 +141,14 @@ static Block* alloc_block(uint64_t size, Block** prev) {
// printf("Allocated new block %p\n", rtn); // printf("Allocated new block %p\n", rtn);
// Don't think I need to do this: // Don't think I need to do this:
memset(rtn->isfree, 0, sizeof(Block::isfree)); rtn->isfree.setAllZero();
rtn->next_to_check.reset();
int num_objects = rtn->numObjects(); int num_objects = rtn->numObjects();
int num_lost = rtn->minObjIndex(); int num_lost = rtn->minObjIndex();
int atoms_per_object = rtn->atomsPerObj(); int atoms_per_object = rtn->atomsPerObj();
for (int i = num_lost * atoms_per_object; i < num_objects * atoms_per_object; i += atoms_per_object) { for (int i = num_lost * atoms_per_object; i < num_objects * atoms_per_object; i += atoms_per_object) {
int idx = i / 64; rtn->isfree.set(i);
int bit = i % 64;
rtn->isfree[idx] ^= (1L << bit);
// printf("%d %d\n", idx, bit); // printf("%d %d\n", idx, bit);
} }
...@@ -199,29 +198,9 @@ Heap::ThreadBlockCache::~ThreadBlockCache() { ...@@ -199,29 +198,9 @@ Heap::ThreadBlockCache::~ThreadBlockCache() {
} }
static GCAllocation* allocFromBlock(Block* b) { static GCAllocation* allocFromBlock(Block* b) {
uint64_t mask = 0; int idx = b->isfree.scanForNext(b->next_to_check);
if (idx == -1)
while (true) {
mask = b->isfree[b->next_to_check];
if (likely(mask != 0L)) {
break;
}
b->next_to_check++;
if (b->next_to_check == BITFIELD_ELTS) {
b->next_to_check = 0;
return NULL; return NULL;
}
}
int i = b->next_to_check;
int first = __builtin_ctzll(mask);
assert(first < 64);
assert(b->isfree[i] & (1L << first));
b->isfree[i] ^= (1L << first);
// printf("Marking %d:%d: %p=%lx\n", i, first, &b->isfree[i], b->isfree[i]);
int idx = first + i * 64;
void* rtn = &b->atoms[idx]; void* rtn = &b->atoms[idx];
return reinterpret_cast<GCAllocation*>(rtn); return reinterpret_cast<GCAllocation*>(rtn);
...@@ -292,11 +271,8 @@ void _freeFrom(GCAllocation* alloc, Block* b) { ...@@ -292,11 +271,8 @@ void _freeFrom(GCAllocation* alloc, Block* b) {
assert(offset % size == 0); assert(offset % size == 0);
int atom_idx = offset / ATOM_SIZE; int atom_idx = offset / ATOM_SIZE;
int bitmap_idx = atom_idx / 64; assert(!b->isfree.isSet(atom_idx));
int bitmap_bit = atom_idx % 64; b->isfree.toggle(atom_idx);
uint64_t mask = 1L << bitmap_bit;
assert((b->isfree[bitmap_idx] & mask) == 0);
b->isfree[bitmap_idx] ^= mask;
#ifndef NVALGRIND #ifndef NVALGRIND
// VALGRIND_MEMPOOL_FREE(b, ptr); // VALGRIND_MEMPOOL_FREE(b, ptr);
...@@ -397,10 +373,7 @@ GCAllocation* Heap::getAllocationFromInteriorPointer(void* ptr) { ...@@ -397,10 +373,7 @@ GCAllocation* Heap::getAllocationFromInteriorPointer(void* ptr) {
int atom_idx = obj_idx * (size / ATOM_SIZE); int atom_idx = obj_idx * (size / ATOM_SIZE);
int bitmap_idx = atom_idx / 64; if (b->isfree.isSet(atom_idx))
int bitmap_bit = atom_idx % 64;
uint64_t mask = 1L << bitmap_bit;
if (b->isfree[bitmap_idx] & mask)
return NULL; return NULL;
return reinterpret_cast<GCAllocation*>(&b->atoms[atom_idx]); return reinterpret_cast<GCAllocation*>(&b->atoms[atom_idx]);
...@@ -414,11 +387,8 @@ static Block** freeChain(Block** head) { ...@@ -414,11 +387,8 @@ static Block** freeChain(Block** head) {
for (int obj_idx = first_obj; obj_idx < num_objects; obj_idx++) { for (int obj_idx = first_obj; obj_idx < num_objects; obj_idx++) {
int atom_idx = obj_idx * atoms_per_obj; int atom_idx = obj_idx * atoms_per_obj;
int bitmap_idx = atom_idx / 64;
int bitmap_bit = atom_idx % 64;
uint64_t mask = 1L << bitmap_bit;
if (b->isfree[bitmap_idx] & mask) if (b->isfree.isSet(atom_idx))
continue; continue;
void* p = &b->atoms[atom_idx]; void* p = &b->atoms[atom_idx];
...@@ -430,7 +400,7 @@ static Block** freeChain(Block** head) { ...@@ -430,7 +400,7 @@ static Block** freeChain(Block** head) {
_doFree(al); _doFree(al);
// assert(p != (void*)0x127000d960); // the main module // assert(p != (void*)0x127000d960); // the main module
b->isfree[bitmap_idx] |= mask; b->isfree.set(atom_idx);
} }
} }
...@@ -556,11 +526,8 @@ void getChainStatistics(HeapStatistics* stats, Block** head) { ...@@ -556,11 +526,8 @@ void getChainStatistics(HeapStatistics* stats, Block** head) {
for (int obj_idx = first_obj; obj_idx < num_objects; obj_idx++) { for (int obj_idx = first_obj; obj_idx < num_objects; obj_idx++) {
int atom_idx = obj_idx * atoms_per_obj; int atom_idx = obj_idx * atoms_per_obj;
int bitmap_idx = atom_idx / 64;
int bitmap_bit = atom_idx % 64;
uint64_t mask = 1L << bitmap_bit;
if (b->isfree[bitmap_idx] & mask) if (b->isfree.isSet(atom_idx))
continue; continue;
void* p = &b->atoms[atom_idx]; void* p = &b->atoms[atom_idx];
......
...@@ -60,6 +60,60 @@ inline void clearMark(GCAllocation* header) { ...@@ -60,6 +60,60 @@ inline void clearMark(GCAllocation* header) {
#undef MARK_BIT #undef MARK_BIT
template <int N> class Bitmap {
static_assert(N % 64 == 0, "");
private:
uint64_t data[N / 64];
public:
void setAllZero() { memset(data, 0, sizeof(data)); }
struct Scanner {
private:
int next_to_check;
friend class Bitmap<N>;
public:
void reset() { next_to_check = 0; }
};
bool isSet(int idx) { return (data[idx / 64] >> (idx % 64)) & 1; }
void set(int idx) { data[idx / 64] |= 1UL << (idx % 64); }
void toggle(int idx) { data[idx / 64] ^= 1UL << (idx % 64); }
void clear(int idx) { data[idx / 64] &= ~(1UL << (idx % 64)); }
int scanForNext(Scanner& sc) {
uint64_t mask = 0;
while (true) {
mask = data[sc.next_to_check];
if (likely(mask != 0L)) {
break;
}
sc.next_to_check++;
if (sc.next_to_check == N / 64) {
sc.next_to_check = 0;
return -1;
}
}
int i = sc.next_to_check;
int first = __builtin_ctzll(mask);
assert(first < 64);
assert(data[i] & (1L << first));
data[i] ^= (1L << first);
int idx = first + i * 64;
return idx;
}
};
#define BLOCK_SIZE (4 * 4096) #define BLOCK_SIZE (4 * 4096)
#define ATOM_SIZE 16 #define ATOM_SIZE 16
...@@ -81,8 +135,8 @@ struct Block { ...@@ -81,8 +135,8 @@ struct Block {
struct { struct {
Block* next, **prev; Block* next, **prev;
uint64_t size; uint64_t size;
uint64_t isfree[BITFIELD_ELTS]; Bitmap<ATOMS_PER_BLOCK> isfree;
int next_to_check; Bitmap<ATOMS_PER_BLOCK>::Scanner next_to_check;
void* _header_end[0]; void* _header_end[0];
}; };
Atoms atoms[ATOMS_PER_BLOCK]; Atoms atoms[ATOMS_PER_BLOCK];
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment