From owner-freebsd-hackers@FreeBSD.ORG  Thu Nov 29 12:05:52 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 0342E808;
 Thu, 29 Nov 2012 12:05:52 +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 E4FBE8FC13;
 Thu, 29 Nov 2012 12:05:50 +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 OAA10285;
 Thu, 29 Nov 2012 14:05:48 +0200 (EET) (envelope-from avg@FreeBSD.org)
Message-ID: <50B74F9C.40106@FreeBSD.org>
Date: Thu, 29 Nov 2012 14:05:48 +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: 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>
 <50A650C2.7060407@FreeBSD.org>
In-Reply-To: <50A650C2.7060407@FreeBSD.org>
X-Enigmail-Version: 1.4.6
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: Thu, 29 Nov 2012 12:05:52 -0000

on 16/11/2012 16:42 Andriy Gapon said the following:
> 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.
> 

I've been using this patch in both debug and non-debug environments and I have not
run into any issues.  Please commit when you get a chance.
Thank you.

-- 
Andriy Gapon