From owner-cvs-all Sat Sep 7 21:41:21 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 8D06337B400; Sat, 7 Sep 2002 21:41:17 -0700 (PDT) Received: from wantadilla.lemis.com (wantadilla.lemis.com [192.109.197.80]) by mx1.FreeBSD.org (Postfix) with ESMTP id 6E3FC43E3B; Sat, 7 Sep 2002 21:41:16 -0700 (PDT) (envelope-from grog@lemis.com) Received: by wantadilla.lemis.com (Postfix, from userid 1004) id 2DF1981277; Sun, 8 Sep 2002 14:11:14 +0930 (CST) Date: Sun, 8 Sep 2002 14:11:14 +0930 From: Greg 'groggy' Lehey To: John Baldwin Cc: cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: src/sys/kern kern_mutex.c Message-ID: <20020908044114.GF12935@wantadilla.lemis.com> References: <200209031825.g83IPG4U068304@freefall.freebsd.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200209031825.g83IPG4U068304@freefall.freebsd.org> User-Agent: Mutt/1.4i Organization: The FreeBSD Project Phone: +61-8-8388-8286 Fax: +61-8-8388-8725 Mobile: +61-418-838-708 WWW-Home-Page: http://www.FreeBSD.org/ X-PGP-Fingerprint: 9A1B 8202 BCCE B846 F92F 09AC 22E6 F290 507A 4223 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 On Tuesday, 3 September 2002 at 11:25:16 -0700, John Baldwin wrote: > jhb 2002/09/03 11:25:16 PDT > > Modified files: > sys/kern kern_mutex.c > Log: > Add some KASSERT()'s to ensure that we don't perform spin mutex ops on > sleep mutexes and vice versa. WITNESS normally should catch this but > not everyone uses WITNESS so this is a fallback to catch nasty but easy > to do bugs. Is this a temporary thing which will go away, or is it dependent on some other debugging option? It doesn't seem to be something that should remain in production systems for ever. Greg -- See complete headers for address and phone numbers To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message