From owner-freebsd-hackers@FreeBSD.ORG Fri Nov 16 02:09:58 2012 Return-Path: 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 47B86974 for ; Fri, 16 Nov 2012 02:09:58 +0000 (UTC) (envelope-from postmaster@mailpod.hostingplatform.com) Received: from atl4mhob06.myregisteredsite.com (atl4mhob06.myregisteredsite.com [209.17.115.44]) by mx1.freebsd.org (Postfix) with ESMTP id E947D8FC12 for ; Fri, 16 Nov 2012 02:09:57 +0000 (UTC) Received: from mailpod1.hostingplatform.com (mailpod1.networksolutionsemail.com [206.188.198.65]) by atl4mhob06.myregisteredsite.com (8.14.4/8.14.4) with ESMTP id qAG29ujc008624 for ; Thu, 15 Nov 2012 21:09:56 -0500 Received: (qmail 27871 invoked by uid 0); 16 Nov 2012 02:09:56 -0000 Received: (qmail 1516 invoked by uid 0); 15 Nov 2012 20:39:01 -0000 Received: from unknown (HELO atl4mhib12.myregisteredsite.com) (209) by 0 with SMTP; 15 Nov 2012 20:39:01 -0000 Received: from mx2.freebsd.org (mx2.freebsd.org [69.147.83.53]) by atl4mhib12.myregisteredsite.com (8.14.4/8.14.4) with ESMTP id qAFKd0NL021406 for ; Thu, 15 Nov 2012 15:39:00 -0500 Received: from hub.freebsd.org (hub.FreeBSD.org [8.8.178.136]) by mx2.freebsd.org (Postfix) with ESMTP id 599503B62FB; Thu, 15 Nov 2012 20:38:46 +0000 (UTC) Received: from hub.FreeBSD.org (hub.FreeBSD.org [8.8.178.136]) by hub.freebsd.org (Postfix) with ESMTP id 079BDE35; Thu, 15 Nov 2012 20:38:44 +0000 (UTC) (envelope-from owner-freebsd-current@freebsd.org) Delivered-To: freebsd-current@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 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> In-Reply-To: X-Enigmail-Version: 1.4.5 X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: owner-freebsd-current@freebsd.org Sender: owner-freebsd-current@freebsd.org X-SpamScore: 0 X-MailHub-Apparently-To: mjm@michaelmeltzer.com X-MailHub-Forwarded: Yes Cc: freebsd-hackers@FreeBSD.org, freebsd-current@FreeBSD.org X-BeenThere: freebsd-hackers@freebsd.org List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 16 Nov 2012 02:09:58 -0000 on 15/11/2012 20:46 Attilio Rao said the following: > On 11/15/12, Andriy Gapon 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 _______________________________________________ freebsd-current@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscribe@freebsd.org"