cvs commit: src/sys/kern kern_lock.c src/sys/sys lockmgr.h
attilio at freebsd.org
Wed Feb 6 03:12:08 PST 2008
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).
Peace can only be achieved by understanding - A. Einstein
More information about the cvs-src