From owner-freebsd-hackers@FreeBSD.ORG Wed Dec 5 15:12:13 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 077C6433; Wed, 5 Dec 2012 15:12:13 +0000 (UTC) (envelope-from asmrookie@gmail.com) Received: from mail-lb0-f182.google.com (mail-lb0-f182.google.com [209.85.217.182]) by mx1.freebsd.org (Postfix) with ESMTP id 0CB6F8FC0C; Wed, 5 Dec 2012 15:12:11 +0000 (UTC) Received: by mail-lb0-f182.google.com with SMTP id go10so5652695lbb.13 for ; Wed, 05 Dec 2012 07:12:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:reply-to:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=0ecrfHu4UyuAvGiXNG9LxQWcNjTnHVOzeePJ8+DT+Ao=; b=UWJwBmRmy2tzZRYzaY152+sytb4GofG4EaF2EzY4+sThCkUPIzXAjtPRYU2E5UxNc4 bIt7HMDTmfliObmoUOx/9MqFGnQVQe82qNyAZXu8I09SgaMUIRSMVjAIRPPLaiZDRSKH WCqcJeIr7/6F5LwCL6KYqSS+0Bztgkdf8PtcrcOSLLe8hrYR2r/YSx3KwQbSrD2taRZH nj879Xx9wbZHW62J9y8bLJkNRg85uhHxcJsqcfS35vJo6jumDOKOUv9kTYxIrBrZe39c qMScDfg5L1mbv8TejvOZnGIDuVOi2BVDsd+yZL1jLD/daNhqLcubpb4NKC3v9LQ5Ov7f nDPQ== MIME-Version: 1.0 Received: by 10.112.28.98 with SMTP id a2mr7442291lbh.110.1354720330636; Wed, 05 Dec 2012 07:12:10 -0800 (PST) Sender: asmrookie@gmail.com Received: by 10.112.84.193 with HTTP; Wed, 5 Dec 2012 07:12:10 -0800 (PST) In-Reply-To: <50B74F9C.40106@FreeBSD.org> References: <50A4E8C0.5030608@FreeBSD.org> <50A552C5.5060703@FreeBSD.org> <50A650C2.7060407@FreeBSD.org> <50B74F9C.40106@FreeBSD.org> Date: Wed, 5 Dec 2012 15:12:10 +0000 X-Google-Sender-Auth: rrwwsdVO9li9ap8DbBaA2ObzOjo Message-ID: Subject: Re: LK_SHARED/LK_DOWNGRADE adjustments to lock.9 manual page From: Attilio Rao To: Andriy Gapon Content-Type: text/plain; charset=UTF-8 Cc: freebsd-hackers@freebsd.org, freebsd-current@freebsd.org X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: attilio@FreeBSD.org List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 05 Dec 2012 15:12:13 -0000 On Thu, Nov 29, 2012 at 12:05 PM, Andriy Gapon wrote: > 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. Committed as r243900, please proceed with manpage cleanup. Thanks, Attilio -- Peace can only be achieved by understanding - A. Einstein