PTHREAD_COND_TIMEDWAIT(3)  POSIX Programmer's Manual PTHREAD_COND_TIMEDWAIT(3)



PPRROOLLOOGG
       This manual page is part of the POSIX Programmer's Manual.  The OS
       implementation of this interface may differ (consult the corresponding
       OS manual page for details of OS behavior), or the interface may not be
       implemented on OS.

NNAAMMEE
       pthread_cond_timedwait, pthread_cond_wait -- wait on a condition

SSYYNNOOPPSSIISS
       #include <pthread.h>

       int pthread_cond_timedwait(pthread_cond_t *restrict _c_o_n_d,
           pthread_mutex_t *restrict _m_u_t_e_x,
           const struct timespec *restrict _a_b_s_t_i_m_e);
       int pthread_cond_wait(pthread_cond_t *restrict _c_o_n_d,
           pthread_mutex_t *restrict _m_u_t_e_x);

DDEESSCCRRIIPPTTIIOONN
       The _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() and _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t() functions shall
       block on a condition variable. The application shall ensure that these
       functions are called with _m_u_t_e_x locked by the calling thread;
       otherwise, an error (for PTHREAD_MUTEX_ERRORCHECK and robust mutexes)
       or undefined behavior (for other mutexes) results.

       These functions atomically release _m_u_t_e_x and cause the calling thread
       to block on the condition variable _c_o_n_d; atomically here means
       ``atomically with respect to access by another thread to the mutex and
       then the condition variable''. That is, if another thread is able to
       acquire the mutex after the about-to-block thread has released it, then
       a subsequent call to _p_t_h_r_e_a_d___c_o_n_d___b_r_o_a_d_c_a_s_t() or _p_t_h_r_e_a_d___c_o_n_d___s_i_g_n_a_l()
       in that thread shall behave as if it were issued after the about-to-
       block thread has blocked.

       Upon successful return, the mutex shall have been locked and shall be
       owned by the calling thread. If _m_u_t_e_x is a robust mutex where an owner
       terminated while holding the lock and the state is recoverable, the
       mutex shall be acquired even though the function returns an error code.

       When using condition variables there is always a Boolean predicate
       involving shared variables associated with each condition wait that is
       true if the thread should proceed. Spurious wakeups from the
       _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() or _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t() functions may occur.
       Since the return from _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() or _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t()
       does not imply anything about the value of this predicate, the
       predicate should be re-evaluated upon such return.

       When a thread waits on a condition variable, having specified a
       particular mutex to either the _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() or the
       _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t() operation, a dynamic binding is formed between that
       mutex and condition variable that remains in effect as long as at least
       one thread is blocked on the condition variable. During this time, the
       effect of an attempt by any thread to wait on that condition variable
       using a different mutex is undefined. Once all waiting threads have
       been unblocked (as by the _p_t_h_r_e_a_d___c_o_n_d___b_r_o_a_d_c_a_s_t() operation), the next
       wait operation on that condition variable shall form a new dynamic
       binding with the mutex specified by that wait operation. Even though
       the dynamic binding between condition variable and mutex may be removed
       or replaced between the time a thread is unblocked from a wait on the
       condition variable and the time that it returns to the caller or begins
       cancellation cleanup, the unblocked thread shall always re-acquire the
       mutex specified in the condition wait operation call from which it is
       returning.

       A condition wait (whether timed or not) is a cancellation point. When
       the cancelability type of a thread is set to PTHREAD_CANCEL_DEFERRED, a
       side-effect of acting upon a cancellation request while in a condition
       wait is that the mutex is (in effect) re-acquired before calling the
       first cancellation cleanup handler. The effect is as if the thread were
       unblocked, allowed to execute up to the point of returning from the
       call to _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() or _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t(), but at that
       point notices the cancellation request and instead of returning to the
       caller of _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() or _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t(), starts the
       thread cancellation activities, which includes calling cancellation
       cleanup handlers.

       A thread that has been unblocked because it has been canceled while
       blocked in a call to _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() or _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t()
       shall not consume any condition signal that may be directed
       concurrently at the condition variable if there are other threads
       blocked on the condition variable.

       The _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() function shall be equivalent to
       _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t(), except that an error is returned if the absolute
       time specified by _a_b_s_t_i_m_e passes (that is, system time equals or
       exceeds _a_b_s_t_i_m_e) before the condition _c_o_n_d is signaled or broadcasted,
       or if the absolute time specified by _a_b_s_t_i_m_e has already been passed at
       the time of the call. When such timeouts occur,
       _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() shall nonetheless release and re-acquire the
       mutex referenced by _m_u_t_e_x, and may consume a condition signal directed
       concurrently at the condition variable.

       The condition variable shall have a clock attribute which specifies the
       clock that shall be used to measure the time specified by the _a_b_s_t_i_m_e
       argument. The _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() function is also a cancellation
       point.

       If a signal is delivered to a thread waiting for a condition variable,
       upon return from the signal handler the thread resumes waiting for the
       condition variable as if it was not interrupted, or it shall return
       zero due to spurious wakeup.

       The behavior is undefined if the value specified by the _c_o_n_d or _m_u_t_e_x
       argument to these functions does not refer to an initialized condition
       variable or an initialized mutex object, respectively.

RREETTUURRNN VVAALLUUEE
       Except for [[EETTIIMMEEDDOOUUTT]], [[EENNOOTTRREECCOOVVEERRAABBLLEE]], and [[EEOOWWNNEERRDDEEAADD]], all these
       error checks shall act as if they were performed immediately at the
       beginning of processing for the function and shall cause an error
       return, in effect, prior to modifying the state of the mutex specified
       by _m_u_t_e_x or the condition variable specified by _c_o_n_d.

       Upon successful completion, a value of zero shall be returned;
       otherwise, an error number shall be returned to indicate the error.

EERRRROORRSS
       These functions shall fail if:

       EENNOOTTRREECCOOVVEERRAABBLLEE
              The state protected by the mutex is not recoverable.

       EEOOWWNNEERRDDEEAADD
              The mutex is a robust mutex and the process containing the
              previous owning thread terminated while holding the mutex lock.
              The mutex lock shall be acquired by the calling thread and it is
              up to the new owner to make the state consistent.

       EEPPEERRMM  The mutex type is PTHREAD_MUTEX_ERRORCHECK or the mutex is a
              robust mutex, and the current thread does not own the mutex.

       The _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() function shall fail if:

       EETTIIMMEEDDOOUUTT
              The time specified by _a_b_s_t_i_m_e to _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() has
              passed.

       EEIINNVVAALL The _a_b_s_t_i_m_e argument specified a nanosecond value less than zero
              or greater than or equal to 1000 million.

       These functions may fail if:

       EEOOWWNNEERRDDEEAADD
              The mutex is a robust mutex and the previous owning thread
              terminated while holding the mutex lock. The mutex lock shall be
              acquired by the calling thread and it is up to the new owner to
              make the state consistent.

       These functions shall not return an error code of [[EEIINNTTRR]].

       _T_h_e _f_o_l_l_o_w_i_n_g _s_e_c_t_i_o_n_s _a_r_e _i_n_f_o_r_m_a_t_i_v_e_.

EEXXAAMMPPLLEESS
       None.

AAPPPPLLIICCAATTIIOONN UUSSAAGGEE
       Applications that have assumed that non-zero return values are errors
       will need updating for use with robust mutexes, since a valid return
       for a thread acquiring a mutex which is protecting a currently
       inconsistent state is [[EEOOWWNNEERRDDEEAADD]].  Applications that do not check the
       error returns, due to ruling out the possibility of such errors
       arising, should not use robust mutexes. If an application is supposed
       to work with normal and robust mutexes, it should check all return
       values for error conditions and if necessary take appropriate action.

RRAATTIIOONNAALLEE
       If an implementation detects that the value specified by the _c_o_n_d
       argument to _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() or _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t() does not
       refer to an initialized condition variable, or detects that the value
       specified by the _m_u_t_e_x argument to _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() or
       _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t() does not refer to an initialized mutex object, it
       is recommended that the function should fail and report an [[EEIINNVVAALL]]
       error.

   CCoonnddiittiioonn WWaaiitt SSeemmaannttiiccss
       It is important to note that when _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t() and
       _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() return without error, the associated predicate
       may still be false.  Similarly, when _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() returns
       with the timeout error, the associated predicate may be true due to an
       unavoidable race between the expiration of the timeout and the
       predicate state change.

       The application needs to recheck the predicate on any return because it
       cannot be sure there is another thread waiting on the thread to handle
       the signal, and if there is not then the signal is lost. The burden is
       on the application to check the predicate.

       Some implementations, particularly on a multi-processor, may sometimes
       cause multiple threads to wake up when the condition variable is
       signaled simultaneously on different processors.

       In general, whenever a condition wait returns, the thread has to re-
       evaluate the predicate associated with the condition wait to determine
       whether it can safely proceed, should wait again, or should declare a
       timeout. A return from the wait does not imply that the associated
       predicate is either true or false.

       It is thus recommended that a condition wait be enclosed in the
       equivalent of a ``while loop'' that checks the predicate.

   TTiimmeedd WWaaiitt SSeemmaannttiiccss
       An absolute time measure was chosen for specifying the timeout
       parameter for two reasons. First, a relative time measure can be easily
       implemented on top of a function that specifies absolute time, but
       there is a race condition associated with specifying an absolute
       timeout on top of a function that specifies relative timeouts. For
       example, assume that _c_l_o_c_k___g_e_t_t_i_m_e() returns the current time and
       _c_o_n_d___r_e_l_a_t_i_v_e___t_i_m_e_d___w_a_i_t() uses relative timeouts:


           clock_gettime(CLOCK_REALTIME, &now)
           reltime = sleep_til_this_absolute_time -now;
           cond_relative_timed_wait(c, m, &reltime);

       If the thread is preempted between the first statement and the last
       statement, the thread blocks for too long. Blocking, however, is
       irrelevant if an absolute timeout is used. An absolute timeout also
       need not be recomputed if it is used multiple times in a loop, such as
       that enclosing a condition wait.

       For cases when the system clock is advanced discontinuously by an
       operator, it is expected that implementations process any timed wait
       expiring at an intervening time as if that time had actually occurred.

   CCaanncceellllaattiioonn aanndd CCoonnddiittiioonn WWaaiitt
       A condition wait, whether timed or not, is a cancellation point. That
       is, the functions _p_t_h_r_e_a_d___c_o_n_d___w_a_i_t() or _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() are
       points where a pending (or concurrent) cancellation request is noticed.
       The reason for this is that an indefinite wait is possible at these
       points--whatever event is being waited for, even if the program is
       totally correct, might never occur; for example, some input data being
       awaited might never be sent. By making condition wait a cancellation
       point, the thread can be canceled and perform its cancellation cleanup
       handler even though it may be stuck in some indefinite wait.

       A side-effect of acting on a cancellation request while a thread is
       blocked on a condition variable is to re-acquire the mutex before
       calling any of the cancellation cleanup handlers. This is done in order
       to ensure that the cancellation cleanup handler is executed in the same
       state as the critical code that lies both before and after the call to
       the condition wait function. This rule is also required when
       interfacing to POSIX threads from languages, such as Ada or C++, which
       may choose to map cancellation onto a language exception; this rule
       ensures that each exception handler guarding a critical section can
       always safely depend upon the fact that the associated mutex has
       already been locked regardless of exactly where within the critical
       section the exception was raised. Without this rule, there would not be
       a uniform rule that exception handlers could follow regarding the lock,
       and so coding would become very cumbersome.

       Therefore, since _s_o_m_e statement has to be made regarding the state of
       the lock when a cancellation is delivered during a wait, a definition
       has been chosen that makes application coding most convenient and error
       free.

       When acting on a cancellation request while a thread is blocked on a
       condition variable, the implementation is required to ensure that the
       thread does not consume any condition signals directed at that
       condition variable if there are any other threads waiting on that
       condition variable. This rule is specified in order to avoid deadlock
       conditions that could occur if these two independent requests (one
       acting on a thread and the other acting on the condition variable) were
       not processed independently.

   PPeerrffoorrmmaannccee ooff MMuutteexxeess aanndd CCoonnddiittiioonn VVaarriiaabblleess
       Mutexes are expected to be locked only for a few instructions. This
       practice is almost automatically enforced by the desire of programmers
       to avoid long serial regions of execution (which would reduce total
       effective parallelism).

       When using mutexes and condition variables, one tries to ensure that
       the usual case is to lock the mutex, access shared data, and unlock the
       mutex. Waiting on a condition variable should be a relatively rare
       situation. For example, when implementing a read-write lock, code that
       acquires a read-lock typically needs only to increment the count of
       readers (under mutual-exclusion) and return. The calling thread would
       actually wait on the condition variable only when there is already an
       active writer. So the efficiency of a synchronization operation is
       bounded by the cost of mutex lock/unlock and not by condition wait.
       Note that in the usual case there is no context switch.

       This is not to say that the efficiency of condition waiting is
       unimportant. Since there needs to be at least one context switch per
       Ada rendezvous, the efficiency of waiting on a condition variable is
       important. The cost of waiting on a condition variable should be little
       more than the minimal cost for a context switch plus the time to unlock
       and lock the mutex.

   FFeeaattuurreess ooff MMuutteexxeess aanndd CCoonnddiittiioonn VVaarriiaabblleess
       It had been suggested that the mutex acquisition and release be
       decoupled from condition wait. This was rejected because it is the
       combined nature of the operation that, in fact, facilitates realtime
       implementations. Those implementations can atomically move a high-
       priority thread between the condition variable and the mutex in a
       manner that is transparent to the caller. This can prevent extra
       context switches and provide more deterministic acquisition of a mutex
       when the waiting thread is signaled. Thus, fairness and priority issues
       can be dealt with directly by the scheduling discipline.  Furthermore,
       the current condition wait operation matches existing practice.

   SScchheedduulliinngg BBeehhaavviioorr ooff MMuutteexxeess aanndd CCoonnddiittiioonn VVaarriiaabblleess
       Synchronization primitives that attempt to interfere with scheduling
       policy by specifying an ordering rule are considered undesirable.
       Threads waiting on mutexes and condition variables are selected to
       proceed in an order dependent upon the scheduling policy rather than in
       some fixed order (for example, FIFO or priority). Thus, the scheduling
       policy determines which thread(s) are awakened and allowed to proceed.

   TTiimmeedd CCoonnddiittiioonn WWaaiitt
       The _p_t_h_r_e_a_d___c_o_n_d___t_i_m_e_d_w_a_i_t() function allows an application to give up
       waiting for a particular condition after a given amount of time. An
       example of its use follows:


           (void) pthread_mutex_lock(&t.mn);
               t.waiters++;
               clock_gettime(CLOCK_REALTIME, &ts);
               ts.tv_sec += 5;
               rc = 0;
               while (! mypredicate(&t) && rc == 0)
                   rc = pthread_cond_timedwait(&t.cond, &t.mn, &ts);
               t.waiters--;
               if (rc == 0 || mypredicate(&t))
                   setmystate(&t);
           (void) pthread_mutex_unlock(&t.mn);

       By making the timeout parameter absolute, it does not need to be
       recomputed each time the program checks its blocking predicate. If the
       timeout was relative, it would have to be recomputed before each call.
       This would be especially difficult since such code would need to take
       into account the possibility of extra wakeups that result from extra
       broadcasts or signals on the condition variable that occur before
       either the predicate is true or the timeout is due.

FFUUTTUURREE DDIIRREECCTTIIOONNSS
       None.

SSEEEE AALLSSOO
       _p_t_h_r_e_a_d___c_o_n_d___b_r_o_a_d_c_a_s_t()

       The Base Definitions volume of POSIX.1-2017, _S_e_c_t_i_o_n _4_._1_2, _M_e_m_o_r_y
       _S_y_n_c_h_r_o_n_i_z_a_t_i_o_n, <<pptthhrreeaadd..hh>>

CCOOPPYYRRIIGGHHTT
       Portions of this text are reprinted and reproduced in electronic form
       from IEEE Std 1003.1-2017, Standard for Information Technology --
       Portable Operating System Interface (POSIX), The Open Group Base
       Specifications Issue 7, 2018 Edition, Copyright (C) 2018 by the
       Institute of Electrical and Electronics Engineers, Inc and The Open
       Group.  In the event of any discrepancy between this version and the
       original IEEE and The Open Group Standard, the original IEEE and The
       Open Group Standard is the referee document. The original Standard can
       be obtained online at http://www.opengroup.org/unix/online.html .

       Any typographical or formatting errors that appear in this page are
       most likely to have been introduced during the conversion of the source
       files to man page format. To report such errors, see
       https://www.kernel.org/doc/man-pages/reporting_bugs.html .



IEEE/The Open Group                  2017            PTHREAD_COND_TIMEDWAIT(3)
