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

Merge pull request #219 from isakcodes/patch-1

Browse Source 
Data Race definition should be more precise
pull/239/head
Yuki Okushi 4 years ago committed by GitHub
parent d7cb40b29f 45a997aabd
commit 737029d362
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