Module miri::stacked_borrows::stack

source ·

Structs

Extra per-location state.
StackCache 🔒
A very small cache of searches of a borrow stack, mapping Items to their position in said stack.

Constants

CACHE_LEN 🔒
Exactly what cache size we should use is a difficult tradeoff. There will always be some workload which has a SbTag working set which exceeds the size of the cache, and ends up falling back to linear searches of the borrow stack very often. The cost of making this value too large is that the loop in Stack::insert which ensures the entries in the cache stay correct after an insert becomes expensive.