2020-05-05 18:50:23 -04:00
|
|
|
//! Synchronization types.
|
2016-07-01 13:34:08 -04:00
|
|
|
//!
|
2020-05-05 18:50:23 -04:00
|
|
|
//! Most importantly, a fair mutex is included.
|
2020-06-06 14:49:14 -04:00
|
|
|
|
2016-07-01 13:34:08 -04:00
|
|
|
use parking_lot::{Mutex, MutexGuard};
|
|
|
|
|
2020-05-05 18:50:23 -04:00
|
|
|
/// A fair mutex.
|
2016-07-01 13:34:08 -04:00
|
|
|
///
|
2016-09-23 13:12:11 -04:00
|
|
|
/// Uses an extra lock to ensure that if one thread is waiting that it will get
|
|
|
|
/// the lock before a single thread can re-lock it.
|
|
|
|
pub struct FairMutex<T> {
|
2020-05-05 18:50:23 -04:00
|
|
|
/// Data.
|
2016-07-01 13:34:08 -04:00
|
|
|
data: Mutex<T>,
|
2020-05-05 18:50:23 -04:00
|
|
|
/// Next-to-access.
|
2016-07-01 13:34:08 -04:00
|
|
|
next: Mutex<()>,
|
|
|
|
}
|
|
|
|
|
2016-09-23 13:12:11 -04:00
|
|
|
impl<T> FairMutex<T> {
|
2020-05-05 18:50:23 -04:00
|
|
|
/// Create a new fair mutex.
|
2016-09-23 13:12:11 -04:00
|
|
|
pub fn new(data: T) -> FairMutex<T> {
|
2019-03-30 12:48:36 -04:00
|
|
|
FairMutex { data: Mutex::new(data), next: Mutex::new(()) }
|
2016-07-01 13:34:08 -04:00
|
|
|
}
|
|
|
|
|
2021-07-03 16:31:50 -04:00
|
|
|
/// Acquire a lease to reserve the mutex lock.
|
|
|
|
///
|
|
|
|
/// This will prevent others from acquiring a terminal lock, but block if anyone else is
|
|
|
|
/// already holding a lease.
|
|
|
|
pub fn lease(&self) -> MutexGuard<'_, ()> {
|
|
|
|
self.next.lock()
|
|
|
|
}
|
|
|
|
|
2020-05-05 18:50:23 -04:00
|
|
|
/// Lock the mutex.
|
2018-12-10 12:53:56 -05:00
|
|
|
pub fn lock(&self) -> MutexGuard<'_, T> {
|
2016-07-01 13:34:08 -04:00
|
|
|
// Must bind to a temporary or the lock will be freed before going
|
2020-05-05 18:50:23 -04:00
|
|
|
// into data.lock().
|
2016-07-01 13:34:08 -04:00
|
|
|
let _next = self.next.lock();
|
|
|
|
self.data.lock()
|
|
|
|
}
|
2021-07-03 16:31:50 -04:00
|
|
|
|
|
|
|
/// Unfairly lock the mutex.
|
|
|
|
pub fn lock_unfair(&self) -> MutexGuard<'_, T> {
|
|
|
|
self.data.lock()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Unfairly try to lock the mutex.
|
|
|
|
pub fn try_lock_unfair(&self) -> Option<MutexGuard<'_, T>> {
|
|
|
|
self.data.try_lock()
|
|
|
|
}
|
2016-07-01 13:34:08 -04:00
|
|
|
}
|