Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

MIRI reports data race #294

Closed
eira-fransham opened this issue Aug 24, 2021 · 0 comments
Closed

MIRI reports data race #294

eira-fransham opened this issue Aug 24, 2021 · 0 comments

Comments

@eira-fransham
Copy link

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant