chapter  7
16 Mutex Internals
Pages 1

The pointer named tx_mutex_created_ptr points to the first MCB in the list. See the fields in the MCB for mutex attributes, values, and other pointers.

If the priority inheritance feature has been specified (i.e., the MCB field named tx_ mutex_inherit has been set), the priority of the owning thread will be increased to match that of a thread with a higher priority that suspends on this mutex. When the owning thread releases the mutex, then its priority is restored to its original value, regardless of any intermediate priority changes. Consider Figure 7.25, which contains a sequence of operations for the thread named my_thread with priority 25, which successfully obtains the mutex named my_mutex, which has the priority inheritance feature enabled.