sys/kern/subr_witness.c

74  * 3) Giant may be acquired before or after sleepable locks.
78  * locks may always be acquired while holding a sleepable lock.  The second
148  * will hold LOCK_NCHILDREN locks.  We handle failure ok, and we should
192  * recursion count of a lock.  Lock instances are held in lists.  Spin locks
193  * are held in a per-cpu list while sleep locks are held in per-thread list.
203  * A simple list type used to build the list of locks held by a thread
296  * Returns 0 if one of the locks is a spin lock and the other is not.
378  * lock order checking for all locks.  At runtime, lock order checking
392  *	- locks are held when going to sleep.
406  *	- locks are held when going to sleep.
423  * Call this to print out the relations between locks.
426     NULL, 0, sysctl_debug_witness_fullgraph, "A", "Show locks relation graphs");
472 	 * sx locks
511 	 * protocol locks before interface locks, after UDP locks.
520 	 * protocol locks before interface locks, after UDP locks.
621 	 * spin locks
661 	 * leaf locks
696  * Pairs of locks which have been blessed
697  * Don't complain about order problems with blessed locks
712  * so that a warning can be issued for any spin locks enrolled later.
791 	/* Iterate through all locks and add them to witness. */
843 			panic("%s: pending locks list is too small, bump it\n",
888 	 * Look for locks with no parents and level all their descendants.
978 	 * First, handle sleep locks which have been acquired at least
981 	prnt("Sleep locks:\n");
987 	 * Now do spin locks which have been acquired at least once.
989 	prnt("\nSpin locks:\n");
995 	 * Finally, any locks which have not been acquired yet.
1016 	/* Require locks that witness knows about. */
1064 		 * Since spin locks include a critical section, this check
1065 		 * implicitly enforces a lock order of all sleep locks before
1066 		 * all spin locks.
1157 	 * Check for duplicate locks of the same type.  Note that we only
1237 			 * sleepable locks before non-sleepable locks.
1344 	 * wrong direction.  The correct lock order is that sleepable locks
1526 	 * having registered locks in the td_sleeplocks queue.
1528 	 * eventual register locks and remove them.
1616 		printf("Thread %p exiting with the following locks held:\n",
1628  * Warn if any locks other than 'lock' are held.  Flags can be passed in to
1629  * exempt Giant and sleepable locks from the checks as well.  If any
1630  * non-exempt locks are held, then a supplied message is printed to the
1631  * console along with a list of the offending locks.  If indicated in the
1665 				printf(" locks held:\n");
1683 		 * the flags cannot match for this locks class,
1698 		printf(" locks held:\n");
2355 	 * if td is currently executing on some other CPU and holds spin locks
2356 	 * as we won't display those locks.  If we had a MI way of getting
2370 DB_SHOW_COMMAND(locks, db_witness_list)
2381 DB_SHOW_ALL_COMMAND(locks, db_witness_list_all)
2388 	 * held sleep locks, but that information is currently not exported