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