rust
/
nomicon
mirror of https://github.com/rust-lang/nomicon
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Data Race definition should be more precise

Browse Source 
"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](https://en.wikipedia.org/wiki/Race_condition#Example_definitions_of_data_races_in_particular_concurrency_models)
pull/219/head
Isak 5 years ago committed by GitHub
parent c94172314b
commit 45a997aabd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File

4
src/races.md
Unescape View File

@ -3,8 +3,8 @@
Safe Rust guarantees an absence of data races, which are defined as: Safe Rust guarantees an absence of data races, which are defined as:
* two or more threads concurrently accessing a location of memory * two or more threads concurrently accessing a location of memory
* one of them is a write * one or more of them is a write
* one of them is unsynchronized * one or more of them is unsynchronized
A data race has Undefined Behavior, and is therefore impossible to perform A data race has Undefined Behavior, and is therefore impossible to perform
in Safe Rust. Data races are *mostly* prevented through Rust's ownership system: in Safe Rust. Data races are *mostly* prevented through Rust's ownership system:

Write Preview
Loading…
Cancel
Save