From owner-freebsd-smp Mon Oct 2 17: 6:26 2000 Delivered-To: freebsd-smp@freebsd.org Received: from troutmask.apl.washington.edu (troutmask.apl.washington.edu [128.208.78.105]) by hub.freebsd.org (Postfix) with ESMTP id 5D2D737B503 for ; Mon, 2 Oct 2000 17:06:24 -0700 (PDT) Received: (from sgk@localhost) by troutmask.apl.washington.edu (8.11.1/8.11.1) id e930Be940283; Mon, 2 Oct 2000 17:11:40 -0700 (PDT) (envelope-from sgk) From: Steve Kargl Message-Id: <200010030011.e930Be940283@troutmask.apl.washington.edu> Subject: Re: witness code status? In-Reply-To: <20001002164139.I58256@canonware.com> from Jason Evans at "Oct 2, 2000 04:41:39 pm" To: Jason Evans Date: Mon, 2 Oct 2000 17:11:40 -0700 (PDT) Cc: freebsd-smp@freebsd.org X-Mailer: ELM [version 2.4ME+ PL61 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: owner-freebsd-smp@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org Jason Evans wrote: > On Mon, Oct 02, 2000 at 04:32:36PM -0700, Steve Kargl wrote: > > What's the current status of the integration of BSDi's > > witness code? If I include "options WITNESS" in my kernel > > config file, I get an immediate panic at boot. My sources > > are from today (01 Oct 00), and the system is currently > > running a MP kernel (built without the witness code). > > > > I (and others) have been running kernels with the witness code enabled for > over a month. The witness code's purpose is to detect lock cycles that > could cause deadlock, among other incorrect mutex uses. The stack trace > and panic message in your email seem indicate a programming error. In > other words, the witness code is doing its job. > Shoot, I was afraid you's say the above. I haven't been able to convince this machine to give me a crash dump for further analysis. I'll keep trying because this repeatable here. The KDEBUG option isn't documented in NOTES, but I noticed it strewn through kern_mutex.c. Will enabling this option provide more information that can help track this done? -- Steve To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-smp" in the body of the message