private void AllocateAndAddTenThousand(MutableIntSet allocated, PageSwapper swapper)
{
for (int i = 0; i < 10_000; i++)
{
AllocateAndAdd(allocated, swapper);
}
}
private void AllocateFreeAndAssertNotReused(PageSwapper swapper, MutableIntSet ids, int i)
{
int id = _set.allocate(swapper);
_set.free(id);
if (!ids.add(id))
{
fail("Expected ids.add( id ) to return true for id " + id + " in iteration " + i + " but it instead returned false");
}
}
private void AllocateAndAdd(MutableIntSet allocated, PageSwapper swapper)
{
int id = _set.allocate(swapper);
allocated.add(id);
}
