Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 29 Nov 2012 14:05:48 +0200
From:      Andriy Gapon <avg@FreeBSD.org>
To:        attilio@FreeBSD.org
Cc:        freebsd-hackers@FreeBSD.org, freebsd-current@FreeBSD.org
Subject:   Re: LK_SHARED/LK_DOWNGRADE adjustments to lock.9 manual page
Message-ID:  <50B74F9C.40106@FreeBSD.org>
In-Reply-To: <50A650C2.7060407@FreeBSD.org>
References:  <50A4E8C0.5030608@FreeBSD.org> <CAJ-FndAfUPOWzvpXtn7tHfzV00a%2B1PkfcXmEYo1eNg3RZG4Bew@mail.gmail.com> <50A552C5.5060703@FreeBSD.org> <CAJ-FndA%2BNSYDpOuhuFKTf6puPJz9aBSrNH-a-TfRKuqY-ZgAjw@mail.gmail.com> <50A650C2.7060407@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?50B74F9C.40106>