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