Module miri::alloc_addresses::reuse_pool
source · Expand description
Manages a pool of addresses that can be reused.
Structs§
- The pool strikes a balance between exploring more possible executions and making it more likely to find bugs. The hypothesis is that bugs are more likely to occur when reuse happens for allocations with the same layout, since that can trigger e.g. ABA issues in a concurrent data structure. Therefore we only reuse allocations when size and alignment match exactly.