Date: Fri, 06 Oct 2000 18:19:39 -0700 (PDT) From: John Baldwin <jhb@FreeBSD.org> To: Boris Popov <bp@butya.kz> Cc: freebsd-smp@FreeBSD.org Subject: RE: Problems with kthread_exit() and SMPng Message-ID: <XFMail.001006181939.jhb@FreeBSD.org> In-Reply-To: <Pine.BSF.4.10.10010070803220.56150-100000@lion.butya.kz>
next in thread | previous in thread | raw e-mail | index | archive | help
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 <jhb@FreeBSD.org> -- 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?XFMail.001006181939.jhb>