2022-11-14 14:25:44 +01:00
|
|
|
use super::{ReentrantMutex, ReentrantMutexGuard};
|
2020-08-27 13:45:01 +00:00
|
|
|
use crate::cell::RefCell;
|
|
|
|
use crate::sync::Arc;
|
|
|
|
use crate::thread;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn smoke() {
|
2022-09-03 14:05:28 +02:00
|
|
|
let m = ReentrantMutex::new(());
|
2020-08-27 13:45:01 +00:00
|
|
|
{
|
|
|
|
let a = m.lock();
|
|
|
|
{
|
|
|
|
let b = m.lock();
|
|
|
|
{
|
|
|
|
let c = m.lock();
|
|
|
|
assert_eq!(*c, ());
|
|
|
|
}
|
|
|
|
assert_eq!(*b, ());
|
|
|
|
}
|
|
|
|
assert_eq!(*a, ());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn is_mutex() {
|
2022-09-03 14:05:28 +02:00
|
|
|
let m = Arc::new(ReentrantMutex::new(RefCell::new(0)));
|
2020-08-27 13:45:01 +00:00
|
|
|
let m2 = m.clone();
|
2022-09-03 14:05:28 +02:00
|
|
|
let lock = m.lock();
|
2020-08-27 13:45:01 +00:00
|
|
|
let child = thread::spawn(move || {
|
2022-09-03 14:05:28 +02:00
|
|
|
let lock = m2.lock();
|
2020-08-27 13:45:01 +00:00
|
|
|
assert_eq!(*lock.borrow(), 4950);
|
|
|
|
});
|
|
|
|
for i in 0..100 {
|
2022-09-03 14:05:28 +02:00
|
|
|
let lock = m.lock();
|
2020-08-27 13:45:01 +00:00
|
|
|
*lock.borrow_mut() += i;
|
|
|
|
}
|
|
|
|
drop(lock);
|
|
|
|
child.join().unwrap();
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn trylock_works() {
|
2022-09-03 14:05:28 +02:00
|
|
|
let m = Arc::new(ReentrantMutex::new(()));
|
2020-08-27 13:45:01 +00:00
|
|
|
let m2 = m.clone();
|
2022-09-03 14:05:28 +02:00
|
|
|
let _lock = m.try_lock();
|
|
|
|
let _lock2 = m.try_lock();
|
2020-08-27 13:45:01 +00:00
|
|
|
thread::spawn(move || {
|
2022-09-03 14:05:28 +02:00
|
|
|
let lock = m2.try_lock();
|
2020-08-27 13:45:01 +00:00
|
|
|
assert!(lock.is_none());
|
|
|
|
})
|
|
|
|
.join()
|
|
|
|
.unwrap();
|
2022-09-03 14:05:28 +02:00
|
|
|
let _lock3 = m.try_lock();
|
2020-08-27 13:45:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub struct Answer<'a>(pub ReentrantMutexGuard<'a, RefCell<u32>>);
|
|
|
|
impl Drop for Answer<'_> {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
*self.0.borrow_mut() = 42;
|
|
|
|
}
|
|
|
|
}
|