@@ -5,8 +5,8 @@ multiply alias a location in memory while mutating it. Unless these types use
5
5
synchronization to manage this access, they are absolutely not thread safe. Rust
6
6
captures this with through the ` Send ` and ` Sync ` traits.
7
7
8
- * A type is Send if it is safe to send it to another thread. A type is Sync if
9
- * it is safe to share between threads (` &T ` is Send).
8
+ * A type is Send if it is safe to send it to another thread.
9
+ * A type is Sync if it is safe to share between threads (` &T ` is Send).
10
10
11
11
Send and Sync are fundamental to Rust's concurrency story. As such, a
12
12
substantial amount of special tooling exists to make them work right. First and
@@ -24,9 +24,9 @@ pretty much all types you'll ever interact with are Send and Sync.
24
24
25
25
Major exceptions include:
26
26
27
- * raw pointers are neither Send nor Sync (because they have no safety guards)
28
- * ` UnsafeCell ` isn't Sync (and therefore ` Cell ` and ` RefCell ` aren't) ` Rc ` isn't
29
- * Send or Sync (because the refcount is shared and unsynchronized)
27
+ * raw pointers are neither Send nor Sync (because they have no safety guards).
28
+ * ` UnsafeCell ` isn't Sync (and therefore ` Cell ` and ` RefCell ` aren't).
29
+ * ` Rc ` isn't Send or Sync (because the refcount is shared and unsynchronized).
30
30
31
31
` Rc ` and ` UnsafeCell ` are very fundamentally not thread-safe: they enable
32
32
unsynchronized shared mutable state. However raw pointers are, strictly
@@ -70,7 +70,7 @@ possible cause trouble by being incorrectly Send or Sync.
70
70
Most uses of raw pointers should be encapsulated behind a sufficient abstraction
71
71
that Send and Sync can be derived. For instance all of Rust's standard
72
72
collections are Send and Sync (when they contain Send and Sync types) in spite
73
- of their pervasive use raw pointers to manage allocations and complex ownership.
73
+ of their pervasive use of raw pointers to manage allocations and complex ownership.
74
74
Similarly, most iterators into these collections are Send and Sync because they
75
75
largely behave like an ` & ` or ` &mut ` into the collection.
76
76
0 commit comments