diff options
author | jhb <jhb@FreeBSD.org> | 2000-09-21 06:56:11 +0000 |
---|---|---|
committer | jhb <jhb@FreeBSD.org> | 2000-09-21 06:56:11 +0000 |
commit | 8ed40a75e245eba63f1e714ee14d2641aab4e832 (patch) | |
tree | 0c4d5a98d11007c1e68c101cdfd7057863bf9efd /sys/conf | |
parent | 13420271d140fb8ec84ff0b4eee3d93ca165563d (diff) | |
download | FreeBSD-src-8ed40a75e245eba63f1e714ee14d2641aab4e832.zip FreeBSD-src-8ed40a75e245eba63f1e714ee14d2641aab4e832.tar.gz |
Add in and document two new debugging options used in the mutex code:
SMP_DEBUG and WITNESS.
Diffstat (limited to 'sys/conf')
-rw-r--r-- | sys/conf/NOTES | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index 813845a..3555733 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -140,6 +140,14 @@ options NINTR=25 # number of INTs # do NOT properly support bridged PCI cards. To use one of these # cards you should refer to ??? +# SMP Debugging Options: +# +# SMP_DEBUG enables various extra assertions in the mutex code. +# WITNESS enables the mutex witness code which detects deadlocks and cycles +# during locking operations. +options SMP_DEBUG +options WITNESS + ##################################################################### # CPU OPTIONS |