diff options
| author | Ibraheem Ahmed <ibraheem@ibraheem.ca> | 2023-04-11 13:20:41 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-11 13:20:41 -0400 |
| commit | e9868ef8df9817802a0aaf0695e83c1e45783842 (patch) | |
| tree | 6c7fe5ede90c4cd475130b293b9f5b7503968d45 /library/std/src/thread | |
| parent | 6e8a0136f1d5d9e7e2f7d6bf1f599975f8c0c4c2 (diff) | |
| download | rust-e9868ef8df9817802a0aaf0695e83c1e45783842.tar.gz rust-e9868ef8df9817802a0aaf0695e83c1e45783842.zip | |
clarify wording around spurious wakeups from `thread::park`
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 07662e90c52..0f8b9c76688 100644 --- a/library/std/src/thread/mod.rs +++ b/library/std/src/thread/mod.rs @@ -891,8 +891,8 @@ pub fn sleep(dur: Duration) { /// performs the corresponding `Acquire` operation. Calls to `unpark` for the same /// thread form a [release sequence]. /// -/// Note that being unblocked does not imply synchronization with a call to `unpark`, -/// the wakeup could also be spurious. For example, a valid, but inefficient, +/// Note that being unblocked does not imply a call was made to `unpark`, because +/// wakeups can also be spurious. For example, a valid, but inefficient, /// implementation could have `park` and `unpark` return immediately without doing anything. /// /// # Examples |