[OpenAFS-devel] locks

[Nickolai Zeldovich]

> > This seems to be just some FreeBSD-specific thing, which lets you
> > choose real locks (HEAVY_LOCKS) or fake locks (NULL_LOCKS) which
> > assume that you have no concurrency whatsoever
> They don't assume. They assert if there is concurrency.

IMHO, even if they verify that there's no concurrency (by asserting when
they detect it), they still make that assumption.  It's hard to claim that
NULL_LOCKS is a valid locking implementation unless you assume that there
is no concurrency (and it's good that it makes sure that the asusmption
isn't violated.)

-- kolya