Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 16 Dec 2012 00:06:08 -0800
From:      Alfred Perlstein <bright@mu.org>
To:        Andriy Gapon <avg@FreeBSD.org>
Cc:        Ian Lepore <freebsd@damnhippie.dyndns.org>, src-committers@FreeBSD.org, Peter Wemm <peter@wemm.org>, svn-src-all@FreeBSD.org, svn-src-head@FreeBSD.org, Peter Jeremy <peter@rulingia.com>
Subject:   Re: svn commit: r244112 - head/sys/kern
Message-ID:  <50CD80F0.6000203@mu.org>
In-Reply-To: <50CD7C1D.3020108@FreeBSD.org>
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> <50CD7C1D.3020108@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On 12/15/12 11:45 PM, Andriy Gapon wrote:
> 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.
>
I don't understand, we have a few partners running KASSERT enabled kernels.

Depending on workload our machines can have enough CPU free for this.

-Alfred



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