From owner-freebsd-hackers@FreeBSD.ORG  Thu Nov 15 20:38:35 2012
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
Delivered-To: freebsd-hackers@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
 by hub.freebsd.org (Postfix) with ESMTP id 4E976CA1;
 Thu, 15 Nov 2012 20:38:35 +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 193058FC08;
 Thu, 15 Nov 2012 20:38:33 +0000 (UTC)
Received: from porto.starpoint.kiev.ua (porto-e.starpoint.kiev.ua
 [212.40.38.100])
 by citadel.icyb.net.ua (8.8.8p3/ICyb-2.3exp) with ESMTP id WAA06227;
 Thu, 15 Nov 2012 22:38:32 +0200 (EET) (envelope-from avg@FreeBSD.org)
Received: from localhost ([127.0.0.1])
 by porto.starpoint.kiev.ua with esmtp (Exim 4.34 (FreeBSD))
 id 1TZ6Cl-000Nz0-Ri; Thu, 15 Nov 2012 22:38:31 +0200
Message-ID: <50A552C5.5060703@FreeBSD.org>
Date: Thu, 15 Nov 2012 22:38:29 +0200
From: Andriy Gapon <avg@FreeBSD.org>
User-Agent: Mozilla/5.0 (X11; FreeBSD amd64;
 rv:16.0) Gecko/20121030 Thunderbird/16.0.2
MIME-Version: 1.0
To: attilio@FreeBSD.org
Subject: Re: LK_SHARED/LK_DOWNGRADE adjustments to lock.9 manual page
References: <50A4E8C0.5030608@FreeBSD.org>
 <CAJ-FndAfUPOWzvpXtn7tHfzV00a+1PkfcXmEYo1eNg3RZG4Bew@mail.gmail.com>
In-Reply-To: <CAJ-FndAfUPOWzvpXtn7tHfzV00a+1PkfcXmEYo1eNg3RZG4Bew@mail.gmail.com>
X-Enigmail-Version: 1.4.5
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Cc: freebsd-hackers@FreeBSD.org, freebsd-current@FreeBSD.org
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
 <freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
 <mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 15 Nov 2012 20:38:35 -0000

on 15/11/2012 20:46 Attilio Rao said the following:
> On 11/15/12, Andriy Gapon <avg@freebsd.org> wrote:
>>
>> To people knowing the code,
>>
>> do the following documentation changes look correct?
> 
> The latter chunk is not correct.
> It will panic only if assertions are on.

But the current content is not correct too?

> I was thinking that however
> it would be good idea to patch lockmgr to panic also in non-debugging
> kernel situation.

It would make sense indeed, IMO.

-- 
Andriy Gapon