Module reuse_pool 

Manages a pool of addresses that can be reused.

Re-exports

use rand::Rng; 🔒

use rand::RngExt; 🔒

use rustc_abi::Align; 🔒

use rustc_abi::Size; 🔒

use crate::concurrency::VClock; 🔒

use crate::helpers::ToUsize as _; 🔒

use crate::MemoryKind; 🔒

use crate::MiriConfig; 🔒

use crate::ThreadId; 🔒

Structs

ReusePool

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.

Constants

MAX_POOL_SIZE 🔒