PTHREAD_MUTEX_KIND_UNCHANGED in miri::shims::unix::sync - Rust
Description: To differentiate “the mutex kind has not been changed” from “the mutex kind has been set to PTHREAD_MUTEX_DEFAULT and that is equal to some other mutex kind”, we make the default value of this field not PTHREAD_MUTEX_DEFAULT but this special flag.

Skip to main content

## PTHREAD_MUTEX_KIND_UNCHANGED

# Constant PTHREAD_MUTEX_KIND_UNCHANGED

Source

    const PTHREAD_MUTEX_KIND_UNCHANGED: i32 = 0x8000000;

Expand description

To differentiate “the mutex kind has not been changed” from “the mutex kind has been set to PTHREAD_MUTEX_DEFAULT and that is equal to some other mutex kind”, we make the default value of this field not PTHREAD_MUTEX_DEFAULT but this special flag.