cvs commit: src/sys/kern kern_lock.c src/sys/sys lockmgr.h

[Attilio Rao]

2008/2/6, Alfred Perlstein <alfred at freebsd.org>:
> * Attilio Rao <attilio at FreeBSD.org> [080205 16:37] wrote:
>  > attilio     2008-02-06 00:37:14 UTC
>  >
>  >   FreeBSD src repository
>  >
>  >   Modified files:
>  >     sys/kern             kern_lock.c
>  >     sys/sys              lockmgr.h
>  >   Log:
>  >   Add WITNESS support to lockmgr locking primitive.
>
>
> This is very excting, the scaffolding that FreeBSD offers in terms
>  of code coverge for things like VOP correctness and lock ordering
>  has made it a pleasure to work on.

A very important thing about WITNESS support is that it will allow us
to build reliable assertions for lockmgr (and not only fictious ones
like what exist now) and so propagate this property to its consumers
(reliable assertions in buffer cache and vnodes).

Attilio


-- 
Peace can only be achieved by understanding - A. Einstein