subr_lockdebug.c revision 1.1.2.4 1 1.1.2.4 ad /* $NetBSD: subr_lockdebug.c,v 1.1.2.4 2006/11/18 21:39:22 ad Exp $ */
2 1.1.2.1 ad
3 1.1.2.1 ad /*-
4 1.1.2.1 ad * Copyright (c) 2006 The NetBSD Foundation, Inc.
5 1.1.2.1 ad * All rights reserved.
6 1.1.2.1 ad *
7 1.1.2.1 ad * This code is derived from software contributed to The NetBSD Foundation
8 1.1.2.1 ad * by Andrew Doran.
9 1.1.2.1 ad *
10 1.1.2.1 ad * Redistribution and use in source and binary forms, with or without
11 1.1.2.1 ad * modification, are permitted provided that the following conditions
12 1.1.2.1 ad * are met:
13 1.1.2.1 ad * 1. Redistributions of source code must retain the above copyright
14 1.1.2.1 ad * notice, this list of conditions and the following disclaimer.
15 1.1.2.1 ad * 2. Redistributions in binary form must reproduce the above copyright
16 1.1.2.1 ad * notice, this list of conditions and the following disclaimer in the
17 1.1.2.1 ad * documentation and/or other materials provided with the distribution.
18 1.1.2.1 ad * 3. All advertising materials mentioning features or use of this software
19 1.1.2.1 ad * must display the following acknowledgement:
20 1.1.2.1 ad * This product includes software developed by the NetBSD
21 1.1.2.1 ad * Foundation, Inc. and its contributors.
22 1.1.2.1 ad * 4. Neither the name of The NetBSD Foundation nor the names of its
23 1.1.2.1 ad * contributors may be used to endorse or promote products derived
24 1.1.2.1 ad * from this software without specific prior written permission.
25 1.1.2.1 ad *
26 1.1.2.1 ad * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
27 1.1.2.1 ad * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
28 1.1.2.1 ad * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
29 1.1.2.1 ad * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
30 1.1.2.1 ad * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
31 1.1.2.1 ad * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
32 1.1.2.1 ad * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
33 1.1.2.1 ad * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
34 1.1.2.1 ad * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
35 1.1.2.1 ad * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
36 1.1.2.1 ad * POSSIBILITY OF SUCH DAMAGE.
37 1.1.2.1 ad */
38 1.1.2.1 ad
39 1.1.2.1 ad /*
40 1.1.2.1 ad * Basic lock debugging code shared among lock primatives.
41 1.1.2.1 ad */
42 1.1.2.1 ad
43 1.1.2.1 ad #include "opt_multiprocessor.h"
44 1.1.2.1 ad
45 1.1.2.1 ad #include <sys/cdefs.h>
46 1.1.2.4 ad __KERNEL_RCSID(0, "$NetBSD: subr_lockdebug.c,v 1.1.2.4 2006/11/18 21:39:22 ad Exp $");
47 1.1.2.1 ad
48 1.1.2.1 ad #include <sys/param.h>
49 1.1.2.1 ad #include <sys/proc.h>
50 1.1.2.1 ad #include <sys/systm.h>
51 1.1.2.1 ad #include <sys/malloc.h>
52 1.1.2.1 ad #include <sys/lock.h>
53 1.1.2.1 ad #include <sys/lockdebug.h>
54 1.1.2.1 ad
55 1.1.2.1 ad #include <machine/cpu.h>
56 1.1.2.1 ad
57 1.1.2.1 ad #ifdef LOCKDEBUG
58 1.1.2.1 ad
59 1.1.2.1 ad #define LD_BATCH_SHIFT 9
60 1.1.2.1 ad #define LD_BATCH (1 << LD_BATCH_SHIFT)
61 1.1.2.1 ad #define LD_BATCH_MASK (LD_BATCH - 1)
62 1.1.2.1 ad #define LD_MAX_LOCKS 1048576
63 1.1.2.1 ad #define LD_SLOP 16
64 1.1.2.1 ad
65 1.1.2.1 ad #define LD_LOCKED 0x01
66 1.1.2.1 ad #define LD_SLEEPER 0x02
67 1.1.2.1 ad
68 1.1.2.3 ad #define LD_NOID LD_MAX_LOCKS
69 1.1.2.3 ad
70 1.1.2.1 ad typedef struct lockdebuglk {
71 1.1.2.1 ad __cpu_simple_lock_t lk_lock;
72 1.1.2.1 ad int lk_oldspl;
73 1.1.2.1 ad } volatile lockdebuglk_t;
74 1.1.2.1 ad
75 1.1.2.1 ad typedef struct lockdebug {
76 1.1.2.1 ad _TAILQ_ENTRY(struct lockdebug, volatile) ld_chain;
77 1.1.2.3 ad volatile void *ld_lock;
78 1.1.2.1 ad lockops_t *ld_lockops;
79 1.1.2.1 ad struct lwp *ld_lwp;
80 1.1.2.1 ad uintptr_t ld_locked;
81 1.1.2.1 ad uintptr_t ld_unlocked;
82 1.1.2.1 ad u_int ld_id;
83 1.1.2.1 ad u_short ld_cpu;
84 1.1.2.1 ad u_short ld_shares;
85 1.1.2.1 ad u_char ld_flags;
86 1.1.2.1 ad } volatile lockdebug_t;
87 1.1.2.1 ad
88 1.1.2.1 ad typedef _TAILQ_HEAD(lockdebuglist, struct lockdebug, volatile) lockdebuglist_t;
89 1.1.2.1 ad
90 1.1.2.1 ad lockdebuglk_t ld_sleeper_lk;
91 1.1.2.1 ad lockdebuglk_t ld_spinner_lk;
92 1.1.2.1 ad lockdebuglk_t ld_free_lk;
93 1.1.2.1 ad
94 1.1.2.1 ad lockdebuglist_t ld_sleepers;
95 1.1.2.1 ad lockdebuglist_t ld_spinners;
96 1.1.2.1 ad lockdebuglist_t ld_free;
97 1.1.2.1 ad int ld_nfree;
98 1.1.2.1 ad int ld_freeptr;
99 1.1.2.1 ad int ld_recurse;
100 1.1.2.1 ad lockdebug_t *ld_table[LD_MAX_LOCKS / LD_BATCH];
101 1.1.2.3 ad char ld_panicbuf[1024];
102 1.1.2.1 ad
103 1.1.2.1 ad lockdebug_t ld_prime[LD_BATCH];
104 1.1.2.1 ad
105 1.1.2.1 ad MALLOC_DEFINE(M_LOCKDEBUG, "lockdebug", "lockdebug structures");
106 1.1.2.1 ad
107 1.1.2.1 ad void lockdebug_abort1(lockdebug_t *, lockdebuglk_t *lk, const char *,
108 1.1.2.1 ad const char *);
109 1.1.2.1 ad void lockdebug_more(void);
110 1.1.2.1 ad
111 1.1.2.1 ad static inline void
112 1.1.2.1 ad lockdebug_lock(lockdebuglk_t *lk)
113 1.1.2.1 ad {
114 1.1.2.1 ad int s;
115 1.1.2.1 ad
116 1.1.2.1 ad s = spllock();
117 1.1.2.1 ad __cpu_simple_lock(&lk->lk_lock);
118 1.1.2.1 ad lk->lk_oldspl = s;
119 1.1.2.1 ad }
120 1.1.2.1 ad
121 1.1.2.1 ad static inline void
122 1.1.2.1 ad lockdebug_unlock(lockdebuglk_t *lk)
123 1.1.2.1 ad {
124 1.1.2.1 ad int s;
125 1.1.2.1 ad
126 1.1.2.1 ad s = lk->lk_oldspl;
127 1.1.2.1 ad __cpu_simple_unlock(&lk->lk_lock);
128 1.1.2.1 ad splx(s);
129 1.1.2.1 ad }
130 1.1.2.1 ad
131 1.1.2.1 ad /*
132 1.1.2.1 ad * lockdebug_lookup:
133 1.1.2.1 ad *
134 1.1.2.1 ad * Find a lockdebug structure by ID and return it locked.
135 1.1.2.1 ad */
136 1.1.2.1 ad static inline lockdebug_t *
137 1.1.2.1 ad lockdebug_lookup(u_int id, lockdebuglk_t **lk)
138 1.1.2.1 ad {
139 1.1.2.1 ad lockdebug_t *ld;
140 1.1.2.1 ad
141 1.1.2.3 ad if (id == LD_NOID)
142 1.1.2.3 ad return NULL;
143 1.1.2.3 ad
144 1.1.2.1 ad ld = ld_table[id >> LD_BATCH_SHIFT] + (id & LD_BATCH_MASK);
145 1.1.2.1 ad
146 1.1.2.1 ad if (id == 0 || id >= LD_MAX_LOCKS || ld == NULL || ld->ld_lock == NULL)
147 1.1.2.1 ad panic("lockdebug_lookup: uninitialized lock (id=%d)", id);
148 1.1.2.1 ad
149 1.1.2.1 ad if (ld->ld_id != id)
150 1.1.2.1 ad panic("lockdebug_lookup: corrupt table");
151 1.1.2.1 ad
152 1.1.2.1 ad if ((ld->ld_flags & LD_SLEEPER) != 0)
153 1.1.2.1 ad *lk = &ld_sleeper_lk;
154 1.1.2.1 ad else
155 1.1.2.1 ad *lk = &ld_spinner_lk;
156 1.1.2.1 ad
157 1.1.2.1 ad lockdebug_lock(*lk);
158 1.1.2.1 ad return ld;
159 1.1.2.1 ad }
160 1.1.2.1 ad
161 1.1.2.1 ad /*
162 1.1.2.1 ad * lockdebug_init:
163 1.1.2.1 ad *
164 1.1.2.1 ad * Initialize the lockdebug system. Allocate an initial pool of
165 1.1.2.1 ad * lockdebug structures before the VM system is up and running.
166 1.1.2.1 ad */
167 1.1.2.1 ad void
168 1.1.2.1 ad lockdebug_init(void)
169 1.1.2.1 ad {
170 1.1.2.1 ad lockdebug_t *ld;
171 1.1.2.1 ad int i;
172 1.1.2.1 ad
173 1.1.2.1 ad __cpu_simple_lock_init(&ld_sleeper_lk.lk_lock);
174 1.1.2.1 ad __cpu_simple_lock_init(&ld_spinner_lk.lk_lock);
175 1.1.2.1 ad __cpu_simple_lock_init(&ld_free_lk.lk_lock);
176 1.1.2.1 ad
177 1.1.2.1 ad TAILQ_INIT(&ld_free);
178 1.1.2.1 ad TAILQ_INIT(&ld_sleepers);
179 1.1.2.1 ad TAILQ_INIT(&ld_spinners);
180 1.1.2.1 ad
181 1.1.2.1 ad ld = ld_prime;
182 1.1.2.1 ad ld_table[0] = ld;
183 1.1.2.1 ad for (i = 1, ld++; i < LD_BATCH; i++, ld++) {
184 1.1.2.1 ad ld->ld_id = i;
185 1.1.2.1 ad TAILQ_INSERT_TAIL(&ld_free, ld, ld_chain);
186 1.1.2.1 ad }
187 1.1.2.1 ad ld_freeptr = 1;
188 1.1.2.1 ad ld_nfree = LD_BATCH;
189 1.1.2.1 ad }
190 1.1.2.1 ad
191 1.1.2.1 ad /*
192 1.1.2.1 ad * lockdebug_alloc:
193 1.1.2.1 ad *
194 1.1.2.1 ad * A lock is being initialized, so allocate an associated debug
195 1.1.2.1 ad * structure.
196 1.1.2.1 ad */
197 1.1.2.1 ad u_int
198 1.1.2.3 ad lockdebug_alloc(volatile void *lock, lockops_t *lo)
199 1.1.2.1 ad {
200 1.1.2.3 ad struct cpu_info *ci;
201 1.1.2.1 ad lockdebug_t *ld;
202 1.1.2.1 ad
203 1.1.2.1 ad if (panicstr != NULL)
204 1.1.2.1 ad return 0;
205 1.1.2.1 ad
206 1.1.2.3 ad ci = curcpu();
207 1.1.2.3 ad
208 1.1.2.3 ad /*
209 1.1.2.3 ad * Pinch a new debug structure. We may recurse because we call
210 1.1.2.3 ad * malloc(), which may need to initialize new locks somewhere
211 1.1.2.3 ad * down the path. If not recursing, we try to maintain at keep
212 1.1.2.3 ad * LD_SLOP structures free, which should hopefully be enough to
213 1.1.2.3 ad * satisfy malloc(). If we can't provide a structure, not to
214 1.1.2.3 ad * worry: we'll just mark the lock as not having an ID.
215 1.1.2.3 ad */
216 1.1.2.1 ad lockdebug_lock(&ld_free_lk);
217 1.1.2.3 ad ci->ci_lkdebug_recurse++;
218 1.1.2.3 ad
219 1.1.2.3 ad if (TAILQ_EMPTY(&ld_free)) {
220 1.1.2.3 ad if (ci->ci_lkdebug_recurse > 1) {
221 1.1.2.3 ad ci->ci_lkdebug_recurse--;
222 1.1.2.3 ad lockdebug_unlock(&ld_free_lk);
223 1.1.2.3 ad return (LD_NOID);
224 1.1.2.3 ad }
225 1.1.2.1 ad lockdebug_more();
226 1.1.2.3 ad } else if (ci->ci_lkdebug_recurse == 1 && ld_nfree < LD_SLOP)
227 1.1.2.3 ad lockdebug_more();
228 1.1.2.3 ad
229 1.1.2.1 ad ld = TAILQ_FIRST(&ld_free);
230 1.1.2.1 ad TAILQ_REMOVE(&ld_free, ld, ld_chain);
231 1.1.2.1 ad ld_nfree--;
232 1.1.2.3 ad
233 1.1.2.3 ad ci->ci_lkdebug_recurse--;
234 1.1.2.1 ad lockdebug_unlock(&ld_free_lk);
235 1.1.2.1 ad
236 1.1.2.1 ad if (ld->ld_lock != NULL)
237 1.1.2.1 ad panic("lockdebug_alloc: corrupt table");
238 1.1.2.1 ad
239 1.1.2.3 ad if (lo->lo_sleeplock)
240 1.1.2.1 ad lockdebug_lock(&ld_sleeper_lk);
241 1.1.2.1 ad else
242 1.1.2.1 ad lockdebug_lock(&ld_spinner_lk);
243 1.1.2.1 ad
244 1.1.2.1 ad /* Initialise the structure. */
245 1.1.2.1 ad ld->ld_lock = lock;
246 1.1.2.1 ad ld->ld_lockops = lo;
247 1.1.2.1 ad ld->ld_locked = 0;
248 1.1.2.1 ad ld->ld_unlocked = 0;
249 1.1.2.1 ad ld->ld_lwp = NULL;
250 1.1.2.1 ad
251 1.1.2.3 ad if (lo->lo_sleeplock) {
252 1.1.2.1 ad ld->ld_flags = LD_SLEEPER;
253 1.1.2.1 ad lockdebug_unlock(&ld_sleeper_lk);
254 1.1.2.1 ad } else {
255 1.1.2.1 ad ld->ld_flags = 0;
256 1.1.2.1 ad lockdebug_unlock(&ld_spinner_lk);
257 1.1.2.1 ad }
258 1.1.2.1 ad
259 1.1.2.1 ad return ld->ld_id;
260 1.1.2.1 ad }
261 1.1.2.1 ad
262 1.1.2.1 ad /*
263 1.1.2.1 ad * lockdebug_free:
264 1.1.2.1 ad *
265 1.1.2.1 ad * A lock is being destroyed, so release debugging resources.
266 1.1.2.1 ad */
267 1.1.2.1 ad void
268 1.1.2.3 ad lockdebug_free(volatile void *lock, u_int id)
269 1.1.2.1 ad {
270 1.1.2.1 ad lockdebug_t *ld;
271 1.1.2.1 ad lockdebuglk_t *lk;
272 1.1.2.1 ad
273 1.1.2.1 ad if (panicstr != NULL)
274 1.1.2.1 ad return;
275 1.1.2.1 ad
276 1.1.2.3 ad if ((ld = lockdebug_lookup(id, &lk)) == NULL)
277 1.1.2.3 ad return;
278 1.1.2.1 ad
279 1.1.2.1 ad if (ld->ld_lock != lock) {
280 1.1.2.1 ad panic("lockdebug_free: destroying uninitialized lock %p"
281 1.1.2.1 ad "(ld_id=%d ld_lock=%p)", lock, id, ld->ld_lock);
282 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__, "lock record follows");
283 1.1.2.1 ad }
284 1.1.2.1 ad if ((ld->ld_flags & LD_LOCKED) != 0)
285 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__, "is locked");
286 1.1.2.1 ad
287 1.1.2.1 ad ld->ld_lock = NULL;
288 1.1.2.1 ad
289 1.1.2.1 ad lockdebug_unlock(lk);
290 1.1.2.1 ad
291 1.1.2.1 ad lockdebug_lock(&ld_free_lk);
292 1.1.2.1 ad TAILQ_INSERT_TAIL(&ld_free, ld, ld_chain);
293 1.1.2.1 ad ld_nfree++;
294 1.1.2.1 ad lockdebug_unlock(&ld_free_lk);
295 1.1.2.1 ad }
296 1.1.2.1 ad
297 1.1.2.1 ad /*
298 1.1.2.1 ad * lockdebug_more:
299 1.1.2.1 ad *
300 1.1.2.1 ad * Allocate a batch of debug structures and add to the free list. Must
301 1.1.2.1 ad * be called with ld_free_lk held.
302 1.1.2.1 ad */
303 1.1.2.1 ad void
304 1.1.2.1 ad lockdebug_more(void)
305 1.1.2.1 ad {
306 1.1.2.1 ad lockdebug_t *ld;
307 1.1.2.1 ad void *block;
308 1.1.2.1 ad int i, base;
309 1.1.2.1 ad
310 1.1.2.3 ad while (ld_nfree < LD_SLOP) {
311 1.1.2.1 ad lockdebug_unlock(&ld_free_lk);
312 1.1.2.1 ad block = malloc(LD_BATCH * sizeof(lockdebug_t), M_LOCKDEBUG,
313 1.1.2.1 ad M_NOWAIT | M_ZERO); /* XXX M_NOWAIT */
314 1.1.2.1 ad lockdebug_lock(&ld_free_lk);
315 1.1.2.1 ad
316 1.1.2.1 ad base = ld_freeptr;
317 1.1.2.1 ad if (ld_table[base] != NULL) {
318 1.1.2.1 ad /* Somebody beat us to it. */
319 1.1.2.1 ad lockdebug_unlock(&ld_free_lk);
320 1.1.2.1 ad free(block, M_LOCKDEBUG);
321 1.1.2.1 ad lockdebug_lock(&ld_free_lk);
322 1.1.2.1 ad continue;
323 1.1.2.1 ad }
324 1.1.2.1 ad ld_table[base] = block;
325 1.1.2.1 ad ld_freeptr++;
326 1.1.2.3 ad ld_nfree += LD_BATCH;
327 1.1.2.1 ad ld = block;
328 1.1.2.1 ad base <<= LD_BATCH_SHIFT;
329 1.1.2.1 ad
330 1.1.2.1 ad for (i = 0; i < LD_BATCH; i++, ld++) {
331 1.1.2.1 ad ld->ld_id = i + base;
332 1.1.2.1 ad ld->ld_lock = NULL;
333 1.1.2.1 ad TAILQ_INSERT_TAIL(&ld_free, ld, ld_chain);
334 1.1.2.1 ad }
335 1.1.2.1 ad
336 1.1.2.1 ad mb_write();
337 1.1.2.3 ad ld_table[base] = ld;
338 1.1.2.1 ad }
339 1.1.2.1 ad }
340 1.1.2.1 ad
341 1.1.2.1 ad /*
342 1.1.2.1 ad * lockdebug_locked:
343 1.1.2.1 ad *
344 1.1.2.1 ad * Process a lock acquire operation.
345 1.1.2.1 ad */
346 1.1.2.1 ad void
347 1.1.2.1 ad lockdebug_locked(u_int id, uintptr_t where, int shared)
348 1.1.2.1 ad {
349 1.1.2.1 ad struct lwp *l = curlwp;
350 1.1.2.1 ad lockdebuglk_t *lk;
351 1.1.2.1 ad lockdebug_t *ld;
352 1.1.2.1 ad
353 1.1.2.1 ad if (panicstr != NULL)
354 1.1.2.1 ad return;
355 1.1.2.1 ad
356 1.1.2.3 ad if ((ld = lockdebug_lookup(id, &lk)) == NULL)
357 1.1.2.3 ad return;
358 1.1.2.1 ad
359 1.1.2.1 ad if ((ld->ld_flags & LD_LOCKED) != 0)
360 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__, "already locked");
361 1.1.2.1 ad
362 1.1.2.1 ad if (shared) {
363 1.1.2.1 ad if (l == NULL)
364 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__, "releasing "
365 1.1.2.1 ad "shared lock from interrupt context");
366 1.1.2.1 ad
367 1.1.2.1 ad l->l_shlocks++;
368 1.1.2.1 ad ld->ld_shares++;
369 1.1.2.1 ad } else {
370 1.1.2.1 ad ld->ld_flags |= LD_LOCKED;
371 1.1.2.1 ad ld->ld_locked = where;
372 1.1.2.1 ad ld->ld_cpu = (u_short)cpu_number();
373 1.1.2.1 ad ld->ld_lwp = l;
374 1.1.2.1 ad
375 1.1.2.1 ad if ((ld->ld_flags & LD_SLEEPER) != 0) {
376 1.1.2.1 ad l->l_exlocks++;
377 1.1.2.1 ad TAILQ_INSERT_TAIL(&ld_sleepers, ld, ld_chain);
378 1.1.2.1 ad } else {
379 1.1.2.1 ad curcpu()->ci_spin_locks2++;
380 1.1.2.1 ad TAILQ_INSERT_TAIL(&ld_spinners, ld, ld_chain);
381 1.1.2.1 ad }
382 1.1.2.1 ad }
383 1.1.2.1 ad
384 1.1.2.1 ad lockdebug_unlock(lk);
385 1.1.2.1 ad }
386 1.1.2.1 ad
387 1.1.2.1 ad /*
388 1.1.2.1 ad * lockdebug_unlocked:
389 1.1.2.1 ad *
390 1.1.2.1 ad * Process a lock release operation.
391 1.1.2.1 ad */
392 1.1.2.1 ad void
393 1.1.2.1 ad lockdebug_unlocked(u_int id, uintptr_t where, int shared)
394 1.1.2.1 ad {
395 1.1.2.1 ad struct lwp *l = curlwp;
396 1.1.2.1 ad lockdebuglk_t *lk;
397 1.1.2.1 ad lockdebug_t *ld;
398 1.1.2.1 ad
399 1.1.2.1 ad if (panicstr != NULL)
400 1.1.2.1 ad return;
401 1.1.2.1 ad
402 1.1.2.3 ad if ((ld = lockdebug_lookup(id, &lk)) == NULL)
403 1.1.2.3 ad return;
404 1.1.2.1 ad
405 1.1.2.1 ad if (shared) {
406 1.1.2.1 ad if (l == NULL)
407 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__, "acquiring "
408 1.1.2.1 ad "shared lock from interrupt context");
409 1.1.2.1 ad if (l->l_shlocks == 0)
410 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__, "no shared "
411 1.1.2.1 ad "locks held by LWP");
412 1.1.2.1 ad if (ld->ld_shares == 0)
413 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__, "no shared "
414 1.1.2.1 ad "holds on this lock");
415 1.1.2.1 ad l->l_shlocks--;
416 1.1.2.1 ad ld->ld_shares--;
417 1.1.2.1 ad } else {
418 1.1.2.1 ad if ((ld->ld_flags & LD_LOCKED) == 0)
419 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__, "not locked");
420 1.1.2.1 ad
421 1.1.2.1 ad if ((ld->ld_flags & LD_SLEEPER) != 0) {
422 1.1.2.1 ad if (ld->ld_lwp != curlwp)
423 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__,
424 1.1.2.1 ad "not held by current LWP");
425 1.1.2.1 ad ld->ld_flags &= ~LD_LOCKED;
426 1.1.2.1 ad ld->ld_unlocked = where;
427 1.1.2.1 ad ld->ld_lwp = NULL;
428 1.1.2.1 ad curlwp->l_exlocks--;
429 1.1.2.1 ad TAILQ_REMOVE(&ld_sleepers, ld, ld_chain);
430 1.1.2.1 ad } else {
431 1.1.2.1 ad if (ld->ld_cpu != (u_short)cpu_number())
432 1.1.2.1 ad lockdebug_abort1(ld, lk, __FUNCTION__,
433 1.1.2.1 ad "not held by current CPU");
434 1.1.2.1 ad ld->ld_flags &= ~LD_LOCKED;
435 1.1.2.1 ad ld->ld_unlocked = where;
436 1.1.2.1 ad ld->ld_lwp = NULL;
437 1.1.2.1 ad curcpu()->ci_spin_locks2--;
438 1.1.2.1 ad TAILQ_REMOVE(&ld_spinners, ld, ld_chain);
439 1.1.2.1 ad }
440 1.1.2.1 ad }
441 1.1.2.1 ad
442 1.1.2.1 ad lockdebug_unlock(lk);
443 1.1.2.1 ad }
444 1.1.2.1 ad
445 1.1.2.1 ad /*
446 1.1.2.1 ad * lockdebug_barrier:
447 1.1.2.1 ad *
448 1.1.2.1 ad * Panic if we hold more than one specified spin lock, and optionally,
449 1.1.2.1 ad * if we hold sleep locks.
450 1.1.2.1 ad */
451 1.1.2.1 ad void
452 1.1.2.3 ad lockdebug_barrier(volatile void *spinlock, int slplocks)
453 1.1.2.1 ad {
454 1.1.2.1 ad struct lwp *l = curlwp;
455 1.1.2.1 ad lockdebug_t *ld;
456 1.1.2.1 ad u_short cpuno;
457 1.1.2.1 ad
458 1.1.2.1 ad if (panicstr != NULL)
459 1.1.2.1 ad return;
460 1.1.2.1 ad
461 1.1.2.1 ad if (curcpu()->ci_spin_locks2 != 0) {
462 1.1.2.1 ad cpuno = (u_short)cpu_number();
463 1.1.2.1 ad
464 1.1.2.1 ad lockdebug_lock(&ld_spinner_lk);
465 1.1.2.1 ad TAILQ_FOREACH(ld, &ld_spinners, ld_chain) {
466 1.1.2.1 ad if (ld->ld_lock == spinlock) {
467 1.1.2.1 ad if (ld->ld_cpu != cpuno)
468 1.1.2.1 ad lockdebug_abort1(ld, &ld_spinner_lk,
469 1.1.2.1 ad __FUNCTION__,
470 1.1.2.1 ad "not held by current CPU");
471 1.1.2.1 ad continue;
472 1.1.2.1 ad }
473 1.1.2.1 ad if (ld->ld_cpu == cpuno)
474 1.1.2.1 ad lockdebug_abort1(ld, &ld_spinner_lk,
475 1.1.2.1 ad __FUNCTION__, "spin lock held");
476 1.1.2.1 ad }
477 1.1.2.1 ad lockdebug_unlock(&ld_spinner_lk);
478 1.1.2.1 ad }
479 1.1.2.1 ad
480 1.1.2.1 ad if (!slplocks) {
481 1.1.2.1 ad if (l->l_exlocks != 0) {
482 1.1.2.1 ad lockdebug_lock(&ld_sleeper_lk);
483 1.1.2.1 ad TAILQ_FOREACH(ld, &ld_sleepers, ld_chain) {
484 1.1.2.1 ad if (ld->ld_lwp == l)
485 1.1.2.1 ad lockdebug_abort1(ld, &ld_sleeper_lk,
486 1.1.2.1 ad __FUNCTION__, "sleep lock held");
487 1.1.2.1 ad }
488 1.1.2.1 ad lockdebug_unlock(&ld_sleeper_lk);
489 1.1.2.1 ad }
490 1.1.2.1 ad if (l->l_shlocks != 0)
491 1.1.2.1 ad panic("lockdebug_barrier: holding %d shared locks",
492 1.1.2.1 ad l->l_shlocks);
493 1.1.2.1 ad }
494 1.1.2.1 ad }
495 1.1.2.1 ad
496 1.1.2.1 ad void
497 1.1.2.1 ad lockdebug_abort1(lockdebug_t *ld, lockdebuglk_t *lk, const char *func,
498 1.1.2.1 ad const char *msg)
499 1.1.2.1 ad {
500 1.1.2.3 ad char *buf;
501 1.1.2.1 ad
502 1.1.2.1 ad /*
503 1.1.2.1 ad * The kernel is about to fall flat on its face, so assume that 1k
504 1.1.2.1 ad * will be enough to hold the dump and abuse the return value from
505 1.1.2.1 ad * snprintf.
506 1.1.2.1 ad */
507 1.1.2.3 ad buf = ld_panicbuf;
508 1.1.2.3 ad
509 1.1.2.4 ad printf("%s error: %s: %s\n\n"
510 1.1.2.1 ad "lock address : %#018lx type : %18s\n"
511 1.1.2.1 ad "shared holds : %18d exclusive: %12slocked\n"
512 1.1.2.1 ad "last locked : %#018lx unlocked : %#018lx\n"
513 1.1.2.1 ad "current cpu : %18d last held: %18d\n"
514 1.1.2.1 ad "current lwp : %#018lx last held: %#018lx\n",
515 1.1.2.4 ad ld->ld_lockops->lo_name, func, msg, (long)ld->ld_lock,
516 1.1.2.1 ad ((ld->ld_flags & LD_SLEEPER) == 0 ? "spin" : "sleep"),
517 1.1.2.1 ad ld->ld_shares, ((ld->ld_flags & LD_LOCKED) == 0 ? "un" : " "),
518 1.1.2.1 ad (long)ld->ld_locked, (long)ld->ld_unlocked,
519 1.1.2.1 ad (int)cpu_number(), (int)ld->ld_cpu,
520 1.1.2.1 ad (long)curlwp, (long)ld->ld_lwp);
521 1.1.2.1 ad
522 1.1.2.3 ad if (ld->ld_lockops->lo_dump != NULL)
523 1.1.2.4 ad (void)(*ld->ld_lockops->lo_dump)(ld->ld_lock, buf,
524 1.1.2.4 ad sizeof(buf));
525 1.1.2.1 ad
526 1.1.2.1 ad lockdebug_unlock(lk);
527 1.1.2.4 ad panic("%s\nLOCKDEBUG", buf);
528 1.1.2.1 ad }
529 1.1.2.1 ad
530 1.1.2.3 ad #endif /* LOCKDEBUG */
531 1.1.2.1 ad
532 1.1.2.1 ad /*
533 1.1.2.1 ad * lockdebug_abort:
534 1.1.2.1 ad *
535 1.1.2.1 ad * An error has been trapped - dump lock info and call panic().
536 1.1.2.1 ad */
537 1.1.2.1 ad void
538 1.1.2.3 ad lockdebug_abort(int id, volatile void *lock, lockops_t *ops,
539 1.1.2.3 ad const char *func, const char *msg)
540 1.1.2.1 ad {
541 1.1.2.3 ad char buf[192];
542 1.1.2.3 ad #ifdef LOCKDEBUG
543 1.1.2.3 ad lockdebug_t *ld;
544 1.1.2.3 ad lockdebuglk_t *lk;
545 1.1.2.3 ad
546 1.1.2.3 ad if ((ld = lockdebug_lookup(id, &lk)) != NULL) {
547 1.1.2.3 ad lockdebug_abort1(ld, lk, func, msg);
548 1.1.2.3 ad /* NOTREACHED */
549 1.1.2.3 ad }
550 1.1.2.3 ad #endif /* LOCKDEBUG */
551 1.1.2.1 ad
552 1.1.2.1 ad /*
553 1.1.2.3 ad * The kernel is about to fall flat on its face, so assume that 192
554 1.1.2.3 ad * bytes will be enough to hold the dump.
555 1.1.2.1 ad */
556 1.1.2.3 ad printf("%s error: %s: %s\n\n"
557 1.1.2.1 ad "lock address : %#018lx\n"
558 1.1.2.1 ad "current cpu : %18d\n"
559 1.1.2.1 ad "current lwp : %#018lx\n",
560 1.1.2.3 ad ops->lo_name, func, msg, (long)lock, (int)cpu_number(),
561 1.1.2.3 ad (long)curlwp);
562 1.1.2.1 ad
563 1.1.2.3 ad (void)(*ops->lo_dump)(lock, buf, sizeof(buf));
564 1.1.2.1 ad
565 1.1.2.4 ad panic("%s\nlock error", buf);
566 1.1.2.1 ad }
567