From owner-freebsd-smp Mon Mar 11 15:37:34 2002 Delivered-To: freebsd-smp@freebsd.org Received: from k6.locore.ca (k6.locore.ca [198.96.117.170]) by hub.freebsd.org (Postfix) with ESMTP id 4556337B402; Mon, 11 Mar 2002 15:37:30 -0800 (PST) Received: (from jake@localhost) by k6.locore.ca (8.11.6/8.11.6) id g2BNh0F38647; Mon, 11 Mar 2002 18:43:00 -0500 (EST) (envelope-from jake) Date: Mon, 11 Mar 2002 18:42:59 -0500 From: Jake Burkholder To: Alfred Perlstein Cc: Chad David , John Baldwin , smp@FreeBSD.ORG Subject: Re: select fix and giant pushdown patch Message-ID: <20020311184259.J20687@locore.ca> References: <20020311001131.GN26621@elvis.mu.org> <20020311222102.GA92565@elvis.mu.org> <20020311154042.A89113@colnta.acns.ab.ca> <20020311232903.GB92565@elvis.mu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20020311232903.GB92565@elvis.mu.org>; from bright@mu.org on Mon, Mar 11, 2002 at 03:29:03PM -0800 Sender: owner-freebsd-smp@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org Apparently, On Mon, Mar 11, 2002 at 03:29:03PM -0800, Alfred Perlstein said words to the effect of; > > > I think we need an assertion that a cv can only be used with a single > > > mutex. > > > > And that the mutex is held? > > Yes. :) John is all about infrastructure, and we need such assertions > in the code. :) > If you actually look at the CV code, Jason added code which does this but its not normally enabled. Its under a CV_DEBUG option which should probably be turned on if INVARIANTS is set. Jake To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-smp" in the body of the message