Data Race definition should be more precise

rust-lang / nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

https://doc.rust-lang.org/nomicon/

Apache License 2.0

1.85k stars 268 forks source link

Data Race definition should be more precise #219

Closed isakcodes closed 4 years ago

isakcodes commented 4 years ago

"one of them is a write" did not seem right to me. Doesn't generalise to the case with two concurrent threads writing to shared memory. Related Wikipedia article