From owner-freebsd-current  Tue Feb 11 17:32:32 2003
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 BCA8E37B401
	for <current@freebsd.org>; Tue, 11 Feb 2003 17:32:30 -0800 (PST)
Received: from scl8owa02.int.exodus.net (scl8out02.exodus.net [66.35.230.242])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 37FCA43FA3
	for <current@freebsd.org>; Tue, 11 Feb 2003 17:32:26 -0800 (PST)
	(envelope-from Maksim.Yevmenkin@cw.com)
Received: from scl8owa01.int.exodus.net ([66.35.230.241]) by scl8owa02.int.exodus.net with Microsoft SMTPSVC(5.0.2195.5329);
	 Tue, 11 Feb 2003 17:32:26 -0800
Received: from cw.com ([206.220.227.147]) by scl8owa01.int.exodus.net over TLS secured channel with Microsoft SMTPSVC(5.0.2195.5329);
	 Tue, 11 Feb 2003 17:32:25 -0800
Message-ID: <3E49A429.DBFA4FBB@cw.com>
Date: Tue, 11 Feb 2003 17:32:25 -0800
From: Maksim Yevmenkin <Maksim.Yevmenkin@cw.com>
Organization: Cable & Wireless
X-Mailer: Mozilla 4.78 [en] (X11; U; SunOS 5.7 sun4u)
X-Accept-Language: en
MIME-Version: 1.0
To: current@freebsd.org
Subject: WITNESS questions
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-OriginalArrivalTime: 12 Feb 2003 01:32:25.0741 (UTC) FILETIME=[9909ABD0:01C2D236]
Sender: owner-freebsd-current@FreeBSD.ORG
Precedence: bulk
List-ID: <freebsd-current.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20freebsd-current>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20freebsd-current>
X-Loop: FreeBSD.ORG

Dear Hackers,

Does WITNESS keeps track of particular mutex instance or
just places where particular mutex type was acquired and
released? Is it even possible to keep track of individual
instance of the particular mutex type?

Here is my problem. In my code (Bluetooth sockets layers)
each socket/PCB has a mutex. The mutex type is the same.
Also there are few global mutexes that used to protect
sockets/PCBs list etc. 

Now when i do testing and both client and server reside
on the same machine, i, sometimes, get "lock order reversal"
messages. All messages can be put into two groups:
:
1) Both mutexes are particular instances of the two different
   types.

2) One mutex is global and another is particular instance
   of the particular type.

These messages are bugging me and i want to get to the 
bottom of this. How i can verify/convince myself that
these messages are not problems? How should i deal with
multiple mutex instances? Will WITNESS be able to help
me here?

thanks,
max

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-current" in the body of the message