On 10 Sep, Robert Watson wrote:
> On Tue, 10 Sep 2002, Don Lewis wrote:

>> I'm mostly worried about the vnode being recycled as something else
>> after the vput() or vrele() call.  I think a better approach would be to
>> add the assertion checks to vput() and vrele(), which would mean that we
>> could remove most of the checks in the syscall code.  The only problems
>> we would miss would be when we leak vnode references, but reference
>> leaks are a problem anyway.  I wish there was a good way to add
>> assertion checks for detecting the leaks. 
> 
> Unfortunately, we can't assert not locked at the end of vput because of
> recursive locking of vnodes.

I was actually thinking of adding the assertion at the beginning of vput
to check that the vnode was locked.  I forgot about recursive locking,
so doing any checking inside vrele() wouldn't work.

> What I would like to see is a check that, when control is returned to
> userland, that the thread owns no locks.

That sounds neat, though the obvious solution of traversing the vnode
list would sure slow things down ...


To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-current" in the body of the message

Reply via email to