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_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 🔒
• rwlock_get_id 🔒
• rwlock_id_offset 🔒