From owner-cvs-all Mon Jul 8 17:17: 1 2002 Delivered-To: cvs-all@freebsd.org Received: from mx1.FreeBSD.org (mx1.FreeBSD.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 1F47C37B400; Mon, 8 Jul 2002 17:16:57 -0700 (PDT) Received: from canning.wemm.org (canning.wemm.org [192.203.228.65]) by mx1.FreeBSD.org (Postfix) with ESMTP id 9171C43E42; Mon, 8 Jul 2002 17:16:56 -0700 (PDT) (envelope-from peter@wemm.org) Received: from fw.wemm.org (canning.wemm.org [192.203.228.65]) by canning.wemm.org (Postfix) with ESMTP id 5D9FF2A7F6; Mon, 8 Jul 2002 17:16:56 -0700 (PDT) (envelope-from peter@wemm.org) Received: from overcee.wemm.org (overcee.wemm.org [10.0.0.3]) by fw.wemm.org (Postfix) with ESMTP id 0AC2A4C4E6; Mon, 8 Jul 2002 17:16:56 -0700 (PDT) (envelope-from peter@wemm.org) Received: from wemm.org (localhost [127.0.0.1]) by overcee.wemm.org (Postfix) with ESMTP id 04E383811; Mon, 8 Jul 2002 17:16:56 -0700 (PDT) (envelope-from peter@wemm.org) X-Mailer: exmh version 2.5 07/13/2001 with nmh-1.0.4 To: Alfred Perlstein Cc: Julian Elischer , cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: src/sys/vm vm_zeroidle.c In-Reply-To: <20020708235903.GU97638@elvis.mu.org> Date: Mon, 08 Jul 2002 17:16:56 -0700 From: Peter Wemm Message-Id: <20020709001656.04E383811@overcee.wemm.org> Sender: owner-cvs-all@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG Alfred Perlstein wrote: > * Julian Elischer [020708 16:40] wrote: > > This is a good reason to have spin and sleep mutexes declared > > as different types so that the compiler can notice this sort of thing. > > True, but one could also add some KASSERTs for the time being. I was running with INVARIANTS only. Apparently WITNESS would have noticed and paniced the box right away. Cheers, -Peter -- Peter Wemm - peter@wemm.org; peter@FreeBSD.org; peter@yahoo-inc.com "All of this is for nothing if we don't go to the stars" - JMS/B5 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message