Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 12 Dec 2012 10:46:43 -0500
From:      John Baldwin <jhb@freebsd.org>
To:        Alfred Perlstein <alfred@freebsd.org>
Cc:        svn-src-head@freebsd.org, svn-src-all@freebsd.org, src-committers@freebsd.org
Subject:   Re: svn commit: r244112 - head/sys/kern
Message-ID:  <201212121046.43706.jhb@freebsd.org>
In-Reply-To: <201212110708.qBB78EWx025288@svn.freebsd.org>
References:  <201212110708.qBB78EWx025288@svn.freebsd.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On Tuesday, December 11, 2012 2:08:14 am Alfred Perlstein wrote:
> Author: alfred
> Date: Tue Dec 11 07:08:14 2012
> New Revision: 244112
> URL: http://svnweb.freebsd.org/changeset/base/244112
> 
> Log:
>   Cleanup more of the kassert_panic.
>   
>   fix compile warnings on !amd64 and NULL derefs that would happen
>   if kassert_panic() would return.

This is one reason why having kassert not panic is such a bad idea.  There are 
tons of places where the compiler knows that panic() is __dead2, and there is 
no cleanup code to handle what happens when an invariant is violated.  This is 
not safe to run in the field unless your customers do not care about their 
data.  If you are interested in doing regression tests, I am using a very 
different approach for some locking regression tests I am working on in p4 
that allow you to use a wrapper around setjmp/longjmp to "catch" panics 
somewhat like exception handling in C++/Java (though much cruder).  However, 
evne that is only intended for testing, not for production cases where 
production data is at stake.

-- 
John Baldwin



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