Closed saethlin closed 1 year ago
Currently I think a lot of the testing with Miri is less concurrent than it needs to be. We could be exercising atomic code paths better if we tell tests that automatically detect parallelism that there are a lot of CPUs.
This might help us find examples of read-read races: https://github.com/rust-lang/miri/issues/3142
Currently I think a lot of the testing with Miri is less concurrent than it needs to be. We could be exercising atomic code paths better if we tell tests that automatically detect parallelism that there are a lot of CPUs.
This might help us find examples of read-read races: https://github.com/rust-lang/miri/issues/3142