From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754015AbbIGJLl (ORCPT ); Mon, 7 Sep 2015 05:11:41 -0400 Received: from hotel311.server4you.de ([85.25.146.15]:48717 "EHLO hotel311.server4you.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751915AbbIGJLj (ORCPT ); Mon, 7 Sep 2015 05:11:39 -0400 X-Greylist: delayed 564 seconds by postgrey-1.27 at vger.kernel.org; Mon, 07 Sep 2015 05:11:39 EDT Subject: Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks To: "Paul E. McKenney" , linux-kernel@vger.kernel.org References: <20150829032643.GA19166@linux.vnet.ibm.com> <1440819361-20251-1-git-send-email-paulmck@linux.vnet.ibm.com> <1440819361-20251-3-git-send-email-paulmck@linux.vnet.ibm.com> Cc: mingo@kernel.org, jiangshanlai@gmail.com, dipankar@in.ibm.com, akpm@linux-foundation.org, mathieu.desnoyers@efficios.com, josh@joshtriplett.org, tglx@linutronix.de, peterz@infradead.org, rostedt@goodmis.org, dhowells@redhat.com, edumazet@google.com, dvhart@linux.intel.com, fweisbec@gmail.com, oleg@redhat.com, bobby.prani@gmail.com From: Daniel Wagner Message-ID: <55ED5294.1040009@monom.org> Date: Mon, 7 Sep 2015 11:02:12 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 In-Reply-To: <1440819361-20251-3-git-send-email-paulmck@linux.vnet.ibm.com> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 08/29/2015 05:35 AM, Paul E. McKenney wrote: > +extern bool __rcu_sync_is_idle(struct rcu_sync *); > + > /** > * rcu_sync_is_idle() - Are readers permitted to use their fastpaths? > * @rsp: Pointer to rcu_sync structure to use for synchronization > @@ -50,7 +52,11 @@ struct rcu_sync { > */ > static inline bool rcu_sync_is_idle(struct rcu_sync *rsp) > { > +#ifdef CONFIG_PROVE_RCU > + return __rcu_sync_is_idle(rss); s/rss/rsp? > +#else > return !rsp->gp_state; /* GP_IDLE */ > +#endif > }