summaryrefslogtreecommitdiffstats
path: root/sys
diff options
context:
space:
mode:
authorjhb <jhb@FreeBSD.org>2000-10-27 03:00:28 +0000
committerjhb <jhb@FreeBSD.org>2000-10-27 03:00:28 +0000
commit55ee2dc4c7c9657892acc8e35aa23729226bdcf2 (patch)
treee9277d0de7bf42df6eb30d055f1018264e89d3db /sys
parentc5f27ab06c6d1de72893f2b9f4d2435c28eb6e18 (diff)
downloadFreeBSD-src-55ee2dc4c7c9657892acc8e35aa23729226bdcf2.zip
FreeBSD-src-55ee2dc4c7c9657892acc8e35aa23729226bdcf2.tar.gz
Add and document the WITNESS_SKIPSPIN and WITNESS_DDB kernel options.
Diffstat (limited to 'sys')
-rw-r--r--sys/conf/NOTES6
-rw-r--r--sys/conf/options2
-rw-r--r--sys/i386/conf/NOTES6
3 files changed, 14 insertions, 0 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES
index 222d01a..1103ccf 100644
--- a/sys/conf/NOTES
+++ b/sys/conf/NOTES
@@ -139,8 +139,14 @@ options APIC_IO # Symmetric (APIC) I/O
# MUTEX_DEBUG enables various extra assertions in the mutex code.
# WITNESS enables the mutex witness code which detects deadlocks and cycles
# during locking operations.
+# WITNESS_DDB causes the witness code to drop into the kernel debugger if
+# a lock heirarchy violation occurs or if locks are held when going to
+# sleep.
+# WITNESS_SKIPSPIN disables the witness checks on spin mutexes.
options MUTEX_DEBUG
options WITNESS
+options WITNESS_DDB
+options WITNESS_SKIPSPIN
#####################################################################
diff --git a/sys/conf/options b/sys/conf/options
index 9d21ee6..6f86d74 100644
--- a/sys/conf/options
+++ b/sys/conf/options
@@ -466,6 +466,8 @@ KTR_ENTRIES opt_global.h
KTR_EXTEND opt_global.h
MUTEX_DEBUG opt_global.h
WITNESS opt_global.h
+WITNESS_DDB opt_witness.h
+WITNESS_SKIPSPIN opt_witness.h
# options for ACPI support
ACPI_DEBUG opt_acpi.h
diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES
index 222d01a..1103ccf 100644
--- a/sys/i386/conf/NOTES
+++ b/sys/i386/conf/NOTES
@@ -139,8 +139,14 @@ options APIC_IO # Symmetric (APIC) I/O
# MUTEX_DEBUG enables various extra assertions in the mutex code.
# WITNESS enables the mutex witness code which detects deadlocks and cycles
# during locking operations.
+# WITNESS_DDB causes the witness code to drop into the kernel debugger if
+# a lock heirarchy violation occurs or if locks are held when going to
+# sleep.
+# WITNESS_SKIPSPIN disables the witness checks on spin mutexes.
options MUTEX_DEBUG
options WITNESS
+options WITNESS_DDB
+options WITNESS_SKIPSPIN
#####################################################################
OpenPOWER on IntegriCloud