]> git.lizzy.rs Git - rust.git/commit
Destroy store buffers on non-racy non-atomic accesses
authorAndy Wang <cbeuw.andy@gmail.com>
Tue, 24 May 2022 21:03:04 +0000 (22:03 +0100)
committerAndy Wang <cbeuw.andy@gmail.com>
Mon, 6 Jun 2022 18:15:58 +0000 (19:15 +0100)
commit226ed41cca4cf83cd6afc18f0d3ce4ef2cdc8691
tree1d08e8f8cd48c13eb3e3a81df7119a8c6412a82d
parent2321b15342b05445ab7d7ac07a28382b454e0206
Destroy store buffers on non-racy non-atomic accesses
src/concurrency/allocation_map.rs
src/concurrency/data_race.rs
src/concurrency/weak_memory.rs
src/machine.rs