diff options
| author | Ibraheem Ahmed <ibraheem@ibraheem.ca> | 2022-10-05 16:33:04 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-05 16:33:04 -0400 |
| commit | 1bae661dbc0b9fd3397e0df00b176bf13f346cff (patch) | |
| tree | 698913bccb9afa97b99172f00e606163ffa23fee /library/std/src/thread | |
| parent | 9de1d7c10d4732068d43219253fa8ceccd675754 (diff) | |
| download | rust-1bae661dbc0b9fd3397e0df00b176bf13f346cff.tar.gz rust-1bae661dbc0b9fd3397e0df00b176bf13f346cff.zip | |
tidy
Co-authored-by: yvt <i@yvt.jp>
Diffstat (limited to 'library/std/src/thread')
| -rw-r--r-- | library/std/src/thread/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/library/std/src/thread/mod.rs b/library/std/src/thread/mod.rs index 32453b4d4a3..afa4e2fb168 100644 --- a/library/std/src/thread/mod.rs +++ b/library/std/src/thread/mod.rs @@ -880,7 +880,7 @@ pub fn sleep(dur: Duration) { /// * It can be implemented very efficiently on many platforms. /// /// # Memory Orderings -/// +/// /// Calls to `park` _synchronize-with_ calls to `unpark`, meaning that memory /// operations performed before a call to `unpark` are made visible to the thread that /// consumes the token and returns from `park`. Note that all `park` and `unpark` @@ -890,7 +890,7 @@ pub fn sleep(dur: Duration) { /// In atomic ordering terms, `unpark` performs a `Release` operation and `park` /// performs the corresponding `Acquire` operation. Calls to `unpark` for the same /// thread form a [release sequence]. -/// +/// /// Notice that being unblocked does not imply any synchronization with someone that /// unparked this thread, it could also be spurious. For example, it would be a valid, /// but inefficient, implementation to make both park and unpark return immediately |