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>
index | next in thread | previous in thread | raw e-mail
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, Alanhome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3EF91AB7.3D92D34F>