Date: Tue, 24 Jun 2003 17:54:02 -0400 (EDT) From: Andrew Gallatin <gallatin@cs.duke.edu> To: "Alan L. Cox" <alc@imimic.com> Cc: current@FreeBSD.org Subject: Re: LOR in VM (with backtrace) Message-ID: <16120.51322.899065.483700@grasshopper.cs.duke.edu> In-Reply-To: <3EF8ACB5.C8379525@imimic.com> References: <20030624004308.GA17534@rot13.obsecurity.org> <3EF8ACB5.C8379525@imimic.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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.. Drew
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?16120.51322.899065.483700>