Date: Wed, 6 Feb 2008 12:12:06 +0100 From: "Attilio Rao" <attilio@freebsd.org> To: "Alfred Perlstein" <alfred@freebsd.org> Cc: cvs-src@freebsd.org, src-committers@freebsd.org, cvs-all@freebsd.org Subject: Re: cvs commit: src/sys/kern kern_lock.c src/sys/sys lockmgr.h Message-ID: <3bbf2fe10802060312k25877e73k4a813fec5a91d00a@mail.gmail.com> In-Reply-To: <20080206050054.GI99258@elvis.mu.org> References: <200802060037.m160bFNJ030997@repoman.freebsd.org> <20080206050054.GI99258@elvis.mu.org>
next in thread | previous in thread | raw e-mail | index | archive | help
2008/2/6, Alfred Perlstein <alfred@freebsd.org>: > * Attilio Rao <attilio@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3bbf2fe10802060312k25877e73k4a813fec5a91d00a>