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

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 .