2 * Copyright (c) 2005 David Xu <davidxu@freebsd.org>
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice unmodified, this list of conditions, and the following
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
16 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
17 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
18 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
19 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
20 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
21 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
22 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
23 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
24 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
35 #include "thr_private.h"
40 static int cond_init(pthread_cond_t *cond, const pthread_condattr_t *attr);
41 static int cond_wait_common(pthread_cond_t *cond, pthread_mutex_t *mutex,
42 const struct timespec *abstime, int cancel);
43 static int cond_signal_common(pthread_cond_t *cond, int broadcast);
46 * Double underscore versions are cancellation points. Single underscore
47 * versions are not and are provided for libc internal usage (which
48 * shouldn't introduce cancellation points).
50 __weak_reference(__pthread_cond_wait, pthread_cond_wait);
51 __weak_reference(__pthread_cond_timedwait, pthread_cond_timedwait);
53 __weak_reference(_pthread_cond_init, pthread_cond_init);
54 __weak_reference(_pthread_cond_destroy, pthread_cond_destroy);
55 __weak_reference(_pthread_cond_signal, pthread_cond_signal);
56 __weak_reference(_pthread_cond_broadcast, pthread_cond_broadcast);
59 cond_init(pthread_cond_t *cond, const pthread_condattr_t *cond_attr)
64 if ((pcond = (pthread_cond_t)
65 malloc(sizeof(struct pthread_cond))) == NULL) {
69 * Initialise the condition variable structure:
71 _thr_umtx_init(&pcond->c_lock);
75 if (cond_attr == NULL || *cond_attr == NULL) {
77 pcond->c_clockid = CLOCK_REALTIME;
79 pcond->c_pshared = (*cond_attr)->c_pshared;
80 pcond->c_clockid = (*cond_attr)->c_clockid;
84 /* Return the completion status: */
89 init_static(struct pthread *thread, pthread_cond_t *cond)
93 THR_LOCK_ACQUIRE(thread, &_cond_static_lock);
96 ret = cond_init(cond, NULL);
100 THR_LOCK_RELEASE(thread, &_cond_static_lock);
106 _pthread_cond_init(pthread_cond_t *cond, const pthread_condattr_t *cond_attr)
110 return (cond_init(cond, cond_attr));
114 _pthread_cond_destroy(pthread_cond_t *cond)
116 struct pthread_cond *cv;
117 struct pthread *curthread = _get_curthread();
123 /* Lock the condition variable structure: */
124 THR_LOCK_ACQUIRE(curthread, &(*cond)->c_lock);
125 if ((*cond)->c_waiters + (*cond)->c_wakeups != 0) {
126 THR_LOCK_RELEASE(curthread, &(*cond)->c_lock);
131 * NULL the caller's pointer now that the condition
132 * variable has been destroyed:
137 /* Unlock the condition variable structure: */
138 THR_LOCK_RELEASE(curthread, &cv->c_lock);
140 /* Free the cond lock structure: */
143 * Free the memory allocated for the condition
144 * variable structure:
149 /* Return the completion status: */
153 struct cond_cancel_info
155 pthread_mutex_t *mutex;
156 pthread_cond_t *cond;
161 cond_cancel_handler(void *arg)
163 struct pthread *curthread = _get_curthread();
164 struct cond_cancel_info *cci = (struct cond_cancel_info *)arg;
168 THR_LOCK_ACQUIRE(curthread, &cv->c_lock);
169 if (cv->c_seqno != cci->seqno && cv->c_wakeups != 0) {
170 if (cv->c_waiters > 0) {
172 _thr_umtx_wake(&cv->c_seqno, 1);
178 THR_LOCK_RELEASE(curthread, &cv->c_lock);
180 _mutex_cv_lock(cci->mutex);
184 cond_wait_common(pthread_cond_t *cond, pthread_mutex_t *mutex,
185 const struct timespec *abstime, int cancel)
187 struct pthread *curthread = _get_curthread();
188 struct timespec ts, ts2, *tsp;
189 struct cond_cancel_info cci;
196 * If the condition variable is statically initialized,
197 * perform the dynamic initialization:
199 if (__predict_false(*cond == NULL &&
200 (ret = init_static(curthread, cond)) != 0))
204 THR_LOCK_ACQUIRE(curthread, &cv->c_lock);
205 ret = _mutex_cv_unlock(mutex);
207 THR_LOCK_RELEASE(curthread, &cv->c_lock);
210 oldseq = seq = cv->c_seqno;
217 THR_LOCK_RELEASE(curthread, &cv->c_lock);
219 if (abstime != NULL) {
220 clock_gettime(cv->c_clockid, &ts);
221 TIMESPEC_SUB(&ts2, abstime, &ts);
227 THR_CLEANUP_PUSH(curthread, cond_cancel_handler, &cci);
228 oldcancel = _thr_cancel_enter(curthread);
229 ret = _thr_umtx_wait(&cv->c_seqno, seq, tsp);
230 _thr_cancel_leave(curthread, oldcancel);
231 THR_CLEANUP_POP(curthread, 0);
233 ret = _thr_umtx_wait(&cv->c_seqno, seq, tsp);
236 THR_LOCK_ACQUIRE(curthread, &cv->c_lock);
238 if (abstime != NULL && ret == ETIMEDOUT)
242 * loop if we have never been told to wake up
245 } while (seq == oldseq || cv->c_wakeups == 0);
247 if (seq != oldseq && cv->c_wakeups != 0) {
253 THR_LOCK_RELEASE(curthread, &cv->c_lock);
254 _mutex_cv_lock(mutex);
259 _pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex)
262 return (cond_wait_common(cond, mutex, NULL, 0));
266 __pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex)
269 return (cond_wait_common(cond, mutex, NULL, 1));
273 _pthread_cond_timedwait(pthread_cond_t * cond, pthread_mutex_t * mutex,
274 const struct timespec * abstime)
277 if (abstime == NULL || abstime->tv_sec < 0 || abstime->tv_nsec < 0 ||
278 abstime->tv_nsec >= 1000000000)
281 return (cond_wait_common(cond, mutex, abstime, 0));
285 __pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex,
286 const struct timespec *abstime)
289 if (abstime == NULL || abstime->tv_sec < 0 || abstime->tv_nsec < 0 ||
290 abstime->tv_nsec >= 1000000000)
293 return (cond_wait_common(cond, mutex, abstime, 1));
297 cond_signal_common(pthread_cond_t *cond, int broadcast)
299 struct pthread *curthread = _get_curthread();
301 int ret = 0, oldwaiters;
304 * If the condition variable is statically initialized, perform dynamic
307 if (__predict_false(*cond == NULL &&
308 (ret = init_static(curthread, cond)) != 0))
312 /* Lock the condition variable structure. */
313 THR_LOCK_ACQUIRE(curthread, &cv->c_lock);
319 _thr_umtx_wake(&cv->c_seqno, 1);
321 oldwaiters = cv->c_waiters;
322 cv->c_wakeups += cv->c_waiters;
325 _thr_umtx_wake(&cv->c_seqno, oldwaiters);
328 THR_LOCK_RELEASE(curthread, &cv->c_lock);
333 _pthread_cond_signal(pthread_cond_t * cond)
336 return (cond_signal_common(cond, 0));
340 _pthread_cond_broadcast(pthread_cond_t * cond)
343 return (cond_signal_common(cond, 1));