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 | |
| 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.
| -rw-r--r-- | sys/conf/NOTES | 8 | ||||
| -rw-r--r-- | sys/i386/conf/NOTES | 8 |
2 files changed, 16 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 diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES index 813845a..3555733 100644 --- a/sys/i386/conf/NOTES +++ b/sys/i386/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 |
