diff options
author | alfred <alfred@FreeBSD.org> | 2002-02-13 18:47:50 +0000 |
---|---|---|
committer | alfred <alfred@FreeBSD.org> | 2002-02-13 18:47:50 +0000 |
commit | 625aab9014ab8fbfd8a351ce54f2edac785c3220 (patch) | |
tree | 758aa4cb781fa98f11e3f2e52eb7bcd9f61a035a /sys/amd64/conf | |
parent | 59699901cf6676124969480fe58eb1a8b64b7708 (diff) | |
download | FreeBSD-src-625aab9014ab8fbfd8a351ce54f2edac785c3220.zip FreeBSD-src-625aab9014ab8fbfd8a351ce54f2edac785c3220.tar.gz |
Re-enable WITNESS for GENERIC. Since the 5.x branch is mostly about
SMP we'd like as much feedback as possible from users about possible
locking problems as early as possible.
To negate most of the performance impact I've also enabled
WITNESS_SKIPSPIN. I've done this as we've been running WITNESS
over the spinlock code for a while without incident and it goes a
long way to making the performance problems of WITNESS much more
bearable.
Users who should be running current should know about turning WITNESS
off for performance reasons.
That said and done, WITNESS could/should be made into a tuneable,
but we'll leave that as an excersize to those that want to disable
it without a kernel recompile.
Diffstat (limited to 'sys/amd64/conf')
-rw-r--r-- | sys/amd64/conf/GENERIC | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/amd64/conf/GENERIC b/sys/amd64/conf/GENERIC index 7385369..c6c98e1 100644 --- a/sys/amd64/conf/GENERIC +++ b/sys/amd64/conf/GENERIC @@ -59,7 +59,8 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev options DDB #Enable the kernel debugger options INVARIANTS #Enable calls of extra sanity checking options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS -#options WITNESS #Enable mutex checks to detects deadlocks and cycles +options WITNESS #Enable mutex checks to detects deadlocks and cycles +options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed # To make an SMP kernel, the next two are needed #options SMP # Symmetric MultiProcessor Kernel |