Home | History | Annotate | Line # | Download | only in kern
kern_lock.c revision 1.161.4.2
      1  1.161.4.2    martin /*	$NetBSD: kern_lock.c,v 1.161.4.2 2020/04/08 14:08:51 martin Exp $	*/
      2       1.19   thorpej 
      3       1.19   thorpej /*-
      4  1.161.4.2    martin  * 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.161.4.2    martin __KERNEL_RCSID(0, "$NetBSD: kern_lock.c,v 1.161.4.2 2020/04/08 14:08:51 martin Exp $");
     35  1.161.4.2    martin 
     36  1.161.4.2    martin #ifdef _KERNEL_OPT
     37  1.161.4.2    martin #include "opt_lockdebug.h"
     38  1.161.4.2    martin #endif
     39      1.105        ad 
     40        1.1      fvdl #include <sys/param.h>
     41        1.1      fvdl #include <sys/proc.h>
     42        1.1      fvdl #include <sys/lock.h>
     43        1.2      fvdl #include <sys/systm.h>
     44      1.125        ad #include <sys/kernel.h>
     45      1.105        ad #include <sys/lockdebug.h>
     46      1.122        ad #include <sys/cpu.h>
     47      1.122        ad #include <sys/syslog.h>
     48      1.128        ad #include <sys/atomic.h>
     49      1.148        ad #include <sys/lwp.h>
     50      1.160     ozaki #include <sys/pserialize.h>
     51      1.105        ad 
     52  1.161.4.2    martin #if defined(DIAGNOSTIC) && !defined(LOCKDEBUG)
     53  1.161.4.2    martin #include <sys/ksyms.h>
     54  1.161.4.2    martin #endif
     55  1.161.4.2    martin 
     56      1.131        ad #include <machine/lock.h>
     57        1.1      fvdl 
     58       1.98        ad #include <dev/lockstat.h>
     59       1.98        ad 
     60      1.134        ad #define	RETURN_ADDRESS	(uintptr_t)__builtin_return_address(0)
     61       1.25   thorpej 
     62      1.127      yamt bool	kernel_lock_dodebug;
     63      1.132        ad 
     64      1.132        ad __cpu_simple_lock_t kernel_lock[CACHE_LINE_SIZE / sizeof(__cpu_simple_lock_t)]
     65      1.153      matt     __cacheline_aligned;
     66        1.1      fvdl 
     67       1.96      yamt void
     68      1.135      yamt assert_sleepable(void)
     69       1.96      yamt {
     70      1.135      yamt 	const char *reason;
     71      1.148        ad 	uint64_t pctr;
     72      1.148        ad 	bool idle;
     73       1.96      yamt 
     74      1.135      yamt 	if (panicstr != NULL) {
     75      1.117        ad 		return;
     76      1.135      yamt 	}
     77      1.135      yamt 
     78      1.132        ad 	LOCKDEBUG_BARRIER(kernel_lock, 1);
     79      1.135      yamt 
     80      1.148        ad 	/*
     81      1.148        ad 	 * Avoid disabling/re-enabling preemption here since this
     82      1.149    dyoung 	 * routine may be called in delicate situations.
     83      1.148        ad 	 */
     84      1.148        ad 	do {
     85      1.148        ad 		pctr = lwp_pctr();
     86  1.161.4.2    martin 		__insn_barrier();
     87      1.148        ad 		idle = CURCPU_IDLE_P();
     88  1.161.4.2    martin 		__insn_barrier();
     89      1.148        ad 	} while (pctr != lwp_pctr());
     90      1.148        ad 
     91      1.135      yamt 	reason = NULL;
     92      1.156     skrll 	if (idle && !cold &&
     93      1.156     skrll 	    kcpuset_isset(kcpuset_running, cpu_index(curcpu()))) {
     94      1.135      yamt 		reason = "idle";
     95      1.135      yamt 	}
     96      1.135      yamt 	if (cpu_intr_p()) {
     97      1.135      yamt 		reason = "interrupt";
     98       1.97      yamt 	}
     99      1.148        ad 	if (cpu_softintr_p()) {
    100      1.135      yamt 		reason = "softint";
    101      1.135      yamt 	}
    102      1.160     ozaki 	if (!pserialize_not_in_read_section()) {
    103      1.160     ozaki 		reason = "pserialize";
    104      1.160     ozaki 	}
    105      1.135      yamt 
    106      1.135      yamt 	if (reason) {
    107      1.135      yamt 		panic("%s: %s caller=%p", __func__, reason,
    108      1.135      yamt 		    (void *)RETURN_ADDRESS);
    109      1.135      yamt 	}
    110       1.96      yamt }
    111      1.105        ad 
    112       1.62   thorpej /*
    113       1.62   thorpej  * Functions for manipulating the kernel_lock.  We put them here
    114       1.62   thorpej  * so that they show up in profiles.
    115       1.62   thorpej  */
    116       1.62   thorpej 
    117      1.105        ad #define	_KERNEL_LOCK_ABORT(msg)						\
    118      1.158  christos     LOCKDEBUG_ABORT(__func__, __LINE__, kernel_lock, &_kernel_lock_ops, msg)
    119      1.105        ad 
    120      1.105        ad #ifdef LOCKDEBUG
    121      1.105        ad #define	_KERNEL_LOCK_ASSERT(cond)					\
    122      1.105        ad do {									\
    123      1.105        ad 	if (!(cond))							\
    124      1.105        ad 		_KERNEL_LOCK_ABORT("assertion failed: " #cond);		\
    125      1.105        ad } while (/* CONSTCOND */ 0)
    126      1.105        ad #else
    127      1.105        ad #define	_KERNEL_LOCK_ASSERT(cond)	/* nothing */
    128      1.105        ad #endif
    129      1.105        ad 
    130  1.161.4.1  christos static void	_kernel_lock_dump(const volatile void *, lockop_printer_t);
    131      1.105        ad 
    132      1.105        ad lockops_t _kernel_lock_ops = {
    133      1.161     ozaki 	.lo_name = "Kernel lock",
    134      1.161     ozaki 	.lo_type = LOCKOPS_SPIN,
    135      1.161     ozaki 	.lo_dump = _kernel_lock_dump,
    136      1.105        ad };
    137      1.105        ad 
    138       1.85      yamt /*
    139      1.105        ad  * Initialize the kernel lock.
    140       1.85      yamt  */
    141       1.62   thorpej void
    142      1.122        ad kernel_lock_init(void)
    143       1.62   thorpej {
    144       1.62   thorpej 
    145      1.132        ad 	__cpu_simple_lock_init(kernel_lock);
    146      1.132        ad 	kernel_lock_dodebug = LOCKDEBUG_ALLOC(kernel_lock, &_kernel_lock_ops,
    147      1.122        ad 	    RETURN_ADDRESS);
    148       1.62   thorpej }
    149      1.155    martin CTASSERT(CACHE_LINE_SIZE >= sizeof(__cpu_simple_lock_t));
    150       1.62   thorpej 
    151       1.62   thorpej /*
    152      1.105        ad  * Print debugging information about the kernel lock.
    153       1.62   thorpej  */
    154  1.161.4.1  christos static void
    155  1.161.4.1  christos _kernel_lock_dump(const volatile void *junk, lockop_printer_t pr)
    156       1.62   thorpej {
    157       1.85      yamt 	struct cpu_info *ci = curcpu();
    158       1.62   thorpej 
    159      1.105        ad 	(void)junk;
    160       1.85      yamt 
    161  1.161.4.1  christos 	pr("curcpu holds : %18d wanted by: %#018lx\n",
    162      1.105        ad 	    ci->ci_biglock_count, (long)ci->ci_biglock_wanted);
    163       1.62   thorpej }
    164       1.62   thorpej 
    165      1.105        ad /*
    166      1.150       mrg  * Acquire 'nlocks' holds on the kernel lock.
    167  1.161.4.2    martin  *
    168  1.161.4.2    martin  * Although it may not look it, this is one of the most central, intricate
    169  1.161.4.2    martin  * routines in the kernel, and tons of code elsewhere depends on its exact
    170  1.161.4.2    martin  * behaviour.  If you change something in here, expect it to bite you in the
    171  1.161.4.2    martin  * rear.
    172      1.105        ad  */
    173       1.62   thorpej void
    174      1.137  drochner _kernel_lock(int nlocks)
    175       1.62   thorpej {
    176      1.138        ad 	struct cpu_info *ci;
    177      1.105        ad 	LOCKSTAT_TIMER(spintime);
    178      1.105        ad 	LOCKSTAT_FLAG(lsflag);
    179      1.105        ad 	struct lwp *owant;
    180  1.161.4.2    martin #ifdef LOCKDEBUG
    181  1.161.4.2    martin 	u_int spins = 0;
    182  1.161.4.2    martin #endif
    183       1.85      yamt 	int s;
    184      1.137  drochner 	struct lwp *l = curlwp;
    185       1.85      yamt 
    186      1.105        ad 	_KERNEL_LOCK_ASSERT(nlocks > 0);
    187       1.62   thorpej 
    188      1.138        ad 	s = splvm();
    189      1.138        ad 	ci = curcpu();
    190      1.105        ad 	if (ci->ci_biglock_count != 0) {
    191      1.132        ad 		_KERNEL_LOCK_ASSERT(__SIMPLELOCK_LOCKED_P(kernel_lock));
    192      1.105        ad 		ci->ci_biglock_count += nlocks;
    193      1.122        ad 		l->l_blcnt += nlocks;
    194      1.138        ad 		splx(s);
    195      1.105        ad 		return;
    196      1.105        ad 	}
    197      1.105        ad 
    198      1.122        ad 	_KERNEL_LOCK_ASSERT(l->l_blcnt == 0);
    199      1.132        ad 	LOCKDEBUG_WANTLOCK(kernel_lock_dodebug, kernel_lock, RETURN_ADDRESS,
    200      1.154   mlelstv 	    0);
    201      1.107        ad 
    202  1.161.4.2    martin 	if (__predict_true(__cpu_simple_lock_try(kernel_lock))) {
    203      1.105        ad 		ci->ci_biglock_count = nlocks;
    204      1.122        ad 		l->l_blcnt = nlocks;
    205      1.144        ad 		LOCKDEBUG_LOCKED(kernel_lock_dodebug, kernel_lock, NULL,
    206      1.127      yamt 		    RETURN_ADDRESS, 0);
    207      1.105        ad 		splx(s);
    208      1.105        ad 		return;
    209      1.105        ad 	}
    210      1.105        ad 
    211      1.132        ad 	/*
    212      1.132        ad 	 * To remove the ordering constraint between adaptive mutexes
    213      1.132        ad 	 * and kernel_lock we must make it appear as if this thread is
    214      1.132        ad 	 * blocking.  For non-interlocked mutex release, a store fence
    215      1.132        ad 	 * is required to ensure that the result of any mutex_exit()
    216      1.132        ad 	 * by the current LWP becomes visible on the bus before the set
    217      1.132        ad 	 * of ci->ci_biglock_wanted becomes visible.
    218  1.161.4.2    martin 	 *
    219  1.161.4.2    martin 	 * However, we won't set ci_biglock_wanted until we've spun for
    220  1.161.4.2    martin 	 * a bit, as we don't want to make any lock waiters in rw_oncpu()
    221  1.161.4.2    martin 	 * or mutex_oncpu() block prematurely.
    222      1.132        ad 	 */
    223      1.132        ad 	membar_producer();
    224      1.132        ad 	owant = ci->ci_biglock_wanted;
    225      1.132        ad 	ci->ci_biglock_wanted = l;
    226  1.161.4.2    martin #if defined(DIAGNOSTIC) && !defined(LOCKDEBUG)
    227  1.161.4.2    martin 	l->l_ld_wanted = __builtin_return_address(0);
    228  1.161.4.2    martin #endif
    229      1.105        ad 
    230      1.105        ad 	/*
    231      1.132        ad 	 * Spin until we acquire the lock.  Once we have it, record the
    232      1.132        ad 	 * time spent with lockstat.
    233      1.105        ad 	 */
    234      1.132        ad 	LOCKSTAT_ENTER(lsflag);
    235      1.132        ad 	LOCKSTAT_START_TIMER(lsflag, spintime);
    236      1.105        ad 
    237      1.105        ad 	do {
    238      1.122        ad 		splx(s);
    239      1.132        ad 		while (__SIMPLELOCK_LOCKED_P(kernel_lock)) {
    240  1.161.4.2    martin #ifdef LOCKDEBUG
    241      1.132        ad 			if (SPINLOCK_SPINOUT(spins)) {
    242      1.143        ad 				extern int start_init_exec;
    243      1.136        ad 				if (!start_init_exec)
    244      1.136        ad 					_KERNEL_LOCK_ABORT("spinout");
    245      1.132        ad 			}
    246      1.122        ad 			SPINLOCK_BACKOFF_HOOK;
    247      1.105        ad 			SPINLOCK_SPIN_HOOK;
    248  1.161.4.2    martin #endif
    249      1.105        ad 		}
    250      1.132        ad 		s = splvm();
    251      1.132        ad 	} while (!__cpu_simple_lock_try(kernel_lock));
    252      1.105        ad 
    253      1.122        ad 	ci->ci_biglock_count = nlocks;
    254      1.122        ad 	l->l_blcnt = nlocks;
    255      1.107        ad 	LOCKSTAT_STOP_TIMER(lsflag, spintime);
    256      1.144        ad 	LOCKDEBUG_LOCKED(kernel_lock_dodebug, kernel_lock, NULL,
    257      1.144        ad 	    RETURN_ADDRESS, 0);
    258      1.132        ad 	if (owant == NULL) {
    259      1.132        ad 		LOCKSTAT_EVENT_RA(lsflag, kernel_lock,
    260      1.132        ad 		    LB_KERNEL_LOCK | LB_SPIN, 1, spintime, RETURN_ADDRESS);
    261      1.132        ad 	}
    262      1.132        ad 	LOCKSTAT_EXIT(lsflag);
    263       1.85      yamt 	splx(s);
    264      1.105        ad 
    265      1.105        ad 	/*
    266      1.132        ad 	 * Now that we have kernel_lock, reset ci_biglock_wanted.  This
    267      1.132        ad 	 * store must be unbuffered (immediately visible on the bus) in
    268      1.157     skrll 	 * order for non-interlocked mutex release to work correctly.
    269      1.132        ad 	 * It must be visible before a mutex_exit() can execute on this
    270      1.132        ad 	 * processor.
    271      1.132        ad 	 *
    272      1.132        ad 	 * Note: only where CAS is available in hardware will this be
    273      1.132        ad 	 * an unbuffered write, but non-interlocked release cannot be
    274      1.132        ad 	 * done on CPUs without CAS in hardware.
    275      1.105        ad 	 */
    276      1.132        ad 	(void)atomic_swap_ptr(&ci->ci_biglock_wanted, owant);
    277      1.132        ad 
    278      1.132        ad 	/*
    279      1.132        ad 	 * Issue a memory barrier as we have acquired a lock.  This also
    280      1.132        ad 	 * prevents stores from a following mutex_exit() being reordered
    281      1.132        ad 	 * to occur before our store to ci_biglock_wanted above.
    282      1.132        ad 	 */
    283  1.161.4.2    martin #ifndef __HAVE_ATOMIC_AS_MEMBAR
    284      1.132        ad 	membar_enter();
    285  1.161.4.2    martin #endif
    286       1.62   thorpej }
    287       1.62   thorpej 
    288       1.62   thorpej /*
    289      1.105        ad  * Release 'nlocks' holds on the kernel lock.  If 'nlocks' is zero, release
    290      1.150       mrg  * all holds.
    291       1.62   thorpej  */
    292       1.62   thorpej void
    293      1.137  drochner _kernel_unlock(int nlocks, int *countp)
    294       1.62   thorpej {
    295      1.138        ad 	struct cpu_info *ci;
    296      1.105        ad 	u_int olocks;
    297      1.105        ad 	int s;
    298      1.137  drochner 	struct lwp *l = curlwp;
    299       1.62   thorpej 
    300      1.105        ad 	_KERNEL_LOCK_ASSERT(nlocks < 2);
    301       1.62   thorpej 
    302      1.122        ad 	olocks = l->l_blcnt;
    303       1.77      yamt 
    304      1.105        ad 	if (olocks == 0) {
    305      1.105        ad 		_KERNEL_LOCK_ASSERT(nlocks <= 0);
    306      1.105        ad 		if (countp != NULL)
    307      1.105        ad 			*countp = 0;
    308      1.105        ad 		return;
    309      1.105        ad 	}
    310       1.77      yamt 
    311      1.132        ad 	_KERNEL_LOCK_ASSERT(__SIMPLELOCK_LOCKED_P(kernel_lock));
    312       1.85      yamt 
    313      1.105        ad 	if (nlocks == 0)
    314      1.105        ad 		nlocks = olocks;
    315      1.105        ad 	else if (nlocks == -1) {
    316      1.105        ad 		nlocks = 1;
    317      1.105        ad 		_KERNEL_LOCK_ASSERT(olocks == 1);
    318      1.105        ad 	}
    319      1.138        ad 	s = splvm();
    320      1.138        ad 	ci = curcpu();
    321      1.122        ad 	_KERNEL_LOCK_ASSERT(ci->ci_biglock_count >= l->l_blcnt);
    322      1.122        ad 	if (ci->ci_biglock_count == nlocks) {
    323      1.132        ad 		LOCKDEBUG_UNLOCKED(kernel_lock_dodebug, kernel_lock,
    324      1.127      yamt 		    RETURN_ADDRESS, 0);
    325      1.122        ad 		ci->ci_biglock_count = 0;
    326      1.132        ad 		__cpu_simple_unlock(kernel_lock);
    327      1.138        ad 		l->l_blcnt -= nlocks;
    328      1.122        ad 		splx(s);
    329      1.139        ad 		if (l->l_dopreempt)
    330      1.139        ad 			kpreempt(0);
    331      1.138        ad 	} else {
    332      1.122        ad 		ci->ci_biglock_count -= nlocks;
    333      1.138        ad 		l->l_blcnt -= nlocks;
    334      1.138        ad 		splx(s);
    335      1.138        ad 	}
    336       1.77      yamt 
    337      1.105        ad 	if (countp != NULL)
    338      1.105        ad 		*countp = olocks;
    339       1.77      yamt }
    340      1.152  jmcneill 
    341      1.152  jmcneill bool
    342      1.152  jmcneill _kernel_locked_p(void)
    343      1.152  jmcneill {
    344      1.152  jmcneill 	return __SIMPLELOCK_LOCKED_P(kernel_lock);
    345      1.152  jmcneill }
    346