-
-
Notifications
You must be signed in to change notification settings - Fork 2.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
sync: fix Notify to clone the waker before locking its waiter list
Since a waker can trigger arbitrary code, such as with a custom waker, and even more so now that it can emit a tracing event that could do respond, we must be careful about the internal state when that code is triggered. The clone method of a waker is one of those instances. This changes the internals of `Notify` so that the waker is cloned *before* locking the waiter list. While this does mean that in some contended cases, we'll have made an optimistic clone, it makes `Notify` more robust and correct. Note that the included test case is built from an instance that did happen naturally in another project, see tokio-rs/console#133.
- Loading branch information
1 parent
d0dd74a
commit a97d55b
Showing
3 changed files
with
52 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,6 @@ | ||
cfg_not_loom! { | ||
mod atomic_waker; | ||
mod notify; | ||
mod semaphore_batch; | ||
} | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,46 @@ | ||
use std::future::Future; | ||
use std::mem::ManuallyDrop; | ||
use std::sync::Arc; | ||
use std::task::{Context, RawWaker, RawWakerVTable, Waker}; | ||
use crate::sync::Notify; | ||
|
||
#[test] | ||
fn notify_clones_waker_before_lock() { | ||
const VTABLE: &RawWakerVTable = &RawWakerVTable::new(clone_w, wake, wake_by_ref, drop_w); | ||
|
||
unsafe fn clone_w(data: *const ()) -> RawWaker { | ||
let arc = ManuallyDrop::new(Arc::<Notify>::from_raw(data as *const Notify)); | ||
// Or some other arbitrary code that shouldn't be executed while the | ||
// Notify wait list is locked. | ||
arc.notify_one(); | ||
let _arc_clone: ManuallyDrop<_> = arc.clone(); | ||
RawWaker::new(data, VTABLE) | ||
} | ||
|
||
unsafe fn drop_w(data: *const ()) { | ||
let _ = Arc::<Notify>::from_raw(data as *const Notify); | ||
} | ||
|
||
unsafe fn wake(_data: *const ()) { | ||
unreachable!() | ||
} | ||
|
||
unsafe fn wake_by_ref(_data: *const ()) { | ||
unreachable!() | ||
} | ||
|
||
let notify = Arc::new(Notify::new()); | ||
let notify2 = notify.clone(); | ||
|
||
let waker = unsafe { | ||
Waker::from_raw(RawWaker::new(Arc::into_raw(notify2) as *const _, VTABLE)) | ||
}; | ||
let mut cx = Context::from_waker(&waker); | ||
|
||
let future = notify.notified(); | ||
pin!(future); | ||
|
||
// The result doesn't matter, we're just testing that we don't deadlock. | ||
let _ = future.poll(&mut cx); | ||
} | ||
|