You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Running env MIRIFLAGS=-Zmiri-disable-isolation cargo miri test -- rwlock::tests::test_ruw_arc finds a bug in the test: the line *lock = -1 is reported as a data race. I do not know enough about MIRI or concurrent programming to know what the issue is, but even though the bug is reported in a test it appears to be entirely in safe code which uses the normal parking_lot API. I think this is worth investigating - with my limited knowledge my best guess would be that the LLVM ordering mode is annotated incorrectly somehow.
The text was updated successfully, but these errors were encountered:
Running
env MIRIFLAGS=-Zmiri-disable-isolation cargo miri test -- rwlock::tests::test_ruw_arc
finds a bug in the test: the line*lock = -1
is reported as a data race. I do not know enough about MIRI or concurrent programming to know what the issue is, but even though the bug is reported in a test it appears to be entirely in safe code which uses the normalparking_lot
API. I think this is worth investigating - with my limited knowledge my best guess would be that the LLVM ordering mode is annotated incorrectly somehow.The text was updated successfully, but these errors were encountered: