2008/2/6, Alfred Perlstein <[EMAIL PROTECTED]>: > * Attilio Rao <[EMAIL PROTECTED]> [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 _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "[EMAIL PROTECTED]"
