Home | History | Annotate | Line # | Download | only in kern
kern_lock.c revision 1.146
      1  1.146      matt /*	$NetBSD: kern_lock.c,v 1.146 2008/07/02 14:47:34 matt Exp $	*/
      2   1.19   thorpej 
      3   1.19   thorpej /*-
      4  1.134        ad  * Copyright (c) 2002, 2006, 2007, 2008 The NetBSD Foundation, Inc.
      5   1.19   thorpej  * All rights reserved.
      6   1.19   thorpej  *
      7   1.19   thorpej  * This code is derived from software contributed to The NetBSD Foundation
      8   1.19   thorpej  * by Jason R. Thorpe of the Numerical Aerospace Simulation Facility,
      9  1.105        ad  * NASA Ames Research Center, and by Andrew Doran.
     10   1.19   thorpej  *
     11   1.19   thorpej  * Redistribution and use in source and binary forms, with or without
     12   1.19   thorpej  * modification, are permitted provided that the following conditions
     13   1.19   thorpej  * are met:
     14   1.19   thorpej  * 1. Redistributions of source code must retain the above copyright
     15   1.19   thorpej  *    notice, this list of conditions and the following disclaimer.
     16   1.19   thorpej  * 2. Redistributions in binary form must reproduce the above copyright
     17   1.19   thorpej  *    notice, this list of conditions and the following disclaimer in the
     18   1.19   thorpej  *    documentation and/or other materials provided with the distribution.
     19   1.19   thorpej  *
     20   1.19   thorpej  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     21   1.19   thorpej  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     22   1.19   thorpej  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     23   1.19   thorpej  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     24   1.19   thorpej  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     25   1.19   thorpej  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     26   1.19   thorpej  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     27   1.19   thorpej  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     28   1.19   thorpej  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     29   1.19   thorpej  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     30   1.19   thorpej  * POSSIBILITY OF SUCH DAMAGE.
     31   1.19   thorpej  */
     32    1.2      fvdl 
     33   1.60     lukem #include <sys/cdefs.h>
     34  1.146      matt __KERNEL_RCSID(0, "$NetBSD: kern_lock.c,v 1.146 2008/07/02 14:47:34 matt Exp $");
     35  1.105        ad 
     36    1.1      fvdl #include <sys/param.h>
     37    1.1      fvdl #include <sys/proc.h>
     38    1.1      fvdl #include <sys/lock.h>
     39    1.2      fvdl #include <sys/systm.h>
     40  1.125        ad #include <sys/kernel.h>
     41  1.105        ad #include <sys/lockdebug.h>
     42  1.122        ad #include <sys/cpu.h>
     43  1.122        ad #include <sys/syslog.h>
     44  1.128        ad #include <sys/atomic.h>
     45  1.105        ad 
     46  1.110  christos #include <machine/stdarg.h>
     47  1.131        ad #include <machine/lock.h>
     48    1.1      fvdl 
     49   1.98        ad #include <dev/lockstat.h>
     50   1.98        ad 
     51  1.134        ad #define	RETURN_ADDRESS	(uintptr_t)__builtin_return_address(0)
     52   1.25   thorpej 
     53  1.127      yamt bool	kernel_lock_dodebug;
     54  1.132        ad 
     55  1.132        ad __cpu_simple_lock_t kernel_lock[CACHE_LINE_SIZE / sizeof(__cpu_simple_lock_t)]
     56  1.132        ad     __aligned(CACHE_LINE_SIZE);
     57    1.1      fvdl 
     58  1.135      yamt #if defined(DEBUG) || defined(LKM)
     59   1.96      yamt void
     60  1.135      yamt assert_sleepable(void)
     61   1.96      yamt {
     62  1.135      yamt 	const char *reason;
     63   1.96      yamt 
     64  1.135      yamt 	if (panicstr != NULL) {
     65  1.117        ad 		return;
     66  1.135      yamt 	}
     67  1.135      yamt 
     68  1.132        ad 	LOCKDEBUG_BARRIER(kernel_lock, 1);
     69  1.135      yamt 
     70  1.135      yamt 	reason = NULL;
     71  1.125        ad 	if (CURCPU_IDLE_P() && !cold) {
     72  1.135      yamt 		reason = "idle";
     73  1.135      yamt 	}
     74  1.135      yamt 	if (cpu_intr_p()) {
     75  1.135      yamt 		reason = "interrupt";
     76   1.97      yamt 	}
     77  1.135      yamt 	if ((curlwp->l_pflag & LP_INTR) != 0) {
     78  1.135      yamt 		reason = "softint";
     79  1.135      yamt 	}
     80  1.135      yamt 
     81  1.135      yamt 	if (reason) {
     82  1.135      yamt 		panic("%s: %s caller=%p", __func__, reason,
     83  1.135      yamt 		    (void *)RETURN_ADDRESS);
     84  1.135      yamt 	}
     85   1.96      yamt }
     86  1.135      yamt #endif /* defined(DEBUG) || defined(LKM) */
     87  1.105        ad 
     88   1.62   thorpej /*
     89   1.62   thorpej  * Functions for manipulating the kernel_lock.  We put them here
     90   1.62   thorpej  * so that they show up in profiles.
     91   1.62   thorpej  */
     92   1.62   thorpej 
     93  1.105        ad #define	_KERNEL_LOCK_ABORT(msg)						\
     94  1.132        ad     LOCKDEBUG_ABORT(kernel_lock, &_kernel_lock_ops, __func__, msg)
     95  1.105        ad 
     96  1.105        ad #ifdef LOCKDEBUG
     97  1.105        ad #define	_KERNEL_LOCK_ASSERT(cond)					\
     98  1.105        ad do {									\
     99  1.105        ad 	if (!(cond))							\
    100  1.105        ad 		_KERNEL_LOCK_ABORT("assertion failed: " #cond);		\
    101  1.105        ad } while (/* CONSTCOND */ 0)
    102  1.105        ad #else
    103  1.105        ad #define	_KERNEL_LOCK_ASSERT(cond)	/* nothing */
    104  1.105        ad #endif
    105  1.105        ad 
    106  1.105        ad void	_kernel_lock_dump(volatile void *);
    107  1.105        ad 
    108  1.105        ad lockops_t _kernel_lock_ops = {
    109  1.105        ad 	"Kernel lock",
    110  1.144        ad 	LOCKOPS_SPIN,
    111  1.105        ad 	_kernel_lock_dump
    112  1.105        ad };
    113  1.105        ad 
    114   1.85      yamt /*
    115  1.105        ad  * Initialize the kernel lock.
    116   1.85      yamt  */
    117   1.62   thorpej void
    118  1.122        ad kernel_lock_init(void)
    119   1.62   thorpej {
    120   1.62   thorpej 
    121  1.146      matt 	CTASSERT(CACHE_LINE_SIZE >= sizeof(__cpu_simple_lock_t));
    122  1.132        ad 	__cpu_simple_lock_init(kernel_lock);
    123  1.132        ad 	kernel_lock_dodebug = LOCKDEBUG_ALLOC(kernel_lock, &_kernel_lock_ops,
    124  1.122        ad 	    RETURN_ADDRESS);
    125   1.62   thorpej }
    126   1.62   thorpej 
    127   1.62   thorpej /*
    128  1.105        ad  * Print debugging information about the kernel lock.
    129   1.62   thorpej  */
    130   1.62   thorpej void
    131  1.105        ad _kernel_lock_dump(volatile void *junk)
    132   1.62   thorpej {
    133   1.85      yamt 	struct cpu_info *ci = curcpu();
    134   1.62   thorpej 
    135  1.105        ad 	(void)junk;
    136   1.85      yamt 
    137  1.105        ad 	printf_nolog("curcpu holds : %18d wanted by: %#018lx\n",
    138  1.105        ad 	    ci->ci_biglock_count, (long)ci->ci_biglock_wanted);
    139   1.62   thorpej }
    140   1.62   thorpej 
    141  1.105        ad /*
    142  1.105        ad  * Acquire 'nlocks' holds on the kernel lock.  If 'l' is non-null, the
    143  1.105        ad  * acquisition is from process context.
    144  1.105        ad  */
    145   1.62   thorpej void
    146  1.137  drochner _kernel_lock(int nlocks)
    147   1.62   thorpej {
    148  1.138        ad 	struct cpu_info *ci;
    149  1.105        ad 	LOCKSTAT_TIMER(spintime);
    150  1.105        ad 	LOCKSTAT_FLAG(lsflag);
    151  1.105        ad 	struct lwp *owant;
    152  1.105        ad 	u_int spins;
    153   1.85      yamt 	int s;
    154  1.137  drochner 	struct lwp *l = curlwp;
    155   1.85      yamt 
    156  1.105        ad 	_KERNEL_LOCK_ASSERT(nlocks > 0);
    157   1.62   thorpej 
    158  1.138        ad 	s = splvm();
    159  1.138        ad 	ci = curcpu();
    160  1.105        ad 	if (ci->ci_biglock_count != 0) {
    161  1.132        ad 		_KERNEL_LOCK_ASSERT(__SIMPLELOCK_LOCKED_P(kernel_lock));
    162  1.105        ad 		ci->ci_biglock_count += nlocks;
    163  1.122        ad 		l->l_blcnt += nlocks;
    164  1.138        ad 		splx(s);
    165  1.105        ad 		return;
    166  1.105        ad 	}
    167  1.105        ad 
    168  1.122        ad 	_KERNEL_LOCK_ASSERT(l->l_blcnt == 0);
    169  1.132        ad 	LOCKDEBUG_WANTLOCK(kernel_lock_dodebug, kernel_lock, RETURN_ADDRESS,
    170  1.141        ad 	    false, false);
    171  1.107        ad 
    172  1.132        ad 	if (__cpu_simple_lock_try(kernel_lock)) {
    173  1.105        ad 		ci->ci_biglock_count = nlocks;
    174  1.122        ad 		l->l_blcnt = nlocks;
    175  1.144        ad 		LOCKDEBUG_LOCKED(kernel_lock_dodebug, kernel_lock, NULL,
    176  1.127      yamt 		    RETURN_ADDRESS, 0);
    177  1.105        ad 		splx(s);
    178  1.105        ad 		return;
    179  1.105        ad 	}
    180  1.105        ad 
    181  1.132        ad 	/*
    182  1.132        ad 	 * To remove the ordering constraint between adaptive mutexes
    183  1.132        ad 	 * and kernel_lock we must make it appear as if this thread is
    184  1.132        ad 	 * blocking.  For non-interlocked mutex release, a store fence
    185  1.132        ad 	 * is required to ensure that the result of any mutex_exit()
    186  1.132        ad 	 * by the current LWP becomes visible on the bus before the set
    187  1.132        ad 	 * of ci->ci_biglock_wanted becomes visible.
    188  1.132        ad 	 */
    189  1.132        ad 	membar_producer();
    190  1.132        ad 	owant = ci->ci_biglock_wanted;
    191  1.132        ad 	ci->ci_biglock_wanted = l;
    192  1.105        ad 
    193  1.105        ad 	/*
    194  1.132        ad 	 * Spin until we acquire the lock.  Once we have it, record the
    195  1.132        ad 	 * time spent with lockstat.
    196  1.105        ad 	 */
    197  1.132        ad 	LOCKSTAT_ENTER(lsflag);
    198  1.132        ad 	LOCKSTAT_START_TIMER(lsflag, spintime);
    199  1.105        ad 
    200  1.105        ad 	spins = 0;
    201  1.105        ad 	do {
    202  1.122        ad 		splx(s);
    203  1.132        ad 		while (__SIMPLELOCK_LOCKED_P(kernel_lock)) {
    204  1.132        ad 			if (SPINLOCK_SPINOUT(spins)) {
    205  1.143        ad 				extern int start_init_exec;
    206  1.136        ad 				if (!start_init_exec)
    207  1.136        ad 					_KERNEL_LOCK_ABORT("spinout");
    208  1.132        ad 			}
    209  1.122        ad 			SPINLOCK_BACKOFF_HOOK;
    210  1.105        ad 			SPINLOCK_SPIN_HOOK;
    211  1.105        ad 		}
    212  1.132        ad 		s = splvm();
    213  1.132        ad 	} while (!__cpu_simple_lock_try(kernel_lock));
    214  1.105        ad 
    215  1.122        ad 	ci->ci_biglock_count = nlocks;
    216  1.122        ad 	l->l_blcnt = nlocks;
    217  1.107        ad 	LOCKSTAT_STOP_TIMER(lsflag, spintime);
    218  1.144        ad 	LOCKDEBUG_LOCKED(kernel_lock_dodebug, kernel_lock, NULL,
    219  1.144        ad 	    RETURN_ADDRESS, 0);
    220  1.132        ad 	if (owant == NULL) {
    221  1.132        ad 		LOCKSTAT_EVENT_RA(lsflag, kernel_lock,
    222  1.132        ad 		    LB_KERNEL_LOCK | LB_SPIN, 1, spintime, RETURN_ADDRESS);
    223  1.132        ad 	}
    224  1.132        ad 	LOCKSTAT_EXIT(lsflag);
    225   1.85      yamt 	splx(s);
    226  1.105        ad 
    227  1.105        ad 	/*
    228  1.132        ad 	 * Now that we have kernel_lock, reset ci_biglock_wanted.  This
    229  1.132        ad 	 * store must be unbuffered (immediately visible on the bus) in
    230  1.132        ad 	 * order for non-interlocked mutex release to work correctly.
    231  1.132        ad 	 * It must be visible before a mutex_exit() can execute on this
    232  1.132        ad 	 * processor.
    233  1.132        ad 	 *
    234  1.132        ad 	 * Note: only where CAS is available in hardware will this be
    235  1.132        ad 	 * an unbuffered write, but non-interlocked release cannot be
    236  1.132        ad 	 * done on CPUs without CAS in hardware.
    237  1.105        ad 	 */
    238  1.132        ad 	(void)atomic_swap_ptr(&ci->ci_biglock_wanted, owant);
    239  1.132        ad 
    240  1.132        ad 	/*
    241  1.132        ad 	 * Issue a memory barrier as we have acquired a lock.  This also
    242  1.132        ad 	 * prevents stores from a following mutex_exit() being reordered
    243  1.132        ad 	 * to occur before our store to ci_biglock_wanted above.
    244  1.132        ad 	 */
    245  1.132        ad 	membar_enter();
    246   1.62   thorpej }
    247   1.62   thorpej 
    248   1.62   thorpej /*
    249  1.105        ad  * Release 'nlocks' holds on the kernel lock.  If 'nlocks' is zero, release
    250  1.105        ad  * all holds.  If 'l' is non-null, the release is from process context.
    251   1.62   thorpej  */
    252   1.62   thorpej void
    253  1.137  drochner _kernel_unlock(int nlocks, int *countp)
    254   1.62   thorpej {
    255  1.138        ad 	struct cpu_info *ci;
    256  1.105        ad 	u_int olocks;
    257  1.105        ad 	int s;
    258  1.137  drochner 	struct lwp *l = curlwp;
    259   1.62   thorpej 
    260  1.105        ad 	_KERNEL_LOCK_ASSERT(nlocks < 2);
    261   1.62   thorpej 
    262  1.122        ad 	olocks = l->l_blcnt;
    263   1.77      yamt 
    264  1.105        ad 	if (olocks == 0) {
    265  1.105        ad 		_KERNEL_LOCK_ASSERT(nlocks <= 0);
    266  1.105        ad 		if (countp != NULL)
    267  1.105        ad 			*countp = 0;
    268  1.105        ad 		return;
    269  1.105        ad 	}
    270   1.77      yamt 
    271  1.132        ad 	_KERNEL_LOCK_ASSERT(__SIMPLELOCK_LOCKED_P(kernel_lock));
    272   1.85      yamt 
    273  1.105        ad 	if (nlocks == 0)
    274  1.105        ad 		nlocks = olocks;
    275  1.105        ad 	else if (nlocks == -1) {
    276  1.105        ad 		nlocks = 1;
    277  1.105        ad 		_KERNEL_LOCK_ASSERT(olocks == 1);
    278  1.105        ad 	}
    279  1.138        ad 	s = splvm();
    280  1.138        ad 	ci = curcpu();
    281  1.122        ad 	_KERNEL_LOCK_ASSERT(ci->ci_biglock_count >= l->l_blcnt);
    282  1.122        ad 	if (ci->ci_biglock_count == nlocks) {
    283  1.132        ad 		LOCKDEBUG_UNLOCKED(kernel_lock_dodebug, kernel_lock,
    284  1.127      yamt 		    RETURN_ADDRESS, 0);
    285  1.122        ad 		ci->ci_biglock_count = 0;
    286  1.132        ad 		__cpu_simple_unlock(kernel_lock);
    287  1.138        ad 		l->l_blcnt -= nlocks;
    288  1.122        ad 		splx(s);
    289  1.139        ad 		if (l->l_dopreempt)
    290  1.139        ad 			kpreempt(0);
    291  1.138        ad 	} else {
    292  1.122        ad 		ci->ci_biglock_count -= nlocks;
    293  1.138        ad 		l->l_blcnt -= nlocks;
    294  1.138        ad 		splx(s);
    295  1.138        ad 	}
    296   1.77      yamt 
    297  1.105        ad 	if (countp != NULL)
    298  1.105        ad 		*countp = olocks;
    299   1.77      yamt }
    300