Home | History | Annotate | Line # | Download | only in libpthread
pthread_cond.c revision 1.14.2.1
      1 /*	$NetBSD: pthread_cond.c,v 1.14.2.1 2004/05/06 05:34:18 jmc Exp $	*/
      2 
      3 /*-
      4  * Copyright (c) 2001 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * This code is derived from software contributed to The NetBSD Foundation
      8  * by Nathan J. Williams.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  * 3. All advertising materials mentioning features or use of this software
     19  *    must display the following acknowledgement:
     20  *        This product includes software developed by the NetBSD
     21  *        Foundation, Inc. and its contributors.
     22  * 4. Neither the name of The NetBSD Foundation nor the names of its
     23  *    contributors may be used to endorse or promote products derived
     24  *    from this software without specific prior written permission.
     25  *
     26  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     27  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     28  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     29  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     30  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     31  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     32  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     33  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     34  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     35  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     36  * POSSIBILITY OF SUCH DAMAGE.
     37  */
     38 
     39 #include <sys/cdefs.h>
     40 __RCSID("$NetBSD: pthread_cond.c,v 1.14.2.1 2004/05/06 05:34:18 jmc Exp $");
     41 
     42 #include <errno.h>
     43 #include <sys/time.h>
     44 #include <sys/types.h>
     45 
     46 #include "pthread.h"
     47 #include "pthread_int.h"
     48 
     49 #ifdef PTHREAD_COND_DEBUG
     50 #define SDPRINTF(x) DPRINTF(x)
     51 #else
     52 #define SDPRINTF(x)
     53 #endif
     54 
     55 int	_sys_select(int, fd_set *, fd_set *, fd_set *, struct timeval *);
     56 
     57 extern int pthread__started;
     58 
     59 static void pthread_cond_wait__callback(void *);
     60 static int pthread_cond_wait_nothread(pthread_t, pthread_mutex_t *,
     61     const struct timespec *);
     62 
     63 __strong_alias(__libc_cond_init,pthread_cond_init)
     64 __strong_alias(__libc_cond_signal,pthread_cond_signal)
     65 __strong_alias(__libc_cond_broadcast,pthread_cond_broadcast)
     66 __strong_alias(__libc_cond_wait,pthread_cond_wait)
     67 __strong_alias(__libc_cond_timedwait,pthread_cond_timedwait)
     68 __strong_alias(__libc_cond_destroy,pthread_cond_destroy)
     69 
     70 int
     71 pthread_cond_init(pthread_cond_t *cond, const pthread_condattr_t *attr)
     72 {
     73 
     74 	pthread__error(EINVAL, "Invalid condition variable attribute",
     75 	    (attr == NULL) || (attr->ptca_magic == _PT_CONDATTR_MAGIC));
     76 
     77 	cond->ptc_magic = _PT_COND_MAGIC;
     78 	pthread_lockinit(&cond->ptc_lock);
     79 	PTQ_INIT(&cond->ptc_waiters);
     80 	cond->ptc_mutex = NULL;
     81 
     82 	return 0;
     83 }
     84 
     85 
     86 int
     87 pthread_cond_destroy(pthread_cond_t *cond)
     88 {
     89 
     90 	pthread__error(EINVAL, "Invalid condition variable",
     91 	    cond->ptc_magic == _PT_COND_MAGIC);
     92 	pthread__error(EBUSY, "Destroying condition variable in use",
     93 	    cond->ptc_mutex == NULL);
     94 
     95 	cond->ptc_magic = _PT_COND_DEAD;
     96 
     97 	return 0;
     98 }
     99 
    100 
    101 int
    102 pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex)
    103 {
    104 	pthread_t self;
    105 
    106 	pthread__error(EINVAL, "Invalid condition variable",
    107 	    cond->ptc_magic == _PT_COND_MAGIC);
    108 	pthread__error(EINVAL, "Invalid mutex",
    109 	    mutex->ptm_magic == _PT_MUTEX_MAGIC);
    110 	pthread__error(EPERM, "Mutex not locked in condition wait",
    111 	    mutex->ptm_lock == __SIMPLELOCK_LOCKED);
    112 
    113 	self = pthread__self();
    114 	PTHREADD_ADD(PTHREADD_COND_WAIT);
    115 
    116 	/* Just hang out for a while if threads aren't running yet. */
    117 	if (__predict_false(pthread__started == 0))
    118 		return pthread_cond_wait_nothread(self, mutex, NULL);
    119 
    120 	pthread_spinlock(self, &cond->ptc_lock);
    121 	SDPRINTF(("(cond wait %p) Waiting on %p, mutex %p\n",
    122 	    self, cond, mutex));
    123 	pthread_spinlock(self, &self->pt_statelock);
    124 	if (__predict_false(self->pt_cancel)) {
    125 		pthread_spinunlock(self, &self->pt_statelock);
    126 		pthread_spinunlock(self, &cond->ptc_lock);
    127 		pthread_exit(PTHREAD_CANCELED);
    128 	}
    129 #ifdef ERRORCHECK
    130 	if (cond->ptc_mutex == NULL)
    131 		cond->ptc_mutex = mutex;
    132 	else
    133 		pthread__error(EINVAL,
    134 		    "Multiple mutexes used for condition wait",
    135 		    cond->ptc_mutex == mutex);
    136 #endif
    137 	self->pt_state = PT_STATE_BLOCKED_QUEUE;
    138 	self->pt_sleepobj = cond;
    139 	self->pt_sleepq = &cond->ptc_waiters;
    140 	self->pt_sleeplock = &cond->ptc_lock;
    141 	pthread_spinunlock(self, &self->pt_statelock);
    142 	PTQ_INSERT_HEAD(&cond->ptc_waiters, self, pt_sleep);
    143 	pthread_mutex_unlock(mutex);
    144 
    145 	pthread__block(self, &cond->ptc_lock);
    146 	/* Spinlock is unlocked on return */
    147 	pthread_mutex_lock(mutex);
    148 	if (__predict_false(self->pt_cancel)) {
    149 #ifdef ERRORCHECK
    150 		pthread_spinlock(self, &cond->ptc_lock);
    151 		if (PTQ_EMPTY(&cond->ptc_waiters))
    152 			cond->ptc_mutex = NULL;
    153 		pthread_spinunlock(self, &cond->ptc_lock);
    154 #endif
    155 		pthread_exit(PTHREAD_CANCELED);
    156 	}
    157 
    158 	SDPRINTF(("(cond wait %p) Woke up on %p, mutex %p\n",
    159 	    self, cond, mutex));
    160 
    161 	return 0;
    162 }
    163 
    164 
    165 struct pthread_cond__waitarg {
    166 	pthread_t ptw_thread;
    167 	pthread_cond_t *ptw_cond;
    168 };
    169 
    170 int
    171 pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex,
    172     const struct timespec *abstime)
    173 {
    174 	pthread_t self;
    175 	struct pthread_cond__waitarg wait;
    176 	struct pt_alarm_t alarm;
    177 	int retval;
    178 
    179 	pthread__error(EINVAL, "Invalid condition variable",
    180 	    cond->ptc_magic == _PT_COND_MAGIC);
    181 	pthread__error(EINVAL, "Invalid mutex",
    182 	    mutex->ptm_magic == _PT_MUTEX_MAGIC);
    183 	pthread__error(EPERM, "Mutex not locked in condition wait",
    184 	    mutex->ptm_lock == __SIMPLELOCK_LOCKED);
    185 	pthread__error(EINVAL, "Invalid wait time",
    186 	    (abstime->tv_sec >= 0) &&
    187 	    (abstime->tv_nsec >= 0) && (abstime->tv_nsec < 1000000000));
    188 
    189 	self = pthread__self();
    190 	PTHREADD_ADD(PTHREADD_COND_TIMEDWAIT);
    191 
    192 	/* Just hang out for a while if threads aren't running yet. */
    193 	if (__predict_false(pthread__started == 0))
    194 		return pthread_cond_wait_nothread(self, mutex, abstime);
    195 
    196 	pthread_spinlock(self, &cond->ptc_lock);
    197 	wait.ptw_thread = self;
    198 	wait.ptw_cond = cond;
    199 	retval = 0;
    200 	SDPRINTF(("(cond timed wait %p) Waiting on %p until %d.%06ld\n",
    201 	    self, cond, abstime->tv_sec, abstime->tv_nsec/1000));
    202 
    203 	pthread_spinlock(self, &self->pt_statelock);
    204 	if (__predict_false(self->pt_cancel)) {
    205 		pthread_spinunlock(self, &self->pt_statelock);
    206 		pthread_spinunlock(self, &cond->ptc_lock);
    207 		pthread_exit(PTHREAD_CANCELED);
    208 	}
    209 #ifdef ERRORCHECK
    210 	if (cond->ptc_mutex == NULL)
    211 		cond->ptc_mutex = mutex;
    212 	else
    213 		pthread__error(EINVAL,
    214 		    "Multiple mutexes used for condition wait",
    215 		    cond->ptc_mutex == mutex);
    216 #endif
    217 
    218 	pthread__alarm_add(self, &alarm, abstime, pthread_cond_wait__callback,
    219 	    &wait);
    220 	self->pt_state = PT_STATE_BLOCKED_QUEUE;
    221 	self->pt_sleepobj = cond;
    222 	self->pt_sleepq = &cond->ptc_waiters;
    223 	self->pt_sleeplock = &cond->ptc_lock;
    224 	pthread_spinunlock(self, &self->pt_statelock);
    225 
    226 	PTQ_INSERT_HEAD(&cond->ptc_waiters, self, pt_sleep);
    227 	pthread_mutex_unlock(mutex);
    228 
    229 	pthread__block(self, &cond->ptc_lock);
    230 	/* Spinlock is unlocked on return */
    231 	SDPRINTF(("(cond timed wait %p) Woke up on %p, mutex %p\n",
    232 	    self, cond));
    233 	pthread__alarm_del(self, &alarm);
    234 	if (pthread__alarm_fired(&alarm))
    235 		retval = ETIMEDOUT;
    236 	SDPRINTF(("(cond timed wait %p) %s\n",
    237 	    self, (retval == ETIMEDOUT) ? "(timed out)" : ""));
    238 	pthread_mutex_lock(mutex);
    239 	if (__predict_false(self->pt_cancel)) {
    240 #ifdef ERRORCHECK
    241 		pthread_spinlock(self, &cond->ptc_lock);
    242 		if (PTQ_EMPTY(&cond->ptc_waiters))
    243 			cond->ptc_mutex = NULL;
    244 		pthread_spinunlock(self, &cond->ptc_lock);
    245 #endif
    246 		pthread_exit(PTHREAD_CANCELED);
    247 	}
    248 
    249 	return retval;
    250 }
    251 
    252 static void
    253 pthread_cond_wait__callback(void *arg)
    254 {
    255 	struct pthread_cond__waitarg *a;
    256 	pthread_t self;
    257 
    258 	a = arg;
    259 	self = pthread__self();
    260 
    261 	/*
    262 	 * Don't dequeue and schedule the thread if it's already been
    263 	 * queued up by a signal or broadcast (but hasn't yet run as far
    264 	 * as pthread__alarm_del(), or we wouldn't be here, and hence can't
    265 	 * have become blocked on some *other* queue).
    266 	 */
    267 	pthread_spinlock(self, &a->ptw_cond->ptc_lock);
    268 	if (a->ptw_thread->pt_state == PT_STATE_BLOCKED_QUEUE) {
    269 		PTQ_REMOVE(&a->ptw_cond->ptc_waiters, a->ptw_thread, pt_sleep);
    270 #ifdef ERRORCHECK
    271 		if (PTQ_EMPTY(&a->ptw_cond->ptc_waiters))
    272 			a->ptw_cond->ptc_mutex = NULL;
    273 #endif
    274 		pthread__sched(self, a->ptw_thread);
    275 	}
    276 	pthread_spinunlock(self, &a->ptw_cond->ptc_lock);
    277 }
    278 
    279 int
    280 pthread_cond_signal(pthread_cond_t *cond)
    281 {
    282 	pthread_t self, signaled;
    283 
    284 	pthread__error(EINVAL, "Invalid condition variable",
    285 	    cond->ptc_magic == _PT_COND_MAGIC);
    286 	PTHREADD_ADD(PTHREADD_COND_SIGNAL);
    287 
    288 	SDPRINTF(("(cond signal %p) Signaling %p\n",
    289 	    pthread__self(), cond));
    290 
    291 	if (!PTQ_EMPTY(&cond->ptc_waiters)) {
    292 		self = pthread__self();
    293 		pthread_spinlock(self, &cond->ptc_lock);
    294 		signaled = PTQ_FIRST(&cond->ptc_waiters);
    295 		if (signaled != NULL) {
    296 			PTQ_REMOVE(&cond->ptc_waiters, signaled, pt_sleep);
    297 			pthread__sched(self, signaled);
    298 			PTHREADD_ADD(PTHREADD_COND_WOKEUP);
    299 		}
    300 #ifdef ERRORCHECK
    301 		if (PTQ_EMPTY(&cond->ptc_waiters))
    302 			cond->ptc_mutex = NULL;
    303 #endif
    304 		pthread_spinunlock(self, &cond->ptc_lock);
    305 	}
    306 
    307 	return 0;
    308 }
    309 
    310 
    311 int
    312 pthread_cond_broadcast(pthread_cond_t *cond)
    313 {
    314 	pthread_t self;
    315 	struct pthread_queue_t blockedq;
    316 
    317 	pthread__error(EINVAL, "Invalid condition variable", cond->ptc_magic == _PT_COND_MAGIC);
    318 
    319 	PTHREADD_ADD(PTHREADD_COND_BROADCAST);
    320 	SDPRINTF(("(cond signal %p) Broadcasting %p\n",
    321 	    pthread__self(), cond));
    322 
    323 	if (!PTQ_EMPTY(&cond->ptc_waiters)) {
    324 		self = pthread__self();
    325 		pthread_spinlock(self, &cond->ptc_lock);
    326 		blockedq = cond->ptc_waiters;
    327 		PTQ_INIT(&cond->ptc_waiters);
    328 #ifdef ERRORCHECK
    329 		cond->ptc_mutex = NULL;
    330 #endif
    331 		pthread__sched_sleepers(self, &blockedq);
    332 		PTHREADD_ADD(PTHREADD_COND_WOKEUP);
    333 		pthread_spinunlock(self, &cond->ptc_lock);
    334 	}
    335 
    336 	return 0;
    337 
    338 }
    339 
    340 
    341 int
    342 pthread_condattr_init(pthread_condattr_t *attr)
    343 {
    344 
    345 	attr->ptca_magic = _PT_CONDATTR_MAGIC;
    346 
    347 	return 0;
    348 }
    349 
    350 
    351 int
    352 pthread_condattr_destroy(pthread_condattr_t *attr)
    353 {
    354 
    355 	pthread__error(EINVAL, "Invalid condition variable attribute",
    356 	    attr->ptca_magic == _PT_CONDATTR_MAGIC);
    357 
    358 	attr->ptca_magic = _PT_CONDATTR_DEAD;
    359 
    360 	return 0;
    361 }
    362 
    363 /* Utility routine to hang out for a while if threads haven't started yet. */
    364 static int
    365 pthread_cond_wait_nothread(pthread_t self, pthread_mutex_t *mutex,
    366     const struct timespec *abstime)
    367 {
    368 	struct timeval now, tv, *tvp;
    369 	int retval;
    370 
    371 	if (abstime == NULL)
    372 		tvp = NULL;
    373 	else {
    374 		tvp = &tv;
    375 		gettimeofday(&now, NULL);
    376 		TIMESPEC_TO_TIMEVAL(tvp, abstime);
    377 		timersub(tvp, &now, tvp);
    378 	}
    379 
    380 	/*
    381 	 * The libpthread select() wrapper has cancellation tests, but
    382 	 * we need to have the mutex locked when testing for
    383 	 * cancellation and unlocked while we sleep.  So, skip the
    384 	 * wrapper.
    385 	 */
    386 	pthread__testcancel(self);
    387 	pthread_mutex_unlock(mutex);
    388 	retval = _sys_select(0, NULL, NULL, NULL, tvp);
    389 	pthread_mutex_lock(mutex);
    390 	pthread__testcancel(self);
    391 
    392 	if (retval == 0)
    393 		return ETIMEDOUT;
    394 	else
    395 		/* spurious wakeup */
    396 		return 0;
    397 }
    398