summaryrefslogtreecommitdiffstats
path: root/tokio/src/sync/mutex.rs
diff options
context:
space:
mode:
authorMichael P. Jung <michael.jung@terreon.de>2019-12-06 23:30:02 +0100
committerCarl Lerche <me@carllerche.com>2019-12-06 14:30:02 -0800
commitc632337e6f94013d9d39495f1d442351e6fbf6b6 (patch)
tree2932b55c11eae0b1c7bf70e0e03495ca91b99237 /tokio/src/sync/mutex.rs
parenta53f94ab61184be1fcd128da0f15a43ad30259e4 (diff)
sync: fix Mutex when lock future dropped before complete (#1902)
The bug caused the mutex to reach a state where it is locked and cannot be unlocked. Fixes #1898
Diffstat (limited to 'tokio/src/sync/mutex.rs')
-rw-r--r--tokio/src/sync/mutex.rs19
1 files changed, 7 insertions, 12 deletions
diff --git a/tokio/src/sync/mutex.rs b/tokio/src/sync/mutex.rs
index b06f22b4..474f5368 100644
--- a/tokio/src/sync/mutex.rs
+++ b/tokio/src/sync/mutex.rs
@@ -86,29 +86,24 @@ impl<T> Mutex<T> {
/// A future that resolves on acquiring the lock and returns the `MutexGuard`.
pub async fn lock(&self) -> MutexGuard<'_, T> {
- let mut permit = semaphore::Permit::new();
- poll_fn(|cx| permit.poll_acquire(cx, &self.s))
+ let mut guard = MutexGuard {
+ lock: self,
+ permit: semaphore::Permit::new(),
+ };
+ poll_fn(|cx| guard.permit.poll_acquire(cx, &self.s))
.await
.unwrap_or_else(|_| {
// The semaphore was closed. but, we never explicitly close it, and we have a
// handle to it through the Arc, which means that this can never happen.
unreachable!()
});
-
- MutexGuard { lock: self, permit }
+ guard
}
}
impl<'a, T> Drop for MutexGuard<'a, T> {
fn drop(&mut self) {
- if self.permit.is_acquired() {
- self.permit.release(&self.lock.s);
- } else if ::std::thread::panicking() {
- // A guard _should_ always hold its permit, but if the thread is already panicking,
- // we don't want to generate a panic-while-panicing, since that's just unhelpful!
- } else {
- unreachable!("Permit not held when MutexGuard was dropped")
- }
+ self.permit.release(&self.lock.s);
}
}