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