Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 16 Dec 2012 09:45:33 +0200
From:      Andriy Gapon <avg@FreeBSD.org>
To:        Ian Lepore <freebsd@damnhippie.dyndns.org>
Cc:        svn-src-head@FreeBSD.org, svn-src-all@FreeBSD.org, src-committers@FreeBSD.org, Peter Jeremy <peter@rulingia.com>, Peter Wemm <peter@wemm.org>
Subject:   Re: svn commit: r244112 - head/sys/kern
Message-ID:  <50CD7C1D.3020108@FreeBSD.org>
In-Reply-To: <1355634037.1198.115.camel@revolution.hippie.lan>
References:  <201212110708.qBB78EWx025288@svn.freebsd.org> <201212121046.43706.jhb@freebsd.org> <CAJ-Vmo=U04GX%2BZyKuzXLwV%2BPpzU6_dm5BCmL=DWfsmhTVAR%2BsA@mail.gmail.com> <201212121658.49048.jhb@freebsd.org> <50C90567.8080406@FreeBSD.org> <50C909BD.9090709@mu.org> <50C91B32.4080904@FreeBSD.org> <20121215205202.GF1411@garage.freebsd.pl> <20121216040717.GG35245@server.rulingia.com> <CAGE5yCofnCKfJ8kMKrV8fmckPt_WOXc9PGnh3zuVUSGO-%2BrCRQ@mail.gmail.com> <1355634037.1198.115.camel@revolution.hippie.lan>

next in thread | previous in thread | raw e-mail | index | archive | help
on 16/12/2012 07:00 Ian Lepore said the following:
> The question here isn't whether aborting or continuing beyond that point
> is a good idea.  Some developer already made that choice by coding a
> KASSERT() instead of a panic().  The developer decided that a production
> machine should try to keep running at that point.

Please don't perpetuate this argument.  The point of KASSERT is not that the
developer intended that the system should try to keep running in production.
The point is that (1) the KASSERT should not be hit in production as was
established in testing *and* (2) having all KASSERTs enabled in production is
too expensive.  That's all.

-- 
Andriy Gapon



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