PTHREAD_M..._GETROBUST(3P)
β¨ PTHREAD_MUTEXATTR_GETROBUST, PTHREAD_MUTEXATTR_SETROBUST β¨
okay bestie, so this page lives in the POSIX Programmer's Manual, and it's all about the mutex robust attribute β the pthread_mutexattr_getrobust and pthread_mutexattr_setrobust girlies. π
PROLOG, real quick β this manual page is part of the POSIX Programmer's Manual. The Linux implementation of this interface may differ (so go peek at the corresponding Linux manual page for the deets on Linux behavior), or the interface may not be implemented on Linux at all. π
πΈ NAME πΈ
pthread_mutexattr_getrobust, pthread_mutexattr_setrobust β get and set the mutex robust attribute
π SYNOPSIS π
#include <pthread.h>
int pthread_mutexattr_getrobust(const pthread_mutexattr_t *restrict
attr, int *restrict robust);
int pthread_mutexattr_setrobust(pthread_mutexattr_t *attr,
int robust);
π DESCRIPTION π
So like, pthread_mutexattr_getrobust() and pthread_mutexattr_setrobust() respectively get and set the mutex robust attribute. This attribute lives in the robust parameter. Valid values for robust include:
PTHREAD_MUTEX_STALLEDβ No special actions are taken if the owner of the mutex is terminated while holding the mutex lock. Ngl this can lead to deadlocks if no other thread can unlock the mutex. This is the default value, bestie.PTHREAD_MUTEX_ROBUSTβ If the process containing the owning thread of a robust mutex terminates while holding the mutex lock, the next thread that acquires the mutex shall be notified about the termination by the return value[EOWNERDEAD]from the locking function. If the owning thread of a robust mutex terminates while holding the mutex lock, the next thread that attempts to acquire the mutex may be notified about the termination by the return value[EOWNERDEAD]. The notified thread can then attempt to make the state protected by the mutex consistent again, and if successful can mark the mutex state as consistent by callingpthread_mutex_consistent(). After a subsequent successful call topthread_mutex_unlock(), the mutex lock shall be released and can be used normally by other threads. If the mutex is unlocked without a call topthread_mutex_consistent(), it shall be in a permanently unusable state and all attempts to lock the mutex shall fail with the error[ENOTRECOVERABLE]. The only permissible operation on such a mutex ispthread_mutex_destroy(). π
undefined behavior alert!! The behavior is undefined if the value specified by theattrargument topthread_mutexattr_getrobust()orpthread_mutexattr_setrobust()does not refer to an initialized mutex attributes object. Like, don't do that. π«Ά
β RETURN VALUE β
Upon successful completion, the pthread_mutexattr_getrobust() function shall return zero and store the value of the robust attribute of attr into the object referenced by the robust parameter. Otherwise, an error value shall be returned to indicate the error. If successful, the pthread_mutexattr_setrobust() function shall return zero; otherwise, an error number shall be returned to indicate the error. slay.
π ERRORS π
The pthread_mutexattr_setrobust() function shall fail if:
EINVALβ The value ofrobustis invalid.
These functions shall not return an error code of [EINTR]. periodt.
The following sections are informative. π
π¦ EXAMPLES π¦
None. (yes literally none, we move π)
π APPLICATION USAGE π
The actions required to make the state protected by the mutex consistent again are solely dependent on the application. If it is not possible to make the state of a mutex consistent, robust mutexes can be used to notify this situation by calling pthread_mutex_unlock() without a prior call to pthread_mutex_consistent().
If the state is declared inconsistent by calling pthread_mutex_unlock() without a prior call to pthread_mutex_consistent(), a possible approach could be to destroy the mutex and then reinitialize it. However β and this is the important part bestie β it should be noted that this is possible only in certain situations where the state protected by the mutex has to be reinitialized and coordination achieved with other threads blocked on the mutex, because otherwise a call to a locking function with a reference to a mutex object invalidated by a call to pthread_mutex_destroy() results in undefined behavior. π
π§ RATIONALE π§
If an implementation detects that the value specified by the attr argument to pthread_mutexattr_getrobust() or pthread_mutexattr_setrobust() does not refer to an initialized mutex attributes object, it is recommended that the function should fail and report an [EINVAL] error.
π FUTURE DIRECTIONS π
None.
π SEE ALSO π
pthread_mutex_consistent()pthread_mutex_destroy()pthread_mutex_lock()
The Base Definitions volume of POSIX.1β2017, <pthread.h>
π COPYRIGHT π
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 .
okay that's the whole page bestie, mwah π this was IEEE/The Open Group, 2017, from the POSIX Programmer's Manual β and remember, if you ever need this in a terminal, just yell for pthread_mutexattr_getrobust or pthread_mutexattr_setrobust. bye ily π«Άβ¨
π¦ where this page comes from
- alpine 3.22: man-pages-posix 2017a-r0 Β· custom
- alpine 3.23: man-pages-posix 2017a-r0 Β· custom
- alpine 3.24: man-pages-posix 2017a-r0 Β· custom
- arch rolling: man-pages 6.19-1
- arch rolling: man-pages 6.20-1 Β· BSD-2-Clause AND BSD-3-Clause AND BSD-4.3TAHOE AND BSD-4-Clause-UC AND GPL-1.0-or-later AND GPL-2.0-only AND GPL-2.0-or-later AND GPL-3.0-or-later AND LGPL-3.0-linking-exception AND LGPL-3.0-or-later AND LicenseRef-Public-Domain AND LicenseRef-UltraPermissive AND Linux-man-pages-1-para AND Linux-man-pages-copyleft AND Linux-man-pages-copyleft-2-para AND Linux-man-pages-copyleft-var AND MIT AND Spencer-94
- nixpkgs unstable: man-pages-posix 2017a
- opensuse-leap 16.0: man-pages-posix 2017a-160000.4.1 Β· SUSE-IEEE
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms