Add in and document two new debugging options used in the mutex code:

SMP_DEBUG and WITNESS.
This commit is contained in:
John Baldwin 2000-09-21 06:56:11 +00:00
parent 0122d6f195
commit 1fe4c660db
2 changed files with 16 additions and 0 deletions

View File

@ -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

View File

@ -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