Add an extra option to the heap to allow for deterministic reallocation of memory.
To detect certain ABA issues, we require memory to be reallocated quickly. In Asan this is not the case, as it delays reallocation to improve the chances of catching use-after-free bugs.
This takes advantage of the refactoring in #51 to enable an alternative heap implementation that is integrated with systematic testing to allow objects to be reused.
This will address #50.
[Note initially contains the changes for #51, but will be removed once that lands on main.]
Add an extra option to the heap to allow for deterministic reallocation of memory.
To detect certain ABA issues, we require memory to be reallocated quickly. In Asan this is not the case, as it delays reallocation to improve the chances of catching use-after-free bugs.
This takes advantage of the refactoring in #51 to enable an alternative heap implementation that is integrated with systematic testing to allow objects to be reused.
This will address #50.
[Note initially contains the changes for #51, but will be removed once that lands on main.]