Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 15 Dec 2012 06:48:08 -0800
From:      Alfred Perlstein <bright@mu.org>
To:        Gleb Smirnoff <glebius@FreeBSD.org>
Cc:        Adrian Chadd <adrian@FreeBSD.org>, src-committers@FreeBSD.org, John Baldwin <jhb@FreeBSD.org>, svn-src-all@FreeBSD.org, Andriy Gapon <avg@FreeBSD.org>, Navdeep Parhar <np@FreeBSD.org>, svn-src-head@FreeBSD.org
Subject:   Re: svn commit: r244112 - head/sys/kern
Message-ID:  <50CC8DA8.3010704@mu.org>
In-Reply-To: <20121215141755.GC94420@FreeBSD.org>
References:  <201212110708.qBB78EWx025288@svn.freebsd.org> <50C9271C.70803@mu.org> <20121213090215.GP97487@FreeBSD.org> <201212141149.07671.jhb@freebsd.org> <alpine.BSF.2.00.1212150010160.54345@fledge.watson.org> <50CBC285.7060307@mu.org> <20121215161414.V1029@besplex.bde.org> <50CC6E8D.6040707@mu.org> <20121215130149.GB94420@FreeBSD.org> <50CC7B26.5000708@mu.org> <20121215141755.GC94420@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On 12/15/12 6:17 AM, Gleb Smirnoff wrote:
> On Sat, Dec 15, 2012 at 05:29:10AM -0800, Alfred Perlstein wrote:
> A> On 12/15/12 5:01 AM, Gleb Smirnoff wrote:
> A> > On Sat, Dec 15, 2012 at 04:35:25AM -0800, Alfred Perlstein wrote:
> A> > A> People keep beating this drum "all invariants/panics are there for a
> A> > A> reason", no, some happen to be bugs, and when I'm shipping code to a
> A> > A> customer, I may need to skip one of these buggy assertions.
> A> >
> A> > Yes, if you know any buggy assertions, please remove them from FreeBSD tree.
> A> >
> A> > A> Some people have responded to this by saying "alfred show me the buggy
> A> > A> assertions" to which my response is two fold "firstly, you're calling me
> A> > A> a liar which I do not appreciate, second prove to me that all the 1000s
> A> > A> of asserts have zero bugs and are not overly zealous about calling panic."
> A> >
> A> > We are not going to prove that. If you claim that some assertion is buggy,
> A> > you prove that it is buggy and happily remove it from source tree. Noone
> A> > is going to spend time proving you that 1000s of assertions are not buggy.
> A> >
> A> > Home reading for you:
> A> >
> A> > http://en.wikipedia.org/wiki/Russell%27s_teapot
> A> >
> A> Here is some reading for you:
> A>
> A> ------------------------------------------------------------------------
> A> r244044 | adrian | 2012-12-08 17:08:44 -0800 (Sat, 08 Dec 2012) | 10 lines
> A>
> A> Don't panic if the stageq here is empty; just fall through with NULL
> A> pointers and leave the stage queue flush routine to just do nothing
> A> (since both head and tail here will be NULL.)
> A>
> A> This should quieten the "stageq empty" panic where the stageq itself
> A> is empty, but it won't fix the second KASSERT() here "staging queue empty"
> A> as that's likely a different underlying problem.
> A>
> A> PR:             kern/174283
>
> Yes, and important thing is that no one argued against this change, because
> Adrian explained that this particular assertion was incorrect and removed it.
>
> If you know any more incorrect assertions, please remove them as well, and
> no one will argue about that. But do not switch off all assertions in kernel.
>
Excuse me?  where are the assertions switched off?

-Alfred



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?50CC8DA8.3010704>