From owner-freebsd-hackers@FreeBSD.ORG Mon Aug 16 18:29:35 2004 Return-Path: Delivered-To: freebsd-hackers@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id E188616A4CF for ; Mon, 16 Aug 2004 18:29:35 +0000 (GMT) Received: from mail3.speakeasy.net (mail3.speakeasy.net [216.254.0.203]) by mx1.FreeBSD.org (Postfix) with ESMTP id 8F44243D1F for ; Mon, 16 Aug 2004 18:29:35 +0000 (GMT) (envelope-from jhb@FreeBSD.org) Received: (qmail 29820 invoked from network); 16 Aug 2004 18:29:35 -0000 Received: from dsl027-160-063.atl1.dsl.speakeasy.net (HELO server.baldwin.cx) ([216.27.160.63]) (envelope-sender ) encrypted SMTP for ; 16 Aug 2004 18:29:34 -0000 Received: from [10.50.40.208] (gw1.twc.weather.com [216.133.140.1]) (authenticated bits=0) by server.baldwin.cx (8.12.11/8.12.11) with ESMTP id i7GITVxg031999; Mon, 16 Aug 2004 14:29:32 -0400 (EDT) (envelope-from jhb@FreeBSD.org) From: John Baldwin To: freebsd-hackers@FreeBSD.org Date: Mon, 16 Aug 2004 11:59:09 -0400 User-Agent: KMail/1.6.2 References: <4120A660.9070909@cronyx.ru> In-Reply-To: <4120A660.9070909@cronyx.ru> MIME-Version: 1.0 Content-Disposition: inline Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: 7bit Message-Id: <200408161159.11250.jhb@FreeBSD.org> X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on server.baldwin.cx cc: FreeBSD Current cc: Roman Kurakin Subject: Re: LOR X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 16 Aug 2004 18:29:36 -0000 On Monday 16 August 2004 08:19 am, Roman Kurakin wrote: > Hi, > > Question to gurus. Does witness keep in mind lock recursion when > it checks for LORs. Well, I'm not sure if I understand exactly what you are asking, but witness only does lock order checks when you first acquire the lock. Any recursive locks will skip the order checking altogether since recursive acquires can never block. Similarly, trylock operations also stick order checks altogether since they can never block either. -- John Baldwin <>< http://www.FreeBSD.org/~jhb/ "Power Users Use the Power to Serve" = http://www.FreeBSD.org