From owner-freebsd-current@FreeBSD.ORG  Mon Aug 16 21:44:16 2004
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 984B716A4CF
	for <freebsd-current@FreeBSD.org>;
	Mon, 16 Aug 2004 21:44:16 +0000 (GMT)
Received: from hanoi.cronyx.ru (hanoi.cronyx.ru [144.206.181.53])
	by mx1.FreeBSD.org (Postfix) with ESMTP id A8CD343D2F
	for <freebsd-current@FreeBSD.org>;
	Mon, 16 Aug 2004 21:44:15 +0000 (GMT)	(envelope-from rik@cronyx.ru)
Received: (from root@localhost) by hanoi.cronyx.ru
  id i7GLf6qa077282 for freebsd-current@FreeBSD.org.checked; (8.12.8/vak/2.1)
  Tue, 17 Aug 2004 01:41:06 +0400 (MSD) (envelope-from rik@cronyx.ru)
Received: from cronyx.ru (hanoi.cronyx.ru [144.206.181.53]) by hanoi.cronyx.ru
	with ESMTP  id i7GLePoO077212; (8.12.8/vak/2.1)
	Tue, 17 Aug 2004 01:40:25 +0400 (MSD) (envelope-from rik@cronyx.ru)
Message-ID: <4121281C.10006@cronyx.ru>
Date: Tue, 17 Aug 2004 01:33:16 +0400
From: Roman Kurakin <rik@cronyx.ru>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; ru-RU; rv:1.2.1) Gecko/20030426
X-Accept-Language: ru-ru, en
MIME-Version: 1.0
To: John Baldwin <jhb@FreeBSD.org>
References: <4120A660.9070909@cronyx.ru> <200408161159.11250.jhb@FreeBSD.org>
In-Reply-To: <200408161159.11250.jhb@FreeBSD.org>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
cc: freebsd-hackers@FreeBSD.org
cc: FreeBSD Current <freebsd-current@FreeBSD.org>
Subject: Re: LOR
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 16 Aug 2004 21:44:16 -0000

John Baldwin:

>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 
>
My question was silly cause it is based on very silly ideas.

>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 
>
You've answered just that I want to know. Thanks!

>altogether since they can never block either.
>
rik