Module miri::shims::unix::sync

Constants§

PTHREAD_MUTEX_NORMAL_FLAG 🔒
A flag that allows to distinguish PTHREAD_MUTEX_NORMAL from PTHREAD_MUTEX_DEFAULT. Since in glibc they have the same numeric values, but different behaviour, we need a way to distinguish them. We do this by setting this bit flag to the PTHREAD_MUTEX_NORMAL mutexes. See the comment in pthread_mutexattr_settype function.

cond_clock_offset 🔒
cond_get_clock_id 🔒
cond_get_id 🔒
cond_id_offset 🔒
cond_reset_id 🔒
cond_set_clock_id 🔒
condattr_clock_offset 🔒
condattr_get_clock_id 🔒
condattr_set_clock_id 🔒
is_cond_clock_realtime 🔒
Determines whether this clock represents the real-time clock, CLOCK_REALTIME.
is_mutex_kind_default 🔒
is_mutex_kind_normal 🔒
mutex_get_id 🔒
mutex_get_kind 🔒
mutex_id_offset 🔒
mutex_kind_offset 🔒
mutex_reset_id 🔒
mutex_set_kind 🔒
mutexattr_get_kind 🔒
mutexattr_kind_offset 🔒
mutexattr_set_kind 🔒
post_cond_signal 🔒
After a thread waiting on a condvar was signaled: Reacquire the conditional variable and remove the timeout callback if any was registered.
reacquire_cond_mutex 🔒
Try to reacquire the mutex associated with the condition variable after we were signaled.
release_cond_mutex_and_block 🔒
Release the mutex associated with the condition variable because we are entering the waiting state.
rwlock_get_id 🔒
rwlock_id_offset 🔒