The pthread_mutexattr_getprotocol() and pthread_mutexattr_setprotocol() functions, respectively, shall
get and set the protocol attribute of a mutex attributes object pointed to by attr which was previously
created by the function pthread_mutexattr_init().
The protocol attribute defines the protocol to be followed in utilizing mutexes. The value of protocol
may be one of:
PTHREAD_PRIO_INHERIT
PTHREAD_PRIO_NONE
PTHREAD_PRIO_PROTECT
which are defined in the <pthread.h> header. The default value of the attribute shall be
PTHREAD_PRIO_NONE.
When a thread owns a mutex with the PTHREAD_PRIO_NONE protocol attribute, its priority and scheduling
shall not be affected by its mutex ownership.
When a thread is blocking higher priority threads because of owning one or more robust mutexes with the
PTHREAD_PRIO_INHERIT protocol attribute, it shall execute at the higher of its priority or the priority
of the highest priority thread waiting on any of the robust mutexes owned by this thread and initialized
with this protocol.
When a thread is blocking higher priority threads because of owning one or more non-robust mutexes with
the PTHREAD_PRIO_INHERIT protocol attribute, it shall execute at the higher of its priority or the
priority of the highest priority thread waiting on any of the non-robust mutexes owned by this thread and
initialized with this protocol.
When a thread owns one or more robust mutexes initialized with the PTHREAD_PRIO_PROTECT protocol, it
shall execute at the higher of its priority or the highest of the priority ceilings of all the robust
mutexes owned by this thread and initialized with this attribute, regardless of whether other threads are
blocked on any of these robust mutexes or not.
When a thread owns one or more non-robust mutexes initialized with the PTHREAD_PRIO_PROTECT protocol, it
shall execute at the higher of its priority or the highest of the priority ceilings of all the non-robust
mutexes owned by this thread and initialized with this attribute, regardless of whether other threads are
blocked on any of these non-robust mutexes or not.
While a thread is holding a mutex which has been initialized with the PTHREAD_PRIO_INHERIT or
PTHREAD_PRIO_PROTECT protocol attributes, it shall not be subject to being moved to the tail of the
scheduling queue at its priority in the event that its original priority is changed, such as by a call to
sched_setparam(). Likewise, when a thread unlocks a mutex that has been initialized with the
PTHREAD_PRIO_INHERIT or PTHREAD_PRIO_PROTECT protocol attributes, it shall not be subject to being moved
to the tail of the scheduling queue at its priority in the event that its original priority is changed.
If a thread simultaneously owns several mutexes initialized with different protocols, it shall execute at
the highest of the priorities that it would have obtained by each of these protocols.
When a thread makes a call to pthread_mutex_lock(), the mutex was initialized with the protocol attribute
having the value PTHREAD_PRIO_INHERIT, when the calling thread is blocked because the mutex is owned by
another thread, that owner thread shall inherit the priority level of the calling thread as long as it
continues to own the mutex. The implementation shall update its execution priority to the maximum of its
assigned priority and all its inherited priorities. Furthermore, if this owner thread itself becomes
blocked on another mutex with the protocol attribute having the value PTHREAD_PRIO_INHERIT, the same
priority inheritance effect shall be propagated to this other owner thread, in a recursive manner.
The behavior is undefined if the value specified by the attr argument to pthread_mutexattr_getprotocol()
or pthread_mutexattr_setprotocol() does not refer to an initialized mutex attributes object.