PTHREAD_M...ETPROTOCOL(3P)

πŸ’– PTHREAD_MUTEXATTR_GETPROTOCOL, PTHREAD_MUTEXATTR_SETPROTOCOL πŸ’–

okay so bestie, this one lives in the POSIX Programmer's Manual β€” section 3P β€” and the vibe is "realtime threads, but make it priority drama." 🧡✨

🫧 PROLOG 🫧

So like, this manual page is part of the POSIX Programmer's Manual. The Linux implementation of this interface may differ (fr, go check the corresponding Linux manual page for the tea on Linux behavior), or honestly the interface may not even be implemented on Linux at all. πŸ™ˆ


✨ NAME ✨

pthread_mutexattr_getprotocol, pthread_mutexattr_setprotocol β€” get and set the protocol attribute of the mutex attributes object (REALTIME THREADS). πŸ’…


🌸 SYNOPSIS 🌸

#include <pthread.h>

int pthread_mutexattr_getprotocol(const pthread_mutexattr_t
    *restrict attr, int *restrict protocol);
int pthread_mutexattr_setprotocol(pthread_mutexattr_t *attr,
    int protocol);

πŸŽ€ DESCRIPTION πŸŽ€

So pthread_mutexattr_getprotocol() and pthread_mutexattr_setprotocol() are literally the getter and the setter for the protocol attribute of a mutex attributes object β€” the one pointed to by attr, which you already made earlier with pthread_mutexattr_init(). No cap.

The protocol attribute defines which protocol gets followed when utilizing mutexes. The value of protocol can be one of:

  • PTHREAD_PRIO_INHERIT
  • PTHREAD_PRIO_NONE
  • PTHREAD_PRIO_PROTECT

and all three 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. Like, minding its own business, iconic behavior. πŸ’…

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. Priority inheritance, slay.

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. Same energy, different mutex flavor. ✨

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. Like, the ceiling applies whether or not anyone's even waiting. πŸ‘‘

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. Yes bestie, both paragraphs, both flavors, we're covering it. πŸ¦‹

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. Like, no queue demotion for you, periodt. 🚫

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. Pick the max, it's giving main character energy.

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. Recursive priority glow-up, we love to see it. 🌈

⚠️ Heads up bestie: 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. Not initialized? It's giving chaos. πŸ’€

πŸ’œ RETURN VALUE πŸ’œ

Upon successful completion, the pthread_mutexattr_getprotocol() and pthread_mutexattr_setprotocol() functions shall return zero; otherwise, an error number shall be returned to indicate the error. Zero = the win, anything else = the L. πŸŽ€


πŸ”₯ ERRORS πŸ”₯

The pthread_mutexattr_setprotocol() function shall fail if:

  • ENOTSUP β€” The value specified by protocol is an unsupported value. Nope, not supported, moving on. πŸ™…

The pthread_mutexattr_getprotocol() and pthread_mutexattr_setprotocol() functions may fail if:

  • EINVAL β€” The value specified by protocol is invalid. That's just not a real value, bestie.
  • EPERM β€” The caller does not have the privilege to perform the operation. You don't have the permission slip for this one. 🚫

These functions shall not return an error code of [EINTR]. Not today, not ever. ✨

The following sections are informative.


πŸ“ EXAMPLES πŸ“

None. Literally nothing, not a single example. Moving on. πŸ’…


🧚 APPLICATION USAGE 🧚

None. Also nothing. We're just here for the vibes. 🌸


⭐ RATIONALE ⭐

If an implementation detects that the value specified by the attr argument to pthread_mutexattr_getprotocol() or pthread_mutexattr_setprotocol() does not refer to an initialized mutex attributes object, it is recommended that the function should fail and report an [EINVAL] error. Recommended, bestie β€” like, pls do this. 🫢


🌟 FUTURE DIRECTIONS 🌟

None. The future is... nothing changing. 😌


πŸ‘‘ SEE ALSO πŸ‘‘

  • pthread_cond_destroy()
  • pthread_create()
  • pthread_mutex_destroy()

The Base Definitions volume of POSIX.1‐2017, <pthread.h>. Go read the header, iykyk. πŸ’–


Portions of this text are reprinted and reproduced in electronic form from IEEE Std 1003.1-2017, Standard for Information Technology -- Portable Operating System Interface (POSIX), The Open Group Base Specifications Issue 7, 2018 Edition, Copyright (C) 2018 by the Institute of Electrical and Electronics Engineers, Inc and The Open Group. In the event of any discrepancy between this version and the original IEEE and The Open Group Standard, the original IEEE and The Open Group Standard is the referee document. The original Standard can be obtained online at http://www.opengroup.org/unix/online.html .

Any typographical or formatting errors that appear in this page are most likely to have been introduced during the conversion of the source files to man page format. To report such errors, see https://www.kernel.org/doc/man-pages/reporting_bugs.html .


and that's the whole page, bestie πŸ’…βœ¨ β€” brought to you by IEEE/The Open Group, dated 2017, filed under PTHREAD_M...ETPROTOCOL(3P). bye now, go inherit some priorities responsibly πŸ«ΆπŸ’–

πŸ“¦ where this page comes from