Embedding a vnode type to its interlock mutex type

Bruce M Simpson bms at spc.org
Mon Aug 18 02:27:39 PDT 2003


On Mon, Aug 18, 2003 at 04:13:26PM +0900, Seigo Tanimura wrote:
> In short: A vnode should embed its type name (VREG, VCHR, etc.) in the
> type of the interlock mutex to avoid a false LOR alarm by Witness.

I think I may have run into something similar with VM mutexes, but need
to sit down and perform more in-depth testing to be sure about this.

It does appear as though WITNESS only checks the name of the mutex, not
the address of the mutex, which would presumably be a suitable key to
differentiate them uniquely.

BMS


More information about the freebsd-arch mailing list