void (BTSet)(BT t, Index i) { AVERT(BT, t); /* Can't check i */ /* see macro in <code/mpm.h> */ BTSet(t, i); }
void PageAlloc(Chunk chunk, Index pi, Pool pool) { Tract tract; Addr base; Page page; AVERT_CRITICAL(Chunk, chunk); AVER_CRITICAL(pi >= chunk->allocBase); AVER_CRITICAL(pi < chunk->pages); AVER_CRITICAL(!BTGet(chunk->allocTable, pi)); AVERT_CRITICAL(Pool, pool); page = ChunkPage(chunk, pi); tract = PageTract(page); base = PageIndexBase(chunk, pi); BTSet(chunk->allocTable, pi); TractInit(tract, pool, base); }
void BTCopyOffsetRange(BT fromBT, BT toBT, Index fromBase, Index fromLimit, Index toBase, Index toLimit) { Index fromBit, toBit; AVERT(BT, fromBT); AVERT(BT, toBT); AVER(fromBT != toBT); AVER(fromBase < fromLimit); AVER(toBase < toLimit); AVER((fromLimit - fromBase) == (toLimit - toBase)); for (fromBit = fromBase, toBit = toBase; fromBit < fromLimit; ++fromBit, ++toBit) { if (BTGet(fromBT, fromBit)) BTSet(toBT, toBit); else BTRes(toBT, toBit); } }
static void test(mps_arena_t arena) { BT bt; Nailboard board; Align align; Count nails; Addr base, limit; Index i, j, k; align = (Align)1 << (rnd() % 10); nails = (Count)1 << (rnd() % 16); nails += rnd() % nails; base = AddrAlignUp(0, align); limit = AddrAdd(base, nails * align); die(BTCreate(&bt, arena, nails), "BTCreate"); BTResRange(bt, 0, nails); die(NailboardCreate(&board, arena, align, base, limit), "NailboardCreate"); for (i = 0; i <= nails / 8; ++i) { Bool old; j = rnd() % nails; old = BTGet(bt, j); BTSet(bt, j); cdie(NailboardSet(board, AddrAdd(base, j * align)) == old, "NailboardSet"); for (k = 0; k < nails / 8; ++k) { Index b, l; b = rnd() % nails; l = b + rnd() % (nails - b) + 1; cdie(BTIsResRange(bt, b, l) == NailboardIsResRange(board, AddrAdd(base, b * align), AddrAdd(base, l * align)), "NailboardIsResRange"); } } die(NailboardDescribe(board, mps_lib_get_stdout(), 0), "NailboardDescribe"); }