From owner-freebsd-smp Fri Oct 6 18:19:45 2000 Delivered-To: freebsd-smp@freebsd.org Received: from pike.osd.bsdi.com (pike.osd.bsdi.com [204.216.28.222]) by hub.freebsd.org (Postfix) with ESMTP id 7D8DB37B502 for ; Fri, 6 Oct 2000 18:19:43 -0700 (PDT) Received: from laptop.baldwin.cx (ether.osd.bsdi.com [204.216.28.196]) by pike.osd.bsdi.com (8.11.0/8.9.3) with ESMTP id e971JLi59549; Fri, 6 Oct 2000 18:19:21 -0700 (PDT) (envelope-from jhb@FreeBSD.org) Message-ID: X-Mailer: XFMail 1.4.0 on FreeBSD X-Priority: 3 (Normal) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit MIME-Version: 1.0 In-Reply-To: Date: Fri, 06 Oct 2000 18:19:39 -0700 (PDT) From: John Baldwin To: Boris Popov Subject: RE: Problems with kthread_exit() and SMPng Cc: freebsd-smp@FreeBSD.org Sender: owner-freebsd-smp@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org On 07-Oct-00 Boris Popov wrote: > On Fri, 6 Oct 2000, Boris Popov wrote: > >> > It should have died much earlier if you had INVARIANTS turned on. :( It >> > looks like you are releasing a mutex you probably do not own because >> > cpu_exit() (called by exit1() -> exit() -> kthread_exit()) releases Giant >> > as one of its final tasks. >> >> This is probably the bug somewhere in the diagnostic code. I have >> INVARIANTS/INVARIANT_SUPPORT/DIAGNOSTIC turned on and UP machine just >> panics in the mtx_exit_hard() while SMP machine silently reboots :( > > Actually, this is happens because #ifdef INVARIANTS is hidden > behind #ifdef SMP_DEBUG which looks slightly misleading. Eg: if one > decides to compile kernel with INVARIANTS then he expects sanity checks in > the all core subsystems. Probably in the future, we can fold SMP_DEBUG into INVARIANTS, with some parts under a seperate MUTEX_DEBUG (as that is a better name). Jason, feel free to stick that as a small line-item on the todo list. -- John Baldwin -- http://www.FreeBSD.org/~jhb/ PGP Key: http://www.baldwin.cx/~john/pgpkey.asc "Power Users Use the Power to Serve!" - http://www.FreeBSD.org/ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-smp" in the body of the message