Home | History | Annotate | Line # | Download | only in libpthread
pthread_lock.c revision 1.14.4.1
      1  1.14.4.1   bouyer /*	$NetBSD: pthread_lock.c,v 1.14.4.1 2008/09/16 18:49:32 bouyer Exp $	*/
      2       1.2  thorpej 
      3       1.2  thorpej /*-
      4       1.2  thorpej  * Copyright (c) 2001 The NetBSD Foundation, Inc.
      5       1.2  thorpej  * All rights reserved.
      6       1.2  thorpej  *
      7       1.2  thorpej  * This code is derived from software contributed to The NetBSD Foundation
      8       1.2  thorpej  * by Nathan J. Williams.
      9       1.2  thorpej  *
     10       1.2  thorpej  * Redistribution and use in source and binary forms, with or without
     11       1.2  thorpej  * modification, are permitted provided that the following conditions
     12       1.2  thorpej  * are met:
     13       1.2  thorpej  * 1. Redistributions of source code must retain the above copyright
     14       1.2  thorpej  *    notice, this list of conditions and the following disclaimer.
     15       1.2  thorpej  * 2. Redistributions in binary form must reproduce the above copyright
     16       1.2  thorpej  *    notice, this list of conditions and the following disclaimer in the
     17       1.2  thorpej  *    documentation and/or other materials provided with the distribution.
     18       1.2  thorpej  * 3. All advertising materials mentioning features or use of this software
     19       1.2  thorpej  *    must display the following acknowledgement:
     20       1.2  thorpej  *        This product includes software developed by the NetBSD
     21       1.2  thorpej  *        Foundation, Inc. and its contributors.
     22       1.2  thorpej  * 4. Neither the name of The NetBSD Foundation nor the names of its
     23       1.2  thorpej  *    contributors may be used to endorse or promote products derived
     24       1.2  thorpej  *    from this software without specific prior written permission.
     25       1.2  thorpej  *
     26       1.2  thorpej  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     27       1.2  thorpej  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     28       1.2  thorpej  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     29       1.2  thorpej  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     30       1.2  thorpej  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     31       1.2  thorpej  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     32       1.2  thorpej  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     33       1.2  thorpej  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     34       1.2  thorpej  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     35       1.2  thorpej  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     36       1.2  thorpej  * POSSIBILITY OF SUCH DAMAGE.
     37       1.2  thorpej  */
     38       1.6    lukem 
     39       1.6    lukem #include <sys/cdefs.h>
     40  1.14.4.1   bouyer __RCSID("$NetBSD: pthread_lock.c,v 1.14.4.1 2008/09/16 18:49:32 bouyer Exp $");
     41       1.2  thorpej 
     42      1.12       he #include <sys/types.h>
     43      1.11       cl #include <sys/lock.h>
     44       1.2  thorpej #include <sys/ras.h>
     45       1.2  thorpej 
     46       1.2  thorpej #include <errno.h>
     47       1.2  thorpej #include <unistd.h>
     48       1.2  thorpej 
     49       1.2  thorpej #include "pthread.h"
     50       1.2  thorpej #include "pthread_int.h"
     51       1.2  thorpej 
     52       1.5  nathanw #ifdef PTHREAD_SPIN_DEBUG_PRINT
     53       1.2  thorpej #define SDPRINTF(x) DPRINTF(x)
     54       1.2  thorpej #else
     55       1.2  thorpej #define SDPRINTF(x)
     56       1.2  thorpej #endif
     57       1.2  thorpej 
     58       1.2  thorpej /* How many times to try before checking whether we've been continued. */
     59      1.11       cl #define NSPINS 1000	/* no point in actually spinning until MP works */
     60       1.2  thorpej 
     61       1.2  thorpej static int nspins = NSPINS;
     62       1.2  thorpej 
     63      1.10  thorpej RAS_DECL(pthread__lock);
     64       1.2  thorpej 
     65       1.2  thorpej static void
     66       1.2  thorpej pthread__ras_simple_lock_init(__cpu_simple_lock_t *alp)
     67       1.2  thorpej {
     68       1.2  thorpej 
     69       1.2  thorpej 	*alp = __SIMPLELOCK_UNLOCKED;
     70       1.2  thorpej }
     71       1.2  thorpej 
     72       1.2  thorpej static int
     73       1.2  thorpej pthread__ras_simple_lock_try(__cpu_simple_lock_t *alp)
     74       1.2  thorpej {
     75       1.2  thorpej 	__cpu_simple_lock_t old;
     76       1.2  thorpej 
     77      1.10  thorpej 	RAS_START(pthread__lock);
     78       1.2  thorpej 	old = *alp;
     79       1.2  thorpej 	*alp = __SIMPLELOCK_LOCKED;
     80      1.10  thorpej 	RAS_END(pthread__lock);
     81       1.2  thorpej 
     82       1.2  thorpej 	return (old == __SIMPLELOCK_UNLOCKED);
     83       1.2  thorpej }
     84       1.2  thorpej 
     85       1.2  thorpej static void
     86       1.2  thorpej pthread__ras_simple_unlock(__cpu_simple_lock_t *alp)
     87       1.2  thorpej {
     88       1.2  thorpej 
     89       1.2  thorpej 	*alp = __SIMPLELOCK_UNLOCKED;
     90       1.2  thorpej }
     91       1.2  thorpej 
     92       1.2  thorpej static const struct pthread_lock_ops pthread__lock_ops_ras = {
     93       1.2  thorpej 	pthread__ras_simple_lock_init,
     94       1.2  thorpej 	pthread__ras_simple_lock_try,
     95       1.2  thorpej 	pthread__ras_simple_unlock,
     96       1.2  thorpej };
     97       1.2  thorpej 
     98       1.2  thorpej static void
     99       1.2  thorpej pthread__atomic_simple_lock_init(__cpu_simple_lock_t *alp)
    100       1.2  thorpej {
    101       1.2  thorpej 
    102       1.2  thorpej 	__cpu_simple_lock_init(alp);
    103       1.2  thorpej }
    104       1.2  thorpej 
    105       1.2  thorpej static int
    106       1.2  thorpej pthread__atomic_simple_lock_try(__cpu_simple_lock_t *alp)
    107       1.2  thorpej {
    108       1.2  thorpej 
    109       1.2  thorpej 	return (__cpu_simple_lock_try(alp));
    110       1.2  thorpej }
    111       1.2  thorpej 
    112       1.2  thorpej static void
    113       1.2  thorpej pthread__atomic_simple_unlock(__cpu_simple_lock_t *alp)
    114       1.2  thorpej {
    115       1.2  thorpej 
    116       1.2  thorpej 	__cpu_simple_unlock(alp);
    117       1.2  thorpej }
    118       1.2  thorpej 
    119       1.2  thorpej static const struct pthread_lock_ops pthread__lock_ops_atomic = {
    120       1.2  thorpej 	pthread__atomic_simple_lock_init,
    121       1.2  thorpej 	pthread__atomic_simple_lock_try,
    122       1.2  thorpej 	pthread__atomic_simple_unlock,
    123       1.2  thorpej };
    124       1.2  thorpej 
    125       1.2  thorpej /*
    126       1.2  thorpej  * We default to pointing to the RAS primitives; we might need to use
    127       1.2  thorpej  * locks early, but before main() starts.  This is safe, since no other
    128       1.2  thorpej  * threads will be active for the process, so atomicity will not be
    129       1.2  thorpej  * required.
    130       1.2  thorpej  */
    131       1.2  thorpej const struct pthread_lock_ops *pthread__lock_ops = &pthread__lock_ops_ras;
    132       1.2  thorpej 
    133       1.2  thorpej /*
    134       1.2  thorpej  * Initialize the locking primitives.  On uniprocessors, we always
    135       1.2  thorpej  * use Restartable Atomic Sequences if they are available.  Otherwise,
    136       1.2  thorpej  * we fall back onto machine-dependent atomic lock primitives.
    137       1.2  thorpej  */
    138       1.2  thorpej void
    139      1.11       cl pthread__lockprim_init(int ncpu)
    140       1.2  thorpej {
    141       1.2  thorpej 
    142      1.10  thorpej 	if (ncpu == 1 && rasctl(RAS_ADDR(pthread__lock),
    143      1.10  thorpej 				RAS_SIZE(pthread__lock), RAS_INSTALL) == 0) {
    144       1.2  thorpej 		pthread__lock_ops = &pthread__lock_ops_ras;
    145       1.2  thorpej 		return;
    146       1.2  thorpej 	}
    147       1.2  thorpej 
    148       1.2  thorpej 	pthread__lock_ops = &pthread__lock_ops_atomic;
    149       1.2  thorpej }
    150       1.2  thorpej 
    151       1.2  thorpej void
    152       1.2  thorpej pthread_lockinit(pthread_spin_t *lock)
    153       1.2  thorpej {
    154       1.2  thorpej 
    155       1.2  thorpej 	pthread__simple_lock_init(lock);
    156       1.2  thorpej }
    157       1.2  thorpej 
    158       1.2  thorpej void
    159       1.2  thorpej pthread_spinlock(pthread_t thread, pthread_spin_t *lock)
    160       1.2  thorpej {
    161       1.2  thorpej 	int count, ret;
    162       1.2  thorpej 
    163       1.2  thorpej 	count = nspins;
    164       1.2  thorpej 	SDPRINTF(("(pthread_spinlock %p) incrementing spinlock %p (count %d)\n",
    165       1.2  thorpej 		thread, lock, thread->pt_spinlocks));
    166       1.2  thorpej #ifdef PTHREAD_SPIN_DEBUG
    167       1.5  nathanw 	pthread__assert(thread->pt_spinlocks >= 0);
    168       1.2  thorpej #endif
    169       1.2  thorpej 	++thread->pt_spinlocks;
    170       1.2  thorpej 
    171       1.2  thorpej 	do {
    172       1.2  thorpej 		while (((ret = pthread__simple_lock_try(lock)) == 0) && --count)
    173       1.2  thorpej 			;
    174       1.2  thorpej 
    175       1.2  thorpej 		if (ret == 1)
    176       1.2  thorpej 			break;
    177       1.2  thorpej 
    178       1.2  thorpej 	SDPRINTF(("(pthread_spinlock %p) decrementing spinlock %p (count %d)\n",
    179       1.2  thorpej 		thread, lock, thread->pt_spinlocks));
    180       1.2  thorpej 		--thread->pt_spinlocks;
    181       1.2  thorpej 
    182       1.2  thorpej 		/*
    183       1.2  thorpej 		 * We may be preempted while spinning. If so, we will
    184       1.2  thorpej 		 * be restarted here if thread->pt_spinlocks is
    185       1.2  thorpej 		 * nonzero, which can happen if:
    186       1.2  thorpej 		 * a) we just got the lock
    187       1.2  thorpej 		 * b) we haven't yet decremented the lock count.
    188       1.2  thorpej 		 * If we're at this point, (b) applies. Therefore,
    189       1.2  thorpej 		 * check if we're being continued, and if so, bail.
    190       1.2  thorpej 		 * (in case (a), we should let the code finish and
    191       1.2  thorpej 		 * we will bail out in pthread_spinunlock()).
    192       1.2  thorpej 		 */
    193       1.2  thorpej 		if (thread->pt_next != NULL) {
    194       1.2  thorpej 			PTHREADD_ADD(PTHREADD_SPINPREEMPT);
    195      1.13  mycroft 			pthread__assert(thread->pt_blockgen == thread->pt_unblockgen);
    196       1.2  thorpej 			pthread__switch(thread, thread->pt_next);
    197       1.2  thorpej 		}
    198       1.2  thorpej 		/* try again */
    199       1.2  thorpej 		count = nspins;
    200       1.2  thorpej 	SDPRINTF(("(pthread_spinlock %p) incrementing spinlock from %d\n",
    201       1.2  thorpej 		thread, thread->pt_spinlocks));
    202       1.2  thorpej 		++thread->pt_spinlocks;
    203       1.2  thorpej 	} while (/*CONSTCOND*/1);
    204       1.2  thorpej 
    205       1.2  thorpej 	PTHREADD_ADD(PTHREADD_SPINLOCKS);
    206       1.2  thorpej 	/* Got it! We're out of here. */
    207       1.2  thorpej }
    208       1.2  thorpej 
    209       1.2  thorpej 
    210  1.14.4.1   bouyer /*
    211  1.14.4.1   bouyer  * pthread_spintrylock - try to get a spinlock
    212  1.14.4.1   bouyer  *	Return 0 on failure, non-zero on success
    213  1.14.4.1   bouyer  */
    214       1.2  thorpej int
    215       1.2  thorpej pthread_spintrylock(pthread_t thread, pthread_spin_t *lock)
    216       1.2  thorpej {
    217       1.2  thorpej 	int ret;
    218       1.2  thorpej 
    219       1.2  thorpej 	SDPRINTF(("(pthread_spinlock %p) incrementing spinlock from %d\n",
    220       1.2  thorpej 		thread, thread->pt_spinlocks));
    221       1.2  thorpej 	++thread->pt_spinlocks;
    222       1.2  thorpej 
    223       1.2  thorpej 	ret = pthread__simple_lock_try(lock);
    224       1.2  thorpej 
    225       1.2  thorpej 	if (ret == 0) {
    226       1.2  thorpej 	SDPRINTF(("(pthread_spintrylock %p) decrementing spinlock from %d\n",
    227       1.2  thorpej 		thread, thread->pt_spinlocks));
    228       1.2  thorpej 		--thread->pt_spinlocks;
    229       1.2  thorpej 		/* See above. */
    230       1.2  thorpej 		if (thread->pt_next != NULL) {
    231       1.2  thorpej 			PTHREADD_ADD(PTHREADD_SPINPREEMPT);
    232      1.13  mycroft 			pthread__assert(thread->pt_blockgen == thread->pt_unblockgen);
    233       1.2  thorpej 			pthread__switch(thread, thread->pt_next);
    234       1.2  thorpej 		}
    235       1.2  thorpej 	}
    236       1.2  thorpej 
    237       1.2  thorpej 	return ret;
    238       1.2  thorpej }
    239       1.2  thorpej 
    240       1.2  thorpej 
    241       1.2  thorpej void
    242       1.2  thorpej pthread_spinunlock(pthread_t thread, pthread_spin_t *lock)
    243       1.2  thorpej {
    244       1.2  thorpej 
    245       1.2  thorpej 	pthread__simple_unlock(lock);
    246       1.2  thorpej 	SDPRINTF(("(pthread_spinunlock %p) decrementing spinlock %p (count %d)\n",
    247       1.2  thorpej 		thread, lock, thread->pt_spinlocks));
    248       1.2  thorpej 	--thread->pt_spinlocks;
    249       1.2  thorpej #ifdef PTHREAD_SPIN_DEBUG
    250       1.5  nathanw 	pthread__assert(thread->pt_spinlocks >= 0);
    251       1.2  thorpej #endif
    252       1.2  thorpej 	PTHREADD_ADD(PTHREADD_SPINUNLOCKS);
    253       1.2  thorpej 
    254       1.2  thorpej 	/*
    255       1.2  thorpej 	 * If we were preempted while holding a spinlock, the
    256       1.2  thorpej 	 * scheduler will notice this and continue us. To be good
    257       1.2  thorpej 	 * citzens, we must now get out of here if that was our
    258       1.2  thorpej 	 * last spinlock.
    259       1.2  thorpej 	 * XXX when will we ever have more than one?
    260       1.2  thorpej 	 */
    261       1.2  thorpej 
    262       1.2  thorpej 	if ((thread->pt_spinlocks == 0) && (thread->pt_next != NULL)) {
    263       1.2  thorpej 		PTHREADD_ADD(PTHREADD_SPINPREEMPT);
    264      1.14    jwise 		/* pthread__assert(thread->pt_blockgen == thread->pt_unblockgen); */
    265       1.2  thorpej 		pthread__switch(thread, thread->pt_next);
    266       1.2  thorpej 	}
    267       1.2  thorpej }
    268       1.2  thorpej 
    269       1.2  thorpej 
    270       1.2  thorpej /*
    271       1.2  thorpej  * Public (POSIX-specified) spinlocks.
    272       1.2  thorpej  * These don't interact with the spin-preemption code, nor do they
    273       1.2  thorpej  * perform any adaptive sleeping.
    274       1.2  thorpej  */
    275       1.2  thorpej 
    276       1.2  thorpej int
    277       1.2  thorpej pthread_spin_init(pthread_spinlock_t *lock, int pshared)
    278       1.2  thorpej {
    279       1.2  thorpej 
    280       1.2  thorpej #ifdef ERRORCHECK
    281       1.2  thorpej 	if ((lock == NULL) ||
    282       1.2  thorpej 	    ((pshared != PTHREAD_PROCESS_PRIVATE) &&
    283       1.2  thorpej 		(pshared != PTHREAD_PROCESS_SHARED)))
    284       1.2  thorpej 		return EINVAL;
    285       1.2  thorpej #endif
    286       1.2  thorpej 	lock->pts_magic = _PT_SPINLOCK_MAGIC;
    287       1.2  thorpej 	/*
    288       1.2  thorpej 	 * We don't actually use the pshared flag for anything;
    289       1.9      wiz 	 * CPU simple locks have all the process-shared properties
    290       1.2  thorpej 	 * that we want anyway.
    291       1.2  thorpej 	 */
    292       1.2  thorpej 	lock->pts_flags = pshared;
    293       1.2  thorpej 	pthread_lockinit(&lock->pts_spin);
    294       1.2  thorpej 
    295       1.2  thorpej 	return 0;
    296       1.2  thorpej }
    297       1.2  thorpej 
    298       1.2  thorpej int
    299       1.2  thorpej pthread_spin_destroy(pthread_spinlock_t *lock)
    300       1.2  thorpej {
    301       1.2  thorpej 
    302       1.2  thorpej #ifdef ERRORCHECK
    303       1.2  thorpej 	if ((lock == NULL) || (lock->pts_magic != _PT_SPINLOCK_MAGIC))
    304       1.2  thorpej 		return EINVAL;
    305       1.2  thorpej 
    306       1.2  thorpej 	if (lock->pts_spin != __SIMPLELOCK_UNLOCKED)
    307       1.2  thorpej 		return EBUSY;
    308       1.2  thorpej #endif
    309       1.2  thorpej 
    310       1.2  thorpej 	lock->pts_magic = _PT_SPINLOCK_DEAD;
    311       1.2  thorpej 
    312       1.2  thorpej 	return 0;
    313       1.2  thorpej }
    314       1.2  thorpej 
    315       1.2  thorpej int
    316       1.2  thorpej pthread_spin_lock(pthread_spinlock_t *lock)
    317       1.2  thorpej {
    318       1.2  thorpej 
    319       1.2  thorpej #ifdef ERRORCHECK
    320       1.2  thorpej 	if ((lock == NULL) || (lock->pts_magic != _PT_SPINLOCK_MAGIC))
    321       1.2  thorpej 		return EINVAL;
    322       1.2  thorpej #endif
    323       1.2  thorpej 
    324       1.2  thorpej 	while (pthread__simple_lock_try(&lock->pts_spin) == 0)
    325       1.2  thorpej 		/* spin */ ;
    326       1.2  thorpej 
    327       1.2  thorpej 	return 0;
    328       1.2  thorpej }
    329       1.2  thorpej 
    330       1.2  thorpej int
    331       1.2  thorpej pthread_spin_trylock(pthread_spinlock_t *lock)
    332       1.2  thorpej {
    333       1.2  thorpej 
    334       1.2  thorpej #ifdef ERRORCHECK
    335       1.2  thorpej 	if ((lock == NULL) || (lock->pts_magic != _PT_SPINLOCK_MAGIC))
    336       1.2  thorpej 		return EINVAL;
    337       1.2  thorpej #endif
    338       1.2  thorpej 
    339       1.2  thorpej 	if (pthread__simple_lock_try(&lock->pts_spin) == 0)
    340       1.2  thorpej 		return EBUSY;
    341       1.2  thorpej 
    342       1.2  thorpej 	return 0;
    343       1.2  thorpej }
    344       1.2  thorpej 
    345       1.2  thorpej int
    346       1.2  thorpej pthread_spin_unlock(pthread_spinlock_t *lock)
    347       1.2  thorpej {
    348       1.2  thorpej 
    349       1.2  thorpej #ifdef ERRORCHECK
    350       1.2  thorpej 	if ((lock == NULL) || (lock->pts_magic != _PT_SPINLOCK_MAGIC))
    351       1.2  thorpej 		return EINVAL;
    352       1.2  thorpej #endif
    353       1.2  thorpej 
    354       1.2  thorpej 	pthread__simple_unlock(&lock->pts_spin);
    355       1.2  thorpej 
    356       1.2  thorpej 	return 0;
    357       1.2  thorpej }
    358