Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 7 Oct 2000 08:10:27 +0700 (ALMST)
From:      Boris Popov <bp@butya.kz>
To:        John Baldwin <jhb@FreeBSD.org>
Cc:        freebsd-smp@FreeBSD.org
Subject:   RE: Problems with kthread_exit() and SMPng
Message-ID:  <Pine.BSF.4.10.10010070803220.56150-100000@lion.butya.kz>
In-Reply-To: <Pine.BSF.4.10.10010060849270.48269-100000@lion.butya.kz>

next in thread | previous in thread | raw e-mail | index | archive | help
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.

--
Boris Popov
http://www.butya.kz/~bp/



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?Pine.BSF.4.10.10010070803220.56150-100000>