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