<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML> <HEAD> <META HTTP-EQUIV="CONTENT-TYPE" CONTENT="text/html; charset=utf-8"> <TITLE>PTHREAD_COND(3) manual page</TITLE> <META NAME="GENERATOR" CONTENT="OpenOffice.org 1.1.3 (Linux)"> <META NAME="CREATED" CONTENT="20050504;16454400"> <META NAME="CHANGED" CONTENT="20050505;19004700"> <!-- manual page source format generated by PolyglotMan v3.2, --> <!-- available at http://polyglotman.sourceforge.net/ --> </HEAD> <BODY LANG="en-GB" BGCOLOR="#ffffff" DIR="LTR"> <H4>POSIX Threads for Windows – REFERENCE - <A HREF="http://sources.redhat.com/pthreads-win32">Pthreads-w32</A></H4> <P><A HREF="index.html">Reference Index</A></P> <P><A HREF="#toc">Table of Contents</A></P> <H2><A HREF="#toc0" NAME="sect0">Name</A></H2> <P>pthread_cond_init, pthread_cond_destroy, pthread_cond_signal, pthread_cond_broadcast, pthread_cond_wait, pthread_cond_timedwait - operations on conditions </P> <H2><A HREF="#toc1" NAME="sect1">Synopsis</A></H2> <P><B>#include <pthread.h></B> </P> <P><B>pthread_cond_t </B><I>cond</I> <B>= PTHREAD_COND_INITIALIZER;</B> </P> <P><B>int pthread_cond_init(pthread_cond_t *</B><I>cond</I><B>, pthread_condattr_t *</B><I>cond_attr</I><B>);</B> </P> <P><B>int pthread_cond_signal(pthread_cond_t *</B><I>cond</I><B>);</B> </P> <P><B>int pthread_cond_broadcast(pthread_cond_t *</B><I>cond</I><B>);</B> </P> <P><B>int pthread_cond_wait(pthread_cond_t *</B><I>cond</I><B>, pthread_mutex_t *</B><I>mutex</I><B>);</B> </P> <P><B>int pthread_cond_timedwait(pthread_cond_t *</B><I>cond</I><B>, pthread_mutex_t *</B><I>mutex</I><B>, const struct timespec *</B><I>abstime</I><B>);</B> </P> <P><B>int pthread_cond_destroy(pthread_cond_t *</B><I>cond</I><B>);</B> </P> <H2><A HREF="#toc2" NAME="sect2">Description</A></H2> <P>A condition (short for ‘‘condition variable’’) is a synchronization device that allows threads to suspend execution and relinquish the processors until some predicate on shared data is satisfied. The basic operations on conditions are: signal the condition (when the predicate becomes true), and wait for the condition, suspending the thread execution until another thread signals the condition. </P> <P>A condition variable must always be associated with a mutex, to avoid the race condition where a thread prepares to wait on a condition variable and another thread signals the condition just before the first thread actually waits on it. </P> <P><B>pthread_cond_init</B> initializes the condition variable <I>cond</I>, using the condition attributes specified in <I>cond_attr</I>, or default attributes if <I>cond_attr</I> is <B>NULL</B>. </P> <P>Variables of type <B>pthread_cond_t</B> can also be initialized statically, using the constant <B>PTHREAD_COND_INITIALIZER</B>. In the <B>Pthreads-w32</B> implementation, an application should still call <B>pthread_cond_destroy</B> at some point to ensure that any resources consumed by the condition variable are released.</P> <P><B>pthread_cond_signal</B> restarts one of the threads that are waiting on the condition variable <I>cond</I>. If no threads are waiting on <I>cond</I>, nothing happens. If several threads are waiting on <I>cond</I>, exactly one is restarted, but it is not specified which. </P> <P><B>pthread_cond_broadcast</B> restarts all the threads that are waiting on the condition variable <I>cond</I>. Nothing happens if no threads are waiting on <I>cond</I>. </P> <P><B>pthread_cond_wait</B> atomically unlocks the <I>mutex</I> (as per <B>pthread_unlock_mutex</B>) and waits for the condition variable <I>cond</I> to be signalled. The thread execution is suspended and does not consume any CPU time until the condition variable is signalled. The <I>mutex</I> must be locked by the calling thread on entrance to <B>pthread_cond_wait</B>. Before returning to the calling thread, <B>pthread_cond_wait</B> re-acquires <I>mutex</I> (as per <B>pthread_lock_mutex</B>). </P> <P>Unlocking the mutex and suspending on the condition variable is done atomically. Thus, if all threads always acquire the mutex before signalling the condition, this guarantees that the condition cannot be signalled (and thus ignored) between the time a thread locks the mutex and the time it waits on the condition variable. </P> <P><B>pthread_cond_timedwait</B> atomically unlocks <I>mutex</I> and waits on <I>cond</I>, as <B>pthread_cond_wait</B> does, but it also bounds the duration of the wait. If <I>cond</I> has not been signalled within the amount of time specified by <I>abstime</I>, the mutex <I>mutex</I> is re-acquired and <B>pthread_cond_timedwait</B> returns the error <B>ETIMEDOUT</B>. The <I>abstime</I> parameter specifies an absolute time, with the same origin as <A HREF="time.html"><B>time</B>(2)</A> and <A HREF="gettimeofday.html"><B>gettimeofday</B>(2)</A>. </P> <P><B>pthread_cond_destroy</B> destroys a condition variable, freeing the resources it might hold. No threads must be waiting on the condition variable on entrance to <B>pthread_cond_destroy</B>.</P> <H2><A HREF="#toc3" NAME="sect3">Cancellation</A></H2> <P><B>pthread_cond_wait</B> and <B>pthread_cond_timedwait</B> are cancellation points. If a thread is cancelled while suspended in one of these functions, the thread immediately resumes execution, then locks again the <I>mutex</I> argument to <B>pthread_cond_wait</B> and <B>pthread_cond_timedwait</B>, and finally executes the cancellation. Consequently, cleanup handlers are assured that <I>mutex</I> is locked when they are called. </P> <H2><A HREF="#toc4" NAME="sect4">Async-signal Safety</A></H2> <P>The condition functions are not async-signal safe, and should not be called from a signal handler. In particular, calling <B>pthread_cond_signal</B> or <B>pthread_cond_broadcast</B> from a signal handler may deadlock the calling thread. </P> <H2><A HREF="#toc5" NAME="sect5">Return Value</A></H2> <P>All condition variable functions return 0 on success and a non-zero error code on error. </P> <H2><A HREF="#toc6" NAME="sect6">Errors</A></H2> <P><B>pthread_cond_init</B>, <B>pthread_cond_signal</B>, <B>pthread_cond_broadcast</B>, and <B>pthread_cond_wait</B> never return an error code. </P> <P>The <B>pthread_cond_init</B> function returns the following error codes on error: </P> <DL> <DL> <DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"><B>EINVAL</B> </DT><DD STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> The <I>cond</I> argument is invalid. </DD><DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> <B>ENOMEM</B> </DT></DL> </DL> <BLOCKQUOTE STYLE="margin-left: 4cm"> There was not enough memory to allocate the condition variable. </BLOCKQUOTE> <P>The <B>pthread_cond_signal</B> function returns the following error codes on error: </P> <DL> <DL> <DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"><B>EINVAL</B> </DT><DD STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> The <I>cond</I> argument is invalid. </DD></DL> </DL> <P> The <B>pthread_cond_broadcast</B> function returns the following error codes on error: </P> <DL> <DL> <DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"><B>EINVAL</B> </DT><DD STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> The <I>cond</I> argument is invalid. </DD></DL> </DL> <P> The <B>pthread_cond_wait</B> function returns the following error codes on error: </P> <DL> <DL> <DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"><B>EINVAL</B> </DT><DD STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> The <I>cond</I> argument is invalid. </DD><DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> <B>ENOMEM</B> </DT></DL> </DL> <BLOCKQUOTE STYLE="margin-left: 4cm"> There was not enough memory to allocate the statically initialised condition variable. Statically initialised condition variables are dynamically allocated by the first thread to wait on them.</BLOCKQUOTE> <P>The <B>pthread_cond_timedwait</B> function returns the following error codes on error: </P> <DL> <DL> <DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"><B>EINVAL</B> </DT></DL> </DL> <P STYLE="margin-left: 2cm"> The <I>cond</I> argument is invalid. </P> <DL> <DL> <DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"><B>ETIMEDOUT</B> </DT><DD STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> The condition variable was not signalled before the timeout specified by <I>abstime</I> </DD><DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> <B>ENOMEM</B> </DT></DL> </DL> <BLOCKQUOTE STYLE="margin-left: 4cm"> There was not enough memory to allocate the statically initialised condition variable. Statically initialised condition variables are dynamically allocated by the first thread to wait on them. </BLOCKQUOTE> <P>The <B>pthread_cond_destroy</B> function returns the following error code on error: </P> <DL> <DL> <DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"><B>EINVAL</B> </DT></DL> </DL> <P STYLE="margin-left: 2cm; margin-right: 1cm"> The <I>cond</I> argument is invalid. </P> <DL> <DL> <DT STYLE="margin-right: 1cm; margin-bottom: 0.5cm"><B>EBUSY</B> </DT><DD STYLE="margin-right: 1cm; margin-bottom: 0.5cm"> Some threads are currently waiting on <I>cond</I>. </DD></DL> </DL> <H2> <A HREF="#toc7" NAME="sect7">Author</A></H2> <P>Xavier Leroy <Xavier.Leroy@inria.fr> </P> <P>Modified by Ross Johnson for use with <A HREF="http://sources.redhat.com/pthreads-win32">Pthreads-w32</A>.</P> <H2><A HREF="#toc8" NAME="sect8">See Also</A></H2> <P><A HREF="pthread_condattr_init.html"><B>pthread_condattr_init</B>(3)</A> , <A HREF="pthread_mutex_lock.html"><B>pthread_mutex_lock</B>(3)</A> , <A HREF="pthread_mutex_unlock.html"><B>pthread_mutex_unlock</B>(3)</A> , <A HREF="pthread_cancel.html"><B>pthread_cancel(3)</B></A>. </P> <H2><A HREF="#toc9" NAME="sect9">Example</A></H2> <P>Consider two shared variables <I>x</I> and <I>y</I>, protected by the mutex <I>mut</I>, and a condition variable <I>cond</I> that is to be signaled whenever <I>x</I> becomes greater than <I>y</I>. </P> <PRE STYLE="margin-left: 1cm; margin-right: 1cm">int x,y; pthread_mutex_t mut = PTHREAD_MUTEX_INITIALIZER; pthread_cond_t cond = PTHREAD_COND_INITIALIZER;</PRE><BLOCKQUOTE> Waiting until <I>x</I> is greater than <I>y</I> is performed as follows: </BLOCKQUOTE> <PRE STYLE="margin-left: 1.01cm">pthread_mutex_lock(&mut); while (x <= y) { pthread_cond_wait(&cond, &mut); } /* operate on x and y */ pthread_mutex_unlock(&mut);</PRE><BLOCKQUOTE STYLE="margin-left: 3.01cm"> Modifications on <I>x</I> and <I>y</I> that may cause <I>x</I> to become greater than <I>y</I> should signal the condition if needed: </BLOCKQUOTE> <PRE STYLE="margin-left: 1.01cm">pthread_mutex_lock(&mut); /* modify x and y */ if (x > y) pthread_cond_broadcast(&cond); pthread_mutex_unlock(&mut);</PRE><BLOCKQUOTE STYLE="margin-left: 3.01cm"> If it can be proved that at most one waiting thread needs to be waken up (for instance, if there are only two threads communicating through <I>x</I> and <I>y</I>), <B>pthread_cond_signal</B> can be used as a slightly more efficient alternative to <B>pthread_cond_broadcast</B>. If in doubt, use <B>pthread_cond_broadcast</B>. </BLOCKQUOTE> <BLOCKQUOTE STYLE="margin-left: 3.01cm">To wait for <I>x</I> to become greater than <I>y</I> with a timeout of 5 seconds, do: </BLOCKQUOTE> <PRE STYLE="margin-left: 1.01cm">struct timeval now; struct timespec timeout; int retcode; pthread_mutex_lock(&mut); gettimeofday(&now); timeout.tv_sec = now.tv_sec + 5; timeout.tv_nsec = now.tv_usec * 1000; retcode = 0; while (x <= y && retcode != ETIMEDOUT) { retcode = pthread_cond_timedwait(&cond, &mut, &timeout); } if (retcode == ETIMEDOUT) { /* timeout occurred */ } else { /* operate on x and y */ } pthread_mutex_unlock(&mut);</PRE> <HR> <BLOCKQUOTE STYLE="margin-left: 0cm; margin-right: 0cm"><A NAME="toc"></A> <B>Table of Contents</B></BLOCKQUOTE> <UL> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect0" NAME="toc0">Name</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect1" NAME="toc1">Synopsis</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect2" NAME="toc2">Description</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect3" NAME="toc3">Cancellation</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect4" NAME="toc4">Async-signal Safety</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect5" NAME="toc5">Return Value</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect6" NAME="toc6">Errors</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect7" NAME="toc7">Author</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm; margin-bottom: 0cm"><A HREF="#sect8" NAME="toc8">See Also</A> </BLOCKQUOTE> <LI><BLOCKQUOTE STYLE="margin-right: 0cm"><A HREF="#sect9" NAME="toc9">Example</A> </BLOCKQUOTE> </UL> </BODY> </HTML>