PTHREAD_M...IOCEILING(3P)

PTHREAD_M...IOCEILING(3P) πŸ’…βœ¨

okay so bestie, this one lives in the POSIX Programmer's Manual, and the name is pthread_mutex_setprioceiling β€” she changes the priority ceiling of a mutex. REALTIME THREADS energy only, no cap. πŸ‘‘


🌸 PROLOG 🌸

so like, real talk first:

  • This manual page is part of the POSIX Programmer's Manual.
  • The Linux implementation of this interface may differ β€” so consult the corresponding Linux manual page for details of Linux behavior.
  • Orrr the interface may not be implemented on Linux at all. πŸ™ˆ
it's giving "check before you ship", fr fr.

✨ NAME ✨

pthread_mutex_setprioceiling β€” change the priority ceiling of a mutex (REALTIME THREADS)


πŸŽ€ SYNOPSIS πŸŽ€

#include <pthread.h>

int pthread_mutex_setprioceiling(pthread_mutex_t *restrict mutex,
    int prioceiling, int *restrict old_ceiling);

πŸ¦‹ DESCRIPTION πŸ¦‹

the whole vibe here? πŸ‘‰ Refer to pthread_mutex_getprioceiling().

that's it, that's the description. she's brief and she's iconic. πŸ’…


bestie this part is the legal lore, so I'm keeping every single word of the facts, just serving them cute:

  • 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 .

🌈 the typo disclaimer 🌈

not me being the messenger for the glitches 😭 but yeah, report them there.

and that's the whole page, bestie πŸ’– this one came from IEEE/The Open Group, dated 2017, and she signs off as PTHREAD_M...IOCEILING(3P) β€” periodt. πŸ«ΆπŸŽ€

πŸ“¦ where this page comes from