From owner-svn-src-head@FreeBSD.ORG  Thu Dec 13 09:43:00 2012
Return-Path: <owner-svn-src-head@FreeBSD.ORG>
Delivered-To: svn-src-head@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
 by hub.freebsd.org (Postfix) with ESMTP id B9267853;
 Thu, 13 Dec 2012 09:43:00 +0000 (UTC) (envelope-from avg@FreeBSD.org)
Received: from citadel.icyb.net.ua (citadel.icyb.net.ua [212.40.38.140])
 by mx1.freebsd.org (Postfix) with ESMTP id 130598FC08;
 Thu, 13 Dec 2012 09:42:58 +0000 (UTC)
Received: from odyssey.starpoint.kiev.ua (alpha-e.starpoint.kiev.ua
 [212.40.38.101])
 by citadel.icyb.net.ua (8.8.8p3/ICyb-2.3exp) with ESMTP id LAA13059;
 Thu, 13 Dec 2012 11:42:57 +0200 (EET) (envelope-from avg@FreeBSD.org)
Message-ID: <50C9A321.5060407@FreeBSD.org>
Date: Thu, 13 Dec 2012 11:42:57 +0200
From: Andriy Gapon <avg@FreeBSD.org>
User-Agent: Mozilla/5.0 (X11; FreeBSD amd64;
 rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
To: Adrian Chadd <adrian@FreeBSD.org>
Subject: Re: svn commit: r244112 - head/sys/kern
References: <201212110708.qBB78EWx025288@svn.freebsd.org>
 <201212121046.43706.jhb@freebsd.org>
 <CAJ-Vmo=U04GX+ZyKuzXLwV+PpzU6_dm5BCmL=DWfsmhTVAR+sA@mail.gmail.com>
 <201212121658.49048.jhb@freebsd.org> <50C90567.8080406@FreeBSD.org>
 <50C909BD.9090709@mu.org> <50C97D94.1090603@FreeBSD.org>
 <CAJ-Vmo=Fh=UEcg8oXraU1C8_2T2pQW7SoSP=bpGCyGcSb6hmjQ@mail.gmail.com>
 <50C97F8D.6010504@FreeBSD.org>
 <CAJ-Vmo=4S7wyoa2k6P3Cf2T1ToEwoTf0BcGbb3dnFF2qst4Fwg@mail.gmail.com>
In-Reply-To: <CAJ-Vmo=4S7wyoa2k6P3Cf2T1ToEwoTf0BcGbb3dnFF2qst4Fwg@mail.gmail.com>
X-Enigmail-Version: 1.4.6
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Cc: Alfred Perlstein <alfred@FreeBSD.org>, John Baldwin <jhb@FreeBSD.org>,
 svn-src-all@FreeBSD.org, Alfred Perlstein <bright@mu.org>,
 src-committers@FreeBSD.org, svn-src-head@FreeBSD.org
X-BeenThere: svn-src-head@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: SVN commit messages for the src tree for head/-current
 <svn-src-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-src-head>,
 <mailto:svn-src-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-head>
List-Post: <mailto:svn-src-head@freebsd.org>
List-Help: <mailto:svn-src-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-head>,
 <mailto:svn-src-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 13 Dec 2012 09:43:00 -0000

on 13/12/2012 09:16 Adrian Chadd said the following:
> Hi,
> 
> I think the fundamental problem here is we have some pretty different
> ideas of what KASSERT should be, versus what it actually is in various
> parts of the code.

Oh, and another part of the problem is that the discussion is opinion based.
But it didn't have to be.

Compare this:
We think that feature F is a very good idea, we think that it will be used by many
people and it will provide a lot of benefits.  So here you are - the code is in
the tree.

To this:
We have been using feature F, it has proved to be a very good idea as it provided
these benefits and spared us from these problems.  So here you are - the code is
in the tree.

If I have a differing opinion in the first case I usually state it (and can be
pulled into an argument about it).  If I have a different opinion in the second
case, I try to adjust my opinion to the stated reality.

> Since we're lost in semantics, we're not going to get any further on
> this discussion just for now, so let's take a break and think about
> other things for now.


-- 
Andriy Gapon