Home | History | Annotate | Line # | Download | only in kern
kern_lock.c revision 1.185
      1  1.185  riastrad /*	$NetBSD: kern_lock.c,v 1.185 2023/07/07 17:05:13 riastradh Exp $	*/
      2   1.19   thorpej 
      3   1.19   thorpej /*-
      4  1.165        ad  * Copyright (c) 2002, 2006, 2007, 2008, 2009, 2020 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.185  riastrad __KERNEL_RCSID(0, "$NetBSD: kern_lock.c,v 1.185 2023/07/07 17:05:13 riastradh Exp $");
     35  1.168        ad 
     36  1.168        ad #ifdef _KERNEL_OPT
     37  1.185  riastrad #include "opt_ddb.h"
     38  1.168        ad #include "opt_lockdebug.h"
     39  1.168        ad #endif
     40  1.105        ad 
     41    1.1      fvdl #include <sys/param.h>
     42    1.1      fvdl #include <sys/proc.h>
     43    1.1      fvdl #include <sys/lock.h>
     44    1.2      fvdl #include <sys/systm.h>
     45  1.125        ad #include <sys/kernel.h>
     46  1.105        ad #include <sys/lockdebug.h>
     47  1.122        ad #include <sys/cpu.h>
     48  1.122        ad #include <sys/syslog.h>
     49  1.128        ad #include <sys/atomic.h>
     50  1.148        ad #include <sys/lwp.h>
     51  1.160     ozaki #include <sys/pserialize.h>
     52  1.105        ad 
     53  1.168        ad #if defined(DIAGNOSTIC) && !defined(LOCKDEBUG)
     54  1.168        ad #include <sys/ksyms.h>
     55  1.168        ad #endif
     56  1.168        ad 
     57  1.185  riastrad #ifdef DDB
     58  1.185  riastrad #include <ddb/ddb.h>
     59  1.185  riastrad #endif
     60  1.185  riastrad 
     61  1.131        ad #include <machine/lock.h>
     62    1.1      fvdl 
     63   1.98        ad #include <dev/lockstat.h>
     64   1.98        ad 
     65  1.134        ad #define	RETURN_ADDRESS	(uintptr_t)__builtin_return_address(0)
     66   1.25   thorpej 
     67  1.127      yamt bool	kernel_lock_dodebug;
     68  1.132        ad 
     69  1.132        ad __cpu_simple_lock_t kernel_lock[CACHE_LINE_SIZE / sizeof(__cpu_simple_lock_t)]
     70  1.153      matt     __cacheline_aligned;
     71    1.1      fvdl 
     72   1.96      yamt void
     73  1.135      yamt assert_sleepable(void)
     74   1.96      yamt {
     75  1.184  riastrad 	struct lwp *l = curlwp;
     76  1.135      yamt 	const char *reason;
     77  1.184  riastrad 	uint64_t ncsw;
     78  1.148        ad 	bool idle;
     79   1.96      yamt 
     80  1.182     ozaki 	if (__predict_false(panicstr != NULL)) {
     81  1.117        ad 		return;
     82  1.135      yamt 	}
     83  1.135      yamt 
     84  1.132        ad 	LOCKDEBUG_BARRIER(kernel_lock, 1);
     85  1.135      yamt 
     86  1.148        ad 	/*
     87  1.148        ad 	 * Avoid disabling/re-enabling preemption here since this
     88  1.149    dyoung 	 * routine may be called in delicate situations.
     89  1.148        ad 	 */
     90  1.148        ad 	do {
     91  1.184  riastrad 		ncsw = l->l_ncsw;
     92  1.164  riastrad 		__insn_barrier();
     93  1.148        ad 		idle = CURCPU_IDLE_P();
     94  1.164  riastrad 		__insn_barrier();
     95  1.184  riastrad 	} while (__predict_false(ncsw != l->l_ncsw));
     96  1.148        ad 
     97  1.135      yamt 	reason = NULL;
     98  1.184  riastrad 	if (__predict_false(idle) && !cold) {
     99  1.135      yamt 		reason = "idle";
    100  1.184  riastrad 		goto panic;
    101  1.135      yamt 	}
    102  1.184  riastrad 	if (__predict_false(cpu_intr_p())) {
    103  1.135      yamt 		reason = "interrupt";
    104  1.184  riastrad 		goto panic;
    105   1.97      yamt 	}
    106  1.184  riastrad 	if (__predict_false(cpu_softintr_p())) {
    107  1.135      yamt 		reason = "softint";
    108  1.184  riastrad 		goto panic;
    109  1.135      yamt 	}
    110  1.184  riastrad 	if (__predict_false(!pserialize_not_in_read_section())) {
    111  1.160     ozaki 		reason = "pserialize";
    112  1.184  riastrad 		goto panic;
    113  1.160     ozaki 	}
    114  1.184  riastrad 	return;
    115  1.135      yamt 
    116  1.184  riastrad panic:	panic("%s: %s caller=%p", __func__, reason, (void *)RETURN_ADDRESS);
    117   1.96      yamt }
    118  1.105        ad 
    119   1.62   thorpej /*
    120   1.62   thorpej  * Functions for manipulating the kernel_lock.  We put them here
    121   1.62   thorpej  * so that they show up in profiles.
    122   1.62   thorpej  */
    123   1.62   thorpej 
    124  1.185  riastrad #ifdef LOCKDEBUG
    125  1.105        ad #define	_KERNEL_LOCK_ABORT(msg)						\
    126  1.158  christos     LOCKDEBUG_ABORT(__func__, __LINE__, kernel_lock, &_kernel_lock_ops, msg)
    127  1.105        ad #define	_KERNEL_LOCK_ASSERT(cond)					\
    128  1.105        ad do {									\
    129  1.105        ad 	if (!(cond))							\
    130  1.105        ad 		_KERNEL_LOCK_ABORT("assertion failed: " #cond);		\
    131  1.105        ad } while (/* CONSTCOND */ 0)
    132  1.105        ad #else
    133  1.185  riastrad #define	_KERNEL_LOCK_ABORT(cond)	__nothing
    134  1.185  riastrad #define	_KERNEL_LOCK_ASSERT(cond)	__nothing
    135  1.105        ad #endif
    136  1.105        ad 
    137  1.163     ozaki static void	_kernel_lock_dump(const volatile void *, lockop_printer_t);
    138  1.105        ad 
    139  1.105        ad lockops_t _kernel_lock_ops = {
    140  1.161     ozaki 	.lo_name = "Kernel lock",
    141  1.161     ozaki 	.lo_type = LOCKOPS_SPIN,
    142  1.161     ozaki 	.lo_dump = _kernel_lock_dump,
    143  1.105        ad };
    144  1.105        ad 
    145  1.174  riastrad static void
    146  1.174  riastrad kernel_lock_trace_ipi(void *cookie)
    147  1.174  riastrad {
    148  1.174  riastrad 
    149  1.174  riastrad 	printf("%s[%d %s]: hogging kernel lock\n", cpu_name(curcpu()),
    150  1.174  riastrad 	    curlwp->l_lid,
    151  1.174  riastrad 	    curlwp->l_name ? curlwp->l_name : curproc->p_comm);
    152  1.185  riastrad #ifdef DDB
    153  1.174  riastrad 	db_stacktrace();
    154  1.185  riastrad #endif
    155  1.174  riastrad }
    156  1.174  riastrad 
    157   1.85      yamt /*
    158  1.105        ad  * Initialize the kernel lock.
    159   1.85      yamt  */
    160   1.62   thorpej void
    161  1.122        ad kernel_lock_init(void)
    162   1.62   thorpej {
    163   1.62   thorpej 
    164  1.132        ad 	__cpu_simple_lock_init(kernel_lock);
    165  1.132        ad 	kernel_lock_dodebug = LOCKDEBUG_ALLOC(kernel_lock, &_kernel_lock_ops,
    166  1.122        ad 	    RETURN_ADDRESS);
    167   1.62   thorpej }
    168  1.155    martin CTASSERT(CACHE_LINE_SIZE >= sizeof(__cpu_simple_lock_t));
    169   1.62   thorpej 
    170   1.62   thorpej /*
    171  1.105        ad  * Print debugging information about the kernel lock.
    172   1.62   thorpej  */
    173  1.162     ozaki static void
    174  1.163     ozaki _kernel_lock_dump(const volatile void *junk, lockop_printer_t pr)
    175   1.62   thorpej {
    176   1.85      yamt 	struct cpu_info *ci = curcpu();
    177   1.62   thorpej 
    178  1.105        ad 	(void)junk;
    179   1.85      yamt 
    180  1.163     ozaki 	pr("curcpu holds : %18d wanted by: %#018lx\n",
    181  1.105        ad 	    ci->ci_biglock_count, (long)ci->ci_biglock_wanted);
    182   1.62   thorpej }
    183   1.62   thorpej 
    184  1.105        ad /*
    185  1.150       mrg  * Acquire 'nlocks' holds on the kernel lock.
    186  1.167        ad  *
    187  1.167        ad  * Although it may not look it, this is one of the most central, intricate
    188  1.167        ad  * routines in the kernel, and tons of code elsewhere depends on its exact
    189  1.167        ad  * behaviour.  If you change something in here, expect it to bite you in the
    190  1.167        ad  * rear.
    191  1.105        ad  */
    192   1.62   thorpej void
    193  1.137  drochner _kernel_lock(int nlocks)
    194   1.62   thorpej {
    195  1.138        ad 	struct cpu_info *ci;
    196  1.105        ad 	LOCKSTAT_TIMER(spintime);
    197  1.105        ad 	LOCKSTAT_FLAG(lsflag);
    198  1.105        ad 	struct lwp *owant;
    199  1.174  riastrad 	static struct cpu_info *kernel_lock_holder;
    200  1.165        ad 	u_int spins = 0;
    201  1.180  riastrad 	u_int starttime = getticks();
    202   1.85      yamt 	int s;
    203  1.137  drochner 	struct lwp *l = curlwp;
    204   1.85      yamt 
    205  1.105        ad 	_KERNEL_LOCK_ASSERT(nlocks > 0);
    206   1.62   thorpej 
    207  1.138        ad 	s = splvm();
    208  1.138        ad 	ci = curcpu();
    209  1.105        ad 	if (ci->ci_biglock_count != 0) {
    210  1.132        ad 		_KERNEL_LOCK_ASSERT(__SIMPLELOCK_LOCKED_P(kernel_lock));
    211  1.105        ad 		ci->ci_biglock_count += nlocks;
    212  1.122        ad 		l->l_blcnt += nlocks;
    213  1.138        ad 		splx(s);
    214  1.105        ad 		return;
    215  1.105        ad 	}
    216  1.105        ad 
    217  1.122        ad 	_KERNEL_LOCK_ASSERT(l->l_blcnt == 0);
    218  1.132        ad 	LOCKDEBUG_WANTLOCK(kernel_lock_dodebug, kernel_lock, RETURN_ADDRESS,
    219  1.154   mlelstv 	    0);
    220  1.107        ad 
    221  1.165        ad 	if (__predict_true(__cpu_simple_lock_try(kernel_lock))) {
    222  1.177  riastrad #ifdef LOCKDEBUG
    223  1.176  riastrad 		kernel_lock_holder = curcpu();
    224  1.177  riastrad #endif
    225  1.105        ad 		ci->ci_biglock_count = nlocks;
    226  1.122        ad 		l->l_blcnt = nlocks;
    227  1.144        ad 		LOCKDEBUG_LOCKED(kernel_lock_dodebug, kernel_lock, NULL,
    228  1.127      yamt 		    RETURN_ADDRESS, 0);
    229  1.105        ad 		splx(s);
    230  1.105        ad 		return;
    231  1.105        ad 	}
    232  1.105        ad 
    233  1.132        ad 	/*
    234  1.132        ad 	 * To remove the ordering constraint between adaptive mutexes
    235  1.132        ad 	 * and kernel_lock we must make it appear as if this thread is
    236  1.132        ad 	 * blocking.  For non-interlocked mutex release, a store fence
    237  1.132        ad 	 * is required to ensure that the result of any mutex_exit()
    238  1.132        ad 	 * by the current LWP becomes visible on the bus before the set
    239  1.132        ad 	 * of ci->ci_biglock_wanted becomes visible.
    240  1.183  riastrad 	 *
    241  1.183  riastrad 	 * This membar_producer matches the membar_consumer in
    242  1.183  riastrad 	 * mutex_vector_enter.
    243  1.183  riastrad 	 *
    244  1.183  riastrad 	 * That way, if l has just released a mutex, mutex_vector_enter
    245  1.183  riastrad 	 * can't see this store ci->ci_biglock_wanted := l until it
    246  1.183  riastrad 	 * will also see the mutex_exit store mtx->mtx_owner := 0 which
    247  1.183  riastrad 	 * clears the has-waiters bit.
    248  1.132        ad 	 */
    249  1.132        ad 	membar_producer();
    250  1.132        ad 	owant = ci->ci_biglock_wanted;
    251  1.183  riastrad 	atomic_store_relaxed(&ci->ci_biglock_wanted, l);
    252  1.168        ad #if defined(DIAGNOSTIC) && !defined(LOCKDEBUG)
    253  1.168        ad 	l->l_ld_wanted = __builtin_return_address(0);
    254  1.168        ad #endif
    255  1.105        ad 
    256  1.105        ad 	/*
    257  1.167        ad 	 * Spin until we acquire the lock.  Once we have it, record the
    258  1.167        ad 	 * time spent with lockstat.
    259  1.105        ad 	 */
    260  1.132        ad 	LOCKSTAT_ENTER(lsflag);
    261  1.132        ad 	LOCKSTAT_START_TIMER(lsflag, spintime);
    262  1.105        ad 
    263  1.105        ad 	do {
    264  1.122        ad 		splx(s);
    265  1.132        ad 		while (__SIMPLELOCK_LOCKED_P(kernel_lock)) {
    266  1.165        ad #ifdef LOCKDEBUG
    267  1.180  riastrad 			if (SPINLOCK_SPINOUT(spins) && start_init_exec &&
    268  1.180  riastrad 			    (getticks() - starttime) > 10*hz) {
    269  1.174  riastrad 				ipi_msg_t msg = {
    270  1.174  riastrad 					.func = kernel_lock_trace_ipi,
    271  1.174  riastrad 				};
    272  1.175  riastrad 				kpreempt_disable();
    273  1.174  riastrad 				ipi_unicast(&msg, kernel_lock_holder);
    274  1.174  riastrad 				ipi_wait(&msg);
    275  1.175  riastrad 				kpreempt_enable();
    276  1.178  riastrad 				_KERNEL_LOCK_ABORT("spinout");
    277  1.132        ad 			}
    278  1.179  riastrad #endif
    279  1.169  christos 			SPINLOCK_BACKOFF_HOOK;
    280  1.169  christos 			SPINLOCK_SPIN_HOOK;
    281  1.105        ad 		}
    282  1.132        ad 		s = splvm();
    283  1.132        ad 	} while (!__cpu_simple_lock_try(kernel_lock));
    284  1.105        ad 
    285  1.122        ad 	ci->ci_biglock_count = nlocks;
    286  1.122        ad 	l->l_blcnt = nlocks;
    287  1.107        ad 	LOCKSTAT_STOP_TIMER(lsflag, spintime);
    288  1.144        ad 	LOCKDEBUG_LOCKED(kernel_lock_dodebug, kernel_lock, NULL,
    289  1.144        ad 	    RETURN_ADDRESS, 0);
    290  1.132        ad 	if (owant == NULL) {
    291  1.132        ad 		LOCKSTAT_EVENT_RA(lsflag, kernel_lock,
    292  1.132        ad 		    LB_KERNEL_LOCK | LB_SPIN, 1, spintime, RETURN_ADDRESS);
    293  1.132        ad 	}
    294  1.132        ad 	LOCKSTAT_EXIT(lsflag);
    295  1.167        ad 	splx(s);
    296  1.105        ad 
    297  1.105        ad 	/*
    298  1.132        ad 	 * Now that we have kernel_lock, reset ci_biglock_wanted.  This
    299  1.183  riastrad 	 * store must be visible on other CPUs before a mutex_exit() on
    300  1.183  riastrad 	 * this CPU can test the has-waiters bit.
    301  1.183  riastrad 	 *
    302  1.183  riastrad 	 * This membar_enter matches the membar_enter in
    303  1.183  riastrad 	 * mutex_vector_enter.  (Yes, not membar_exit -- the legacy
    304  1.183  riastrad 	 * naming is confusing, but store-before-load usually pairs
    305  1.183  riastrad 	 * with store-before-load, in the extremely rare cases where it
    306  1.183  riastrad 	 * is used at all.)
    307  1.132        ad 	 *
    308  1.183  riastrad 	 * That way, mutex_vector_enter can't see this store
    309  1.183  riastrad 	 * ci->ci_biglock_wanted := owant until it has set the
    310  1.183  riastrad 	 * has-waiters bit.
    311  1.105        ad 	 */
    312  1.132        ad 	(void)atomic_swap_ptr(&ci->ci_biglock_wanted, owant);
    313  1.165        ad #ifndef __HAVE_ATOMIC_AS_MEMBAR
    314  1.132        ad 	membar_enter();
    315  1.165        ad #endif
    316  1.174  riastrad 
    317  1.174  riastrad #ifdef LOCKDEBUG
    318  1.174  riastrad 	kernel_lock_holder = curcpu();
    319  1.174  riastrad #endif
    320   1.62   thorpej }
    321   1.62   thorpej 
    322   1.62   thorpej /*
    323  1.105        ad  * Release 'nlocks' holds on the kernel lock.  If 'nlocks' is zero, release
    324  1.150       mrg  * all holds.
    325   1.62   thorpej  */
    326   1.62   thorpej void
    327  1.137  drochner _kernel_unlock(int nlocks, int *countp)
    328   1.62   thorpej {
    329  1.138        ad 	struct cpu_info *ci;
    330  1.105        ad 	u_int olocks;
    331  1.105        ad 	int s;
    332  1.137  drochner 	struct lwp *l = curlwp;
    333   1.62   thorpej 
    334  1.105        ad 	_KERNEL_LOCK_ASSERT(nlocks < 2);
    335   1.62   thorpej 
    336  1.122        ad 	olocks = l->l_blcnt;
    337   1.77      yamt 
    338  1.105        ad 	if (olocks == 0) {
    339  1.105        ad 		_KERNEL_LOCK_ASSERT(nlocks <= 0);
    340  1.105        ad 		if (countp != NULL)
    341  1.105        ad 			*countp = 0;
    342  1.105        ad 		return;
    343  1.105        ad 	}
    344   1.77      yamt 
    345  1.132        ad 	_KERNEL_LOCK_ASSERT(__SIMPLELOCK_LOCKED_P(kernel_lock));
    346   1.85      yamt 
    347  1.105        ad 	if (nlocks == 0)
    348  1.105        ad 		nlocks = olocks;
    349  1.105        ad 	else if (nlocks == -1) {
    350  1.105        ad 		nlocks = 1;
    351  1.105        ad 		_KERNEL_LOCK_ASSERT(olocks == 1);
    352  1.105        ad 	}
    353  1.138        ad 	s = splvm();
    354  1.138        ad 	ci = curcpu();
    355  1.122        ad 	_KERNEL_LOCK_ASSERT(ci->ci_biglock_count >= l->l_blcnt);
    356  1.122        ad 	if (ci->ci_biglock_count == nlocks) {
    357  1.132        ad 		LOCKDEBUG_UNLOCKED(kernel_lock_dodebug, kernel_lock,
    358  1.127      yamt 		    RETURN_ADDRESS, 0);
    359  1.122        ad 		ci->ci_biglock_count = 0;
    360  1.132        ad 		__cpu_simple_unlock(kernel_lock);
    361  1.138        ad 		l->l_blcnt -= nlocks;
    362  1.122        ad 		splx(s);
    363  1.139        ad 		if (l->l_dopreempt)
    364  1.139        ad 			kpreempt(0);
    365  1.138        ad 	} else {
    366  1.122        ad 		ci->ci_biglock_count -= nlocks;
    367  1.138        ad 		l->l_blcnt -= nlocks;
    368  1.138        ad 		splx(s);
    369  1.138        ad 	}
    370   1.77      yamt 
    371  1.105        ad 	if (countp != NULL)
    372  1.105        ad 		*countp = olocks;
    373   1.77      yamt }
    374  1.152  jmcneill 
    375  1.152  jmcneill bool
    376  1.152  jmcneill _kernel_locked_p(void)
    377  1.152  jmcneill {
    378  1.152  jmcneill 	return __SIMPLELOCK_LOCKED_P(kernel_lock);
    379  1.152  jmcneill }
    380