From owner-freebsd-hackers@FreeBSD.ORG  Fri Nov 16 14:49:28 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 6999B2D4;
 Fri, 16 Nov 2012 14:49:28 +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 1BBED8FC12;
 Fri, 16 Nov 2012 14:49:26 +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 QAA16963;
 Fri, 16 Nov 2012 16:42:11 +0200 (EET) (envelope-from avg@FreeBSD.org)
Message-ID: <50A650C2.7060407@FreeBSD.org>
Date: Fri, 16 Nov 2012 16:42:10 +0200
From: Andriy Gapon <avg@FreeBSD.org>
User-Agent: Mozilla/5.0 (X11; FreeBSD amd64;
 rv:16.0) Gecko/20121029 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>
 <50A552C5.5060703@FreeBSD.org>
 <CAJ-FndA+NSYDpOuhuFKTf6puPJz9aBSrNH-a-TfRKuqY-ZgAjw@mail.gmail.com>
In-Reply-To: <CAJ-FndA+NSYDpOuhuFKTf6puPJz9aBSrNH-a-TfRKuqY-ZgAjw@mail.gmail.com>
X-Enigmail-Version: 1.4.5
Content-Type: text/plain; charset=us-ascii
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: Fri, 16 Nov 2012 14:49:28 -0000

on 15/11/2012 23:44 Attilio Rao said the following:
> Do you think you can test this patch?:
> http://www.freebsd.org/~attilio/lockmgr_forcerec.patch

I will use this patch in my tree, but I think that it is effectively already quite
well tested by using INVARIANTS+WITNESS.

-- 
Andriy Gapon