Date: Mon, 21 Jun 2010 09:46:14 -0700
From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Kyle McMartin <kyle@mcmartin.ca>
Cc: Tilman Schmidt <tilman@imap.cc>, linux-kernel@vger.kernel.org
Subject: Re: CONFIG_PROVE_RCU breaks proprietary modules (rcu_lock_map)
Message-ID: <20100621164614.GD2354@linux.vnet.ibm.com>
Reply-To: paulmck@linux.vnet.ibm.com
References: <4BA689EA.4050102@imap.cc>
 <20100329150946.GB2569@linux.vnet.ibm.com>
 <4BB0E937.7070200@imap.cc>
 <20100329184059.GL2569@linux.vnet.ibm.com>
 <20100617103747.GZ20317@bombadil.infradead.org>
 <20100620151605.GA2396@linux.vnet.ibm.com>
 <20100621101425.GA20317@bombadil.infradead.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20100621101425.GA20317@bombadil.infradead.org>
User-Agent: Mutt/1.5.20 (2009-06-14)
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1256
Lines: 27

On Mon, Jun 21, 2010 at 06:14:26AM -0400, Kyle McMartin wrote:
> On Sun, Jun 20, 2010 at 08:16:05AM -0700, Paul E. McKenney wrote:
> > My kneejerk reaction is that PROVE_RCU is a developer tool, so I am
> > OK with it not being set by default in Rawhide.  Or have you seen good
> > value from (say) PROVE_LOCKING in Rawhide?
> 
> Hi Paul,
> 
> I'm fine with this, we try to enable debug options in rawhide in order
> to get the most out of bug reports/dmesgs that we can. We've definitely
> spotted a lot of lockdep reports by having it enabled for general
> desktop use cases (but as debugging has become more intensive, the perf
> loss from having it enabled is more costly.)
> 
> I suspect we'll be OK with PROVE_RCU off though.

Sounds good -- but please feel free to bug me about this again if it turns
out that you are seeing too many testing escapes from Rawhide into RHEL.
Until then, my thought is that PROVE_RCU testing should primarily be done
by developers on development trees.

							Thanx, Paul
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/