1use zx::sys;
6
7unsafe extern "C" {
8 fn sync_mutex_lock(lock: *const sys::zx_futex_t);
9 fn sync_mutex_trylock(lock: *const sys::zx_futex_t) -> sys::zx_status_t;
10 fn sync_mutex_unlock(lock: *const sys::zx_futex_t);
11}
12
13const SYNC_MUTEX_INIT: i32 = 0;
15
16#[repr(transparent)]
17pub struct RawSyncMutex(sys::zx_futex_t);
18
19impl RawSyncMutex {
20 #[inline]
21 fn as_futex_ptr(&self) -> *const sys::zx_futex_t {
22 std::ptr::addr_of!(self.0)
23 }
24}
25
26unsafe impl lock_api::RawMutex for RawSyncMutex {
30 const INIT: RawSyncMutex = RawSyncMutex(sys::zx_futex_t::new(SYNC_MUTEX_INIT));
31
32 type GuardMarker = lock_api::GuardNoSend;
37
38 #[inline]
39 fn lock(&self) {
40 unsafe {
43 sync_mutex_lock(self.as_futex_ptr());
44 }
45 }
46
47 #[inline]
48 fn try_lock(&self) -> bool {
49 unsafe { sync_mutex_trylock(self.as_futex_ptr()) == sys::ZX_OK }
52 }
53
54 #[inline]
55 unsafe fn unlock(&self) {
56 unsafe { sync_mutex_unlock(self.as_futex_ptr()) }
57 }
58}
59
60#[cfg(test)]
61mod test {
62 use super::*;
63 use crate::Mutex;
64
65 #[test]
66 fn test_lock_and_unlock() {
67 let value = Mutex::<u32>::new(5);
68 let mut guard = value.lock();
69 assert_eq!(*guard, 5);
70 *guard = 6;
71 assert_eq!(*guard, 6);
72 std::mem::drop(guard);
73 }
74
75 #[test]
76 fn test_try_lock() {
77 let value = lock_api::Mutex::<RawSyncMutex, u32>::new(5);
80 let _guard = value.lock();
81 assert!(value.try_lock().is_none());
82 }
83
84 #[test]
85 #[cfg(detect_lock_cycles)]
86 #[should_panic(expected = "Found cycle in mutex dependency graph")]
87 fn test_mutex_reentrancy() {
88 let value = Mutex::<u32>::new(5);
89 let _guard = value.lock();
90 let _guard2 = value.lock();
91 }
92}