|
Packit |
7cfc04 |
'\" et
|
|
Packit |
7cfc04 |
.TH PTHREAD_COND_DESTROY "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_cond_destroy,
|
|
Packit |
7cfc04 |
pthread_cond_init
|
|
Packit |
7cfc04 |
\(em destroy and initialize condition variables
|
|
Packit |
7cfc04 |
.SH SYNOPSIS
|
|
Packit |
7cfc04 |
.LP
|
|
Packit |
7cfc04 |
.nf
|
|
Packit |
7cfc04 |
#include <pthread.h>
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
int pthread_cond_destroy(pthread_cond_t *\fIcond\fP);
|
|
Packit |
7cfc04 |
int pthread_cond_init(pthread_cond_t *restrict \fIcond\fP,
|
|
Packit |
7cfc04 |
const pthread_condattr_t *restrict \fIattr\fP);
|
|
Packit |
7cfc04 |
pthread_cond_t \fIcond\fP = PTHREAD_COND_INITIALIZER;
|
|
Packit |
7cfc04 |
.fi
|
|
Packit |
7cfc04 |
.SH DESCRIPTION
|
|
Packit |
7cfc04 |
The
|
|
Packit |
7cfc04 |
\fIpthread_cond_destroy\fR()
|
|
Packit |
7cfc04 |
function shall destroy the given condition variable specified by
|
|
Packit |
7cfc04 |
.IR cond ;
|
|
Packit |
7cfc04 |
the object becomes, in effect, uninitialized. An implementation may
|
|
Packit |
7cfc04 |
cause
|
|
Packit |
7cfc04 |
\fIpthread_cond_destroy\fR()
|
|
Packit |
7cfc04 |
to set the object referenced by
|
|
Packit |
7cfc04 |
.IR cond
|
|
Packit |
7cfc04 |
to an invalid value. A destroyed condition variable object can be
|
|
Packit |
7cfc04 |
reinitialized using
|
|
Packit |
7cfc04 |
\fIpthread_cond_init\fR();
|
|
Packit |
7cfc04 |
the results of otherwise referencing the object after it has been
|
|
Packit |
7cfc04 |
destroyed are undefined.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
It shall be safe to destroy an initialized condition variable upon which
|
|
Packit |
7cfc04 |
no threads are currently blocked. Attempting to destroy a condition
|
|
Packit |
7cfc04 |
variable upon which other threads are currently blocked results in
|
|
Packit |
7cfc04 |
undefined behavior.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
The
|
|
Packit |
7cfc04 |
\fIpthread_cond_init\fR()
|
|
Packit |
7cfc04 |
function shall initialize the condition variable referenced by
|
|
Packit |
7cfc04 |
.IR cond
|
|
Packit |
7cfc04 |
with attributes referenced by
|
|
Packit |
7cfc04 |
.IR attr .
|
|
Packit |
7cfc04 |
If
|
|
Packit |
7cfc04 |
.IR attr
|
|
Packit |
7cfc04 |
is NULL, the default condition variable attributes shall be used; the
|
|
Packit |
7cfc04 |
effect is the same as passing the address of a default condition
|
|
Packit |
7cfc04 |
variable attributes object. Upon successful initialization, the state
|
|
Packit |
7cfc04 |
of the condition variable shall become initialized.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
Only
|
|
Packit |
7cfc04 |
.IR cond
|
|
Packit |
7cfc04 |
itself may be used for performing synchronization. The result of
|
|
Packit |
7cfc04 |
referring to copies of
|
|
Packit |
7cfc04 |
.IR cond
|
|
Packit |
7cfc04 |
in calls to
|
|
Packit |
7cfc04 |
\fIpthread_cond_wait\fR(),
|
|
Packit |
7cfc04 |
\fIpthread_cond_timedwait\fR(),
|
|
Packit |
7cfc04 |
\fIpthread_cond_signal\fR(),
|
|
Packit |
7cfc04 |
\fIpthread_cond_broadcast\fR(),
|
|
Packit |
7cfc04 |
and
|
|
Packit |
7cfc04 |
\fIpthread_cond_destroy\fR()
|
|
Packit |
7cfc04 |
is undefined.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
Attempting to initialize an already initialized condition variable
|
|
Packit |
7cfc04 |
results in undefined behavior.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
In cases where default condition variable attributes are appropriate,
|
|
Packit |
7cfc04 |
the macro PTHREAD_COND_INITIALIZER can be used to initialize condition
|
|
Packit |
7cfc04 |
variables. The effect shall be equivalent to dynamic initialization by
|
|
Packit |
7cfc04 |
a call to
|
|
Packit |
7cfc04 |
\fIpthread_cond_init\fR()
|
|
Packit |
7cfc04 |
with parameter
|
|
Packit |
7cfc04 |
.IR attr
|
|
Packit |
7cfc04 |
specified as NULL, except that no error checks are performed.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
The behavior is undefined if the value specified by the
|
|
Packit |
7cfc04 |
.IR cond
|
|
Packit |
7cfc04 |
argument to
|
|
Packit |
7cfc04 |
\fIpthread_cond_destroy\fR()
|
|
Packit |
7cfc04 |
does not refer to an initialized condition variable.
|
|
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_cond_init\fR()
|
|
Packit |
7cfc04 |
does not refer to an initialized condition variable attributes object.
|
|
Packit |
7cfc04 |
.SH "RETURN VALUE"
|
|
Packit |
7cfc04 |
If successful, the
|
|
Packit |
7cfc04 |
\fIpthread_cond_destroy\fR()
|
|
Packit |
7cfc04 |
and
|
|
Packit |
7cfc04 |
\fIpthread_cond_init\fR()
|
|
Packit |
7cfc04 |
functions 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_cond_init\fR()
|
|
Packit |
7cfc04 |
function shall fail if:
|
|
Packit |
7cfc04 |
.TP
|
|
Packit |
7cfc04 |
.BR EAGAIN
|
|
Packit |
7cfc04 |
The system lacked the necessary resources (other than memory) to
|
|
Packit |
7cfc04 |
initialize another condition variable.
|
|
Packit |
7cfc04 |
.TP
|
|
Packit |
7cfc04 |
.BR ENOMEM
|
|
Packit |
7cfc04 |
Insufficient memory exists to initialize the condition variable.
|
|
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 |
A condition variable can be destroyed immediately after all the threads
|
|
Packit |
7cfc04 |
that are blocked on it are awakened. For example, consider the
|
|
Packit |
7cfc04 |
following code:
|
|
Packit |
7cfc04 |
.sp
|
|
Packit |
7cfc04 |
.RS 4
|
|
Packit |
7cfc04 |
.nf
|
|
Packit |
7cfc04 |
\fB
|
|
Packit |
7cfc04 |
struct list {
|
|
Packit |
7cfc04 |
pthread_mutex_t lm;
|
|
Packit |
7cfc04 |
...
|
|
Packit |
7cfc04 |
}
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
struct elt {
|
|
Packit |
7cfc04 |
key k;
|
|
Packit |
7cfc04 |
int busy;
|
|
Packit |
7cfc04 |
pthread_cond_t notbusy;
|
|
Packit |
7cfc04 |
...
|
|
Packit |
7cfc04 |
}
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
/* Find a list element and reserve it. */
|
|
Packit |
7cfc04 |
struct elt *
|
|
Packit |
7cfc04 |
list_find(struct list *lp, key k)
|
|
Packit |
7cfc04 |
{
|
|
Packit |
7cfc04 |
struct elt *ep;
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
pthread_mutex_lock(&lp->lm);
|
|
Packit |
7cfc04 |
while ((ep = find_elt(l, k) != NULL) && ep->busy)
|
|
Packit |
7cfc04 |
pthread_cond_wait(&ep->notbusy, &lp->lm);
|
|
Packit |
7cfc04 |
if (ep != NULL)
|
|
Packit |
7cfc04 |
ep->busy = 1;
|
|
Packit |
7cfc04 |
pthread_mutex_unlock(&lp->lm);
|
|
Packit |
7cfc04 |
return(ep);
|
|
Packit |
7cfc04 |
}
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
delete_elt(struct list *lp, struct elt *ep)
|
|
Packit |
7cfc04 |
{
|
|
Packit |
7cfc04 |
pthread_mutex_lock(&lp->lm);
|
|
Packit |
7cfc04 |
assert(ep->busy);
|
|
Packit |
7cfc04 |
... remove ep from list ...
|
|
Packit |
7cfc04 |
ep->busy = 0; /* Paranoid. */
|
|
Packit |
7cfc04 |
(A) pthread_cond_broadcast(&ep->notbusy);
|
|
Packit |
7cfc04 |
pthread_mutex_unlock(&lp->lm);
|
|
Packit |
7cfc04 |
(B) pthread_cond_destroy(&rp->notbusy);
|
|
Packit |
7cfc04 |
free(ep);
|
|
Packit |
7cfc04 |
}
|
|
Packit |
7cfc04 |
.fi \fR
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
.RE
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
In this example, the condition variable and its list element may be
|
|
Packit |
7cfc04 |
freed (line B) immediately after all threads waiting for it are
|
|
Packit |
7cfc04 |
awakened (line A), since the mutex and the code ensure that no other
|
|
Packit |
7cfc04 |
thread can touch the element to be deleted.
|
|
Packit |
7cfc04 |
.SH "APPLICATION USAGE"
|
|
Packit |
7cfc04 |
None.
|
|
Packit |
7cfc04 |
.SH RATIONALE
|
|
Packit |
7cfc04 |
If an implementation detects that the value specified by the
|
|
Packit |
7cfc04 |
.IR cond
|
|
Packit |
7cfc04 |
argument to
|
|
Packit |
7cfc04 |
\fIpthread_cond_destroy\fR()
|
|
Packit |
7cfc04 |
does not refer to an initialized condition variable, it is
|
|
Packit |
7cfc04 |
recommended that the function should fail and report an
|
|
Packit |
7cfc04 |
.BR [EINVAL]
|
|
Packit |
7cfc04 |
error.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
If an implementation detects that the value specified by the
|
|
Packit |
7cfc04 |
.IR cond
|
|
Packit |
7cfc04 |
argument to
|
|
Packit |
7cfc04 |
\fIpthread_cond_destroy\fR()
|
|
Packit |
7cfc04 |
or
|
|
Packit |
7cfc04 |
\fIpthread_cond_init\fR()
|
|
Packit |
7cfc04 |
refers to a condition variable that is in use (for example, in a
|
|
Packit |
7cfc04 |
\fIpthread_cond_wait\fR()
|
|
Packit |
7cfc04 |
call) by another thread, or detects that the value specified by the
|
|
Packit |
7cfc04 |
.IR cond
|
|
Packit |
7cfc04 |
argument to
|
|
Packit |
7cfc04 |
\fIpthread_cond_init\fR()
|
|
Packit |
7cfc04 |
refers to an already initialized condition variable, it is recommended
|
|
Packit |
7cfc04 |
that the function should fail and report an
|
|
Packit |
7cfc04 |
.BR [EBUSY]
|
|
Packit |
7cfc04 |
error.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
If an implementation detects that the value specified by the
|
|
Packit |
7cfc04 |
.IR attr
|
|
Packit |
7cfc04 |
argument to
|
|
Packit |
7cfc04 |
\fIpthread_cond_init\fR()
|
|
Packit |
7cfc04 |
does not refer to an initialized condition variable attributes object,
|
|
Packit |
7cfc04 |
it is recommended that the function should fail and report an
|
|
Packit |
7cfc04 |
.BR [EINVAL]
|
|
Packit |
7cfc04 |
error.
|
|
Packit |
7cfc04 |
.P
|
|
Packit |
7cfc04 |
See also
|
|
Packit |
7cfc04 |
.IR "\fIpthread_mutex_destroy\fR\^(\|)".
|
|
Packit |
7cfc04 |
.SH "FUTURE DIRECTIONS"
|
|
Packit |
7cfc04 |
None.
|
|
Packit |
7cfc04 |
.SH "SEE ALSO"
|
|
Packit |
7cfc04 |
.IR "\fIpthread_cond_broadcast\fR\^(\|)",
|
|
Packit |
7cfc04 |
.IR "\fIpthread_cond_timedwait\fR\^(\|)",
|
|
Packit |
7cfc04 |
.IR "\fIpthread_mutex_destroy\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 .
|