-
-
Notifications
You must be signed in to change notification settings - Fork 14.2k
Closed
Labels
E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Description
See discussion on #32538
https://github.com/rust-lang/rust/blob/master/src/doc/book/concurrency.md#safe-shared-mutable-state provides a program that could have a data race, but doesn't -- each thread accesses an independent array member.
We should use a program that does in fact have a data race; perhaps something that iterates over the same array twice or accesses random keys.
Metadata
Metadata
Assignees
Labels
E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.