From owner-cvs-src@FreeBSD.ORG Wed Feb 6 11:12:08 2008 Return-Path: Delivered-To: cvs-src@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 7E66E16A41A for ; Wed, 6 Feb 2008 11:12:08 +0000 (UTC) (envelope-from asmrookie@gmail.com) Received: from fg-out-1718.google.com (fg-out-1718.google.com [72.14.220.152]) by mx1.freebsd.org (Postfix) with ESMTP id EAE2313C468 for ; Wed, 6 Feb 2008 11:12:07 +0000 (UTC) (envelope-from asmrookie@gmail.com) Received: by fg-out-1718.google.com with SMTP id 16so2532460fgg.35 for ; Wed, 06 Feb 2008 03:12:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; bh=OjyRt7JaRUe2V/zqo/cE2MlafhVfcahYgDnNsrzS7eY=; b=eWb3fjV6OUDhYRhh3fur/v8cSHa21aN/M2UqhPWEHZeDk/Xcb6ZEvUHoxxnFiYlO88vIy+h9o6Jfxccgzebk7oAfLInJtI57ve1pce4Vvn+OD93gmygsBCU7vJP7gVzdJXDXqrjJuaMNygnVUVS/56ySdS3xNSHabJwdUg4xlRo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=xJ0hYqsx4X8VzevBCrhJ7XKztNzyxLC+dgaWueYdSQTNnh3xeHByQ9hStxHnQhodE8IoAoyKngHDQ/KbZeUMUt11ZZycUzf1nk3PpQPIoSGgkm6dxwbVh2IaUrv+P7pCZGfo6ptRZ2FqVjbfM0Pct1i17Ll+cm67af8dSHr2XDM= Received: by 10.86.97.7 with SMTP id u7mr8950876fgb.39.1202296326532; Wed, 06 Feb 2008 03:12:06 -0800 (PST) Received: by 10.86.28.19 with HTTP; Wed, 6 Feb 2008 03:12:06 -0800 (PST) Message-ID: <3bbf2fe10802060312k25877e73k4a813fec5a91d00a@mail.gmail.com> Date: Wed, 6 Feb 2008 12:12:06 +0100 From: "Attilio Rao" Sender: asmrookie@gmail.com To: "Alfred Perlstein" In-Reply-To: <20080206050054.GI99258@elvis.mu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <200802060037.m160bFNJ030997@repoman.freebsd.org> <20080206050054.GI99258@elvis.mu.org> X-Google-Sender-Auth: f2d9481bea6a70b8 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 X-BeenThere: cvs-src@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: CVS commit messages for the src tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 Feb 2008 11:12:08 -0000 2008/2/6, Alfred Perlstein : > * Attilio Rao [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