Address reuse improvements and fixes#3475

Merged

bors merged 3 commits intorust-lang:masterfrom RalfJung:reduce-reuse-recycle

Apr 19, 2024

+321-126

Commits on Apr 18, 2024

when an address gets reused, establish a happens-before link in the data race model
RalfJung
committed
do not reuse stack addresses; make reuse rate configurable
RalfJung
committed
when reusing an address, most of the time only reuse from the current thread
RalfJung
committed