From owner-freebsd-fs  Tue Dec  7 16:41:24 1999
Delivered-To: freebsd-fs@freebsd.org
Received: from ns1.yes.no (ns1.yes.no [195.204.136.10])
	by hub.freebsd.org (Postfix) with ESMTP id 8C53814BE6
	for <fs@FreeBSD.org>; Tue,  7 Dec 1999 16:41:20 -0800 (PST)
	(envelope-from eivind@bitbox.follo.net)
Received: from bitbox.follo.net (bitbox.follo.net [195.204.143.218])
	by ns1.yes.no (8.9.3/8.9.3) with ESMTP id BAA00875
	for <fs@FreeBSD.org>; Wed, 8 Dec 1999 01:41:17 +0100 (CET)
Received: (from eivind@localhost)
	by bitbox.follo.net (8.8.8/8.8.6) id BAA18610
	for fs@FreeBSD.org; Wed, 8 Dec 1999 01:41:15 +0100 (MET)
Date: Wed, 8 Dec 1999 01:41:15 +0100
From: Eivind Eklund <eivind@FreeBSD.org>
To: fs@FreeBSD.org
Subject: Final call for VOP_ISLOCKED objections
Message-ID: <19991208014115.L14851@bitbox.follo.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 1.0i
Sender: owner-freebsd-fs@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org

I'd like to commit the changes to VOP_ISLOCKED() I've mentioned here
before.  The patches are at
	http://www.freebsd/org/~eivind/new-types-for-lock.patch
and
* Make VOP_ISLOCKED() and lockstatus() take an extra parameter
  (process), and return a new constant (LK_EXCLOTHER) if the process
  parameter is supplied and there is an exclusive lock held by
  somebody else.
* Extend the ASSERT_VOP_LOCKED/UNLOCKED family with a series of calls
  to do better checking.
* Changes the ASSERT_VOP_UNLOCKED semantics to
  unlocked-by-this-process, which is more in line with how the code
  use it.
* Introduce new (presently unused) lock descriptions in
  vnode_if.src/vnode_if.sh, allowing precise descriptions WRT
  shared/exclusive locks.

They do *not* change any of behaviour unless the undocumented option
DEBUG_VFS_LOCKS is enabled.

I would like to commit these changes tomorrow, for the convenience
reason of getting an environment I can debug the locking system under,
rushing for getting as much 'stuff' as possible tested and into the
system for the 15th.

Eivind.


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