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.

Traits

• EvalContextExt

Functions

• cond_get_clock_id 🔒
• cond_get_id 🔒
• cond_reset_id 🔒
• cond_set_clock_id 🔒
• condattr_get_clock_id 🔒
• condattr_set_clock_id 🔒
• is_mutex_kind_default 🔒
• is_mutex_kind_normal 🔒
• mutex_get_id 🔒
• mutex_get_kind 🔒
• mutex_reset_id 🔒
• mutex_set_kind 🔒
• mutexattr_get_kind 🔒
• mutexattr_set_kind 🔒
• post_cond_signal 🔒
  After a thread waiting on a condvar was signalled: 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 🔒