Blame man-pages-posix-2013-a/man3p/pthread_mutexattr_getrobust.3p

Packit 7cfc04
'\" et
Packit 7cfc04
.TH PTHREAD_MUTEXATTR_GETROBUST "3P" 2013 "IEEE/The Open Group" "POSIX Programmer's Manual"
Packit 7cfc04
.SH PROLOG
Packit 7cfc04
This manual page is part of the POSIX Programmer's Manual.
Packit 7cfc04
The Linux implementation of this interface may differ (consult
Packit 7cfc04
the corresponding Linux manual page for details of Linux behavior),
Packit 7cfc04
or the interface may not be implemented on Linux.
Packit 7cfc04
Packit 7cfc04
.SH NAME
Packit 7cfc04
pthread_mutexattr_getrobust,
Packit 7cfc04
pthread_mutexattr_setrobust
Packit 7cfc04
\(em get and set the mutex robust attribute
Packit 7cfc04
.SH SYNOPSIS
Packit 7cfc04
.LP
Packit 7cfc04
.nf
Packit 7cfc04
#include <pthread.h>
Packit 7cfc04
.P
Packit 7cfc04
int pthread_mutexattr_getrobust(const pthread_mutexattr_t *restrict
Packit 7cfc04
    \fIattr\fP, int *restrict \fIrobust\fP);
Packit 7cfc04
int pthread_mutexattr_setrobust(pthread_mutexattr_t *\fIattr\fP,
Packit 7cfc04
    int \fIrobust\fP);
Packit 7cfc04
.fi
Packit 7cfc04
.SH DESCRIPTION
Packit 7cfc04
The
Packit 7cfc04
\fIpthread_mutexattr_getrobust\fR()
Packit 7cfc04
and
Packit 7cfc04
\fIpthread_mutexattr_setrobust\fR()
Packit 7cfc04
functions, respectively, shall get and set the mutex
Packit 7cfc04
.IR robust
Packit 7cfc04
attribute. This attribute is set in the
Packit 7cfc04
.IR robust
Packit 7cfc04
parameter. Valid values for
Packit 7cfc04
.IR robust
Packit 7cfc04
include:
Packit 7cfc04
.IP PTHREAD_MUTEX_STALLED 6
Packit 7cfc04
.br
Packit 7cfc04
No special actions are taken if the owner of the mutex is terminated
Packit 7cfc04
while holding the mutex lock. This can lead to deadlocks if no other
Packit 7cfc04
thread can unlock the mutex.
Packit 7cfc04
.br
Packit 7cfc04
This is the default value.
Packit 7cfc04
.IP PTHREAD_MUTEX_ROBUST 6
Packit 7cfc04
.br
Packit 7cfc04
If the process containing the owning thread of a robust mutex
Packit 7cfc04
terminates while holding the mutex lock, the next thread that acquires
Packit 7cfc04
the mutex shall be notified about the termination by the return value
Packit 7cfc04
.BR [EOWNERDEAD] 
Packit 7cfc04
from the locking function. If the owning thread of a robust mutex
Packit 7cfc04
terminates while holding the mutex lock, the next thread that acquires
Packit 7cfc04
the mutex may be notified about the termination by the return value
Packit 7cfc04
.BR [EOWNERDEAD] .
Packit 7cfc04
The notified thread can then attempt to mark the state protected by the
Packit 7cfc04
mutex as consistent again by a call to
Packit 7cfc04
\fIpthread_mutex_consistent\fR().
Packit 7cfc04
After a subsequent successful call to
Packit 7cfc04
\fIpthread_mutex_unlock\fR(),
Packit 7cfc04
the mutex lock shall be released and can be used normally by other
Packit 7cfc04
threads. If the mutex is unlocked without a call to
Packit 7cfc04
\fIpthread_mutex_consistent\fR(),
Packit 7cfc04
it shall be in a permanently unusable state and all attempts to lock
Packit 7cfc04
the mutex shall fail with the error
Packit 7cfc04
.BR [ENOTRECOVERABLE] .
Packit 7cfc04
The only permissible operation on such a mutex is
Packit 7cfc04
\fIpthread_mutex_destroy\fR().
Packit 7cfc04
.P
Packit 7cfc04
The behavior is undefined if the value specified by the
Packit 7cfc04
.IR attr
Packit 7cfc04
argument to
Packit 7cfc04
\fIpthread_mutexattr_getrobust\fR()
Packit 7cfc04
or
Packit 7cfc04
\fIpthread_mutexattr_setrobust\fR()
Packit 7cfc04
does not refer to an initialized mutex attributes object.
Packit 7cfc04
.SH "RETURN VALUE"
Packit 7cfc04
Upon successful completion, the
Packit 7cfc04
\fIpthread_mutexattr_getrobust\fR()
Packit 7cfc04
function shall return zero and store the value of the
Packit 7cfc04
.IR robust
Packit 7cfc04
attribute of
Packit 7cfc04
.IR attr
Packit 7cfc04
into the object referenced by the
Packit 7cfc04
.IR robust
Packit 7cfc04
parameter. Otherwise, an error value shall be returned to indicate the
Packit 7cfc04
error. If successful, the
Packit 7cfc04
\fIpthread_mutexattr_setrobust\fR()
Packit 7cfc04
function shall return zero; otherwise, an error number shall be
Packit 7cfc04
returned to indicate the error.
Packit 7cfc04
.SH ERRORS
Packit 7cfc04
The
Packit 7cfc04
\fIpthread_mutexattr_setrobust\fR()
Packit 7cfc04
function shall fail if:
Packit 7cfc04
.TP
Packit 7cfc04
.BR EINVAL
Packit 7cfc04
The value of
Packit 7cfc04
.IR robust
Packit 7cfc04
is invalid.
Packit 7cfc04
.P
Packit 7cfc04
These functions shall not return an error code of
Packit 7cfc04
.BR [EINTR] .
Packit 7cfc04
.LP
Packit 7cfc04
.IR "The following sections are informative."
Packit 7cfc04
.SH EXAMPLES
Packit 7cfc04
None.
Packit 7cfc04
.SH "APPLICATION USAGE"
Packit 7cfc04
The actions required to make the state protected by the mutex
Packit 7cfc04
consistent again are solely dependent on the application. If it is not
Packit 7cfc04
possible to make the state of a mutex consistent, robust mutexes can be
Packit 7cfc04
used to notify this situation by calling
Packit 7cfc04
\fIpthread_mutex_unlock\fR()
Packit 7cfc04
without a prior call to
Packit 7cfc04
\fIpthread_mutex_consistent\fR().
Packit 7cfc04
.P
Packit 7cfc04
If the state is declared inconsistent by calling
Packit 7cfc04
\fIpthread_mutex_unlock\fR()
Packit 7cfc04
without a prior call to
Packit 7cfc04
\fIpthread_mutex_consistent\fR(),
Packit 7cfc04
a possible approach could be to destroy the mutex and then reinitialize
Packit 7cfc04
it. However, it should be noted that this is possible only in certain
Packit 7cfc04
situations where the state protected by the mutex has to be
Packit 7cfc04
reinitialized and coordination achieved with other threads blocked on
Packit 7cfc04
the mutex, because otherwise a call to a locking function with a
Packit 7cfc04
reference to a mutex object invalidated by a call to
Packit 7cfc04
\fIpthread_mutex_destroy\fR()
Packit 7cfc04
results in undefined behavior.
Packit 7cfc04
.SH RATIONALE
Packit 7cfc04
If an implementation detects that the value specified by the
Packit 7cfc04
.IR attr
Packit 7cfc04
argument to
Packit 7cfc04
\fIpthread_mutexattr_getrobust\fR()
Packit 7cfc04
or
Packit 7cfc04
\fIpthread_mutexattr_setrobust\fR()
Packit 7cfc04
does not refer to an initialized mutex attributes object, it is
Packit 7cfc04
recommended that the function should fail and report an
Packit 7cfc04
.BR [EINVAL] 
Packit 7cfc04
error.
Packit 7cfc04
.SH "FUTURE DIRECTIONS"
Packit 7cfc04
None.
Packit 7cfc04
.SH "SEE ALSO"
Packit 7cfc04
.IR "\fIpthread_mutex_consistent\fR\^(\|)",
Packit 7cfc04
.IR "\fIpthread_mutex_destroy\fR\^(\|)",
Packit 7cfc04
.IR "\fIpthread_mutex_lock\fR\^(\|)"
Packit 7cfc04
.P
Packit 7cfc04
The Base Definitions volume of POSIX.1\(hy2008,
Packit 7cfc04
.IR "\fB<pthread.h>\fP"
Packit 7cfc04
.SH COPYRIGHT
Packit 7cfc04
Portions of this text are reprinted and reproduced in electronic form
Packit 7cfc04
from IEEE Std 1003.1, 2013 Edition, Standard for Information Technology
Packit 7cfc04
-- Portable Operating System Interface (POSIX), The Open Group Base
Packit 7cfc04
Specifications Issue 7, Copyright (C) 2013 by the Institute of
Packit 7cfc04
Electrical and Electronics Engineers, Inc and The Open Group.
Packit 7cfc04
(This is POSIX.1-2008 with the 2013 Technical Corrigendum 1 applied.) In the
Packit 7cfc04
event of any discrepancy between this version and the original IEEE and
Packit 7cfc04
The Open Group Standard, the original IEEE and The Open Group Standard
Packit 7cfc04
is the referee document. The original Standard can be obtained online at
Packit 7cfc04
http://www.unix.org/online.html .
Packit 7cfc04
Packit 7cfc04
Any typographical or formatting errors that appear
Packit 7cfc04
in this page are most likely
Packit 7cfc04
to have been introduced during the conversion of the source files to
Packit 7cfc04
man page format. To report such errors, see
Packit 7cfc04
https://www.kernel.org/doc/man-pages/reporting_bugs.html .