(unknown charset) Re: LOR in VM (with backtrace)

From: (unknown charset) Alan L. Cox <alc_at_imimic.com>
Date: Tue, 24 Jun 2003 22:44:55 -0500
Andrew Gallatin wrote:
> 
> Alan L. Cox writes:
>  > Thanks for letting me know.  This is another false positive: Witness
>  > can't distinguish the lock on the object being destroyed from the lock
>  > on the object used by UMA because their labels are the same.  They will
>  > never, however, be the same object.  So, deadlock isn't a risk.
> 
> In a closed source driver I maintain, I had to resort to passing a
> string containing the meaningful name concatonated with some unique info
> to mtx_init().
> 
> It seems like witness could just concat the address of the mutex along
> with the strings passed to mtx_init() so as to make sure things were
> unique..
> 

I'm not sure that witness could handle the 30,000 to 200,000 distinct
mutex labels that would result from doing this for every vm object.

Regards,
Alan
Received on Tue Jun 24 2003 - 18:45:07 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:37:13 UTC