Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove file name and line number output from witness(4) | 2019-04-23 | 1 | -16/+6 | |
| | | | | | | | | | | | | | Reduce code clutter by removing the file name and line number output from witness(4). Typically it is easy enough to locate offending locks using the stack traces that are shown in lock order conflict reports. Tricky cases can be tracked using sysctl kern.witness.locktrace=1 . This patch additionally removes the witness(4) wrapper for mutexes. Now each mutex implementation has to invoke the WITNESS_*() macros in order to utilize the checker. Discussed with and OK dlg@, OK mpi@ | ||||
* | Constipate all the struct lock_type's so they go into .rodata | 2018-06-08 | 1 | -3/+3 | |
| | | | | ok visa@ | ||||
* | Change __mp_lock_held() to work with an arbitrary CPU info structure and | 2017-12-04 | 1 | -2/+2 | |
| | | | | | | | extend ddb(4) "ps /o" output to print which CPU is currently holding the KERNEL_LOCK(). Tested by dhill@, ok visa@ | ||||
* | Add WITNESS support | 2017-07-16 | 1 | -8/+36 | |
| | | | | ok visa@ kettenis@ | ||||
* | Add MP lock support for OpenBSD/hppa. | 2010-03-25 | 1 | -0/+56 | |
ok kettenis@ |