diff options
| author | Botahamec <botahamec@outlook.com> | 2025-02-28 16:09:11 -0500 |
|---|---|---|
| committer | Botahamec <botahamec@outlook.com> | 2025-02-28 16:09:11 -0500 |
| commit | 4ba03be97e6cc7e790bbc9bfc18caaa228c8a262 (patch) | |
| tree | a257184577a93ddf240aba698755c2886188788b /tests/evil_unlock_mutex.rs | |
| parent | 4a5ec04a29cba07c5960792528bd66b0f99ee3ee (diff) | |
Scoped lock API
Diffstat (limited to 'tests/evil_unlock_mutex.rs')
| -rw-r--r-- | tests/evil_unlock_mutex.rs | 99 |
1 files changed, 99 insertions, 0 deletions
diff --git a/tests/evil_unlock_mutex.rs b/tests/evil_unlock_mutex.rs new file mode 100644 index 0000000..ee12abc --- /dev/null +++ b/tests/evil_unlock_mutex.rs @@ -0,0 +1,99 @@ +use std::sync::Arc; + +use happylock::collection::{BoxedLockCollection, RetryingLockCollection}; +use happylock::mutex::Mutex; +use happylock::ThreadKey; +use lock_api::{GuardNoSend, RawMutex}; + +struct KindaEvilMutex { + inner: parking_lot::RawMutex, +} + +struct EvilMutex {} + +unsafe impl RawMutex for KindaEvilMutex { + #[allow(clippy::declare_interior_mutable_const)] + const INIT: Self = Self { + inner: parking_lot::RawMutex::INIT, + }; + + type GuardMarker = GuardNoSend; + + fn lock(&self) { + self.inner.lock() + } + + fn try_lock(&self) -> bool { + self.inner.try_lock() + } + + unsafe fn unlock(&self) { + panic!("mwahahahaha"); + } +} + +unsafe impl RawMutex for EvilMutex { + #[allow(clippy::declare_interior_mutable_const)] + const INIT: Self = Self {}; + + type GuardMarker = GuardNoSend; + + fn lock(&self) { + panic!("mwahahahaha"); + } + + fn try_lock(&self) -> bool { + panic!("mwahahahaha") + } + + unsafe fn unlock(&self) { + panic!("mwahahahaha"); + } +} + +#[test] +fn boxed_mutexes() { + let mut key = ThreadKey::get().unwrap(); + let kinda_evil_mutex: Arc<Mutex<i32, KindaEvilMutex>> = Arc::new(Mutex::new(5)); + let evil_mutex: Arc<Mutex<i32, EvilMutex>> = Arc::new(Mutex::new(7)); + let useless_mutex: Arc<Mutex<i32, parking_lot::RawMutex>> = Arc::new(Mutex::new(10)); + let c_good = Arc::clone(&kinda_evil_mutex); + let c_evil = Arc::clone(&evil_mutex); + let c_useless = Arc::clone(&useless_mutex); + + let r = std::thread::spawn(move || { + let key = ThreadKey::get().unwrap(); + let collection = BoxedLockCollection::try_new((&*c_good, &*c_evil, &*c_useless)).unwrap(); + _ = collection.lock(key); + }) + .join(); + + assert!(r.is_err()); + assert!(kinda_evil_mutex.scoped_try_lock(&mut key, |_| {}).is_err()); + assert!(evil_mutex.scoped_try_lock(&mut key, |_| {}).is_err()); + assert!(useless_mutex.scoped_try_lock(&mut key, |_| {}).is_ok()); +} + +#[test] +fn retrying_mutexes() { + let mut key = ThreadKey::get().unwrap(); + let kinda_evil_mutex: Arc<Mutex<i32, KindaEvilMutex>> = Arc::new(Mutex::new(5)); + let evil_mutex: Arc<Mutex<i32, EvilMutex>> = Arc::new(Mutex::new(7)); + let useless_mutex: Arc<Mutex<i32, parking_lot::RawMutex>> = Arc::new(Mutex::new(10)); + let c_good = Arc::clone(&kinda_evil_mutex); + let c_evil = Arc::clone(&evil_mutex); + let c_useless = Arc::clone(&useless_mutex); + + let r = std::thread::spawn(move || { + let key = ThreadKey::get().unwrap(); + let collection = + RetryingLockCollection::try_new((&*c_good, &*c_evil, &*c_useless)).unwrap(); + collection.lock(key); + }) + .join(); + + assert!(r.is_err()); + assert!(kinda_evil_mutex.scoped_try_lock(&mut key, |_| {}).is_err()); + assert!(evil_mutex.scoped_try_lock(&mut key, |_| {}).is_err()); + assert!(useless_mutex.scoped_try_lock(&mut key, |_| {}).is_ok()); +} |
