File tree Expand file tree Collapse file tree 2 files changed +20
-2
lines changed
branches/try/src/doc/tarpl Expand file tree Collapse file tree 2 files changed +20
-2
lines changed Original file line number Diff line number Diff line change 1
1
---
2
2
refs/heads/master: aca2057ed5fb7af3f8905b2bc01f72fa001c35c8
3
3
refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
4
- refs/heads/try: dbf3a63dd78f547bced8d086067d98ba0b414fd3
4
+ refs/heads/try: d1cf449034095725a19cba0bbc79753f2f460e69
5
5
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
6
6
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
7
7
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
Original file line number Diff line number Diff line change @@ -25,7 +25,7 @@ race condition can't violate memory safety in a Rust program on
25
25
its own. Only in conjunction with some other unsafe code can a race condition
26
26
actually violate memory safety. For instance:
27
27
28
- ``` rust
28
+ ``` rust,norun
29
29
use std::thread;
30
30
use std::sync::atomic::{AtomicUsize, Ordering};
31
31
use std::sync::Arc;
@@ -54,6 +54,24 @@ thread::spawn(move || {
54
54
// program execution (panicing is rarely correct) depends on order of
55
55
// thread execution.
56
56
println!("{}", data[idx.load(Ordering::SeqCst)]);
57
+ ```
58
+
59
+ ``` rust,norun
60
+ use std::thread;
61
+ use std::sync::atomic::{AtomicUsize, Ordering};
62
+ use std::sync::Arc;
63
+
64
+ let data = vec![1, 2, 3, 4];
65
+
66
+ let idx = Arc::new(AtomicUsize::new(0));
67
+ let other_idx = idx.clone();
68
+
69
+ // `move` captures other_idx by-value, moving it into this thread
70
+ thread::spawn(move || {
71
+ // It's ok to mutate idx because this value
72
+ // is an atomic, so it can't cause a Data Race.
73
+ other_idx.fetch_add(10, Ordering::SeqCst);
74
+ });
57
75
58
76
if idx.load(Ordering::SeqCst) < data.len() {
59
77
unsafe {
You can’t perform that action at this time.
0 commit comments