On Mon, May 02, 2016 at 07:10:23AM -0700, Paul E. McKenney wrote: > On Sun, May 01, 2016 at 12:53:13PM -0700, Paul E. McKenney wrote: > > On Sun, May 01, 2016 at 10:01:20AM -0700, Christoph Hellwig wrote: > > > On Sun, May 01, 2016 at 06:22:01PM +0530, Muhammad Falak R Wani wrote: > > > > It is safe to use RCU_INIT_POINTER() to NULL, instead of > > > > rcu_assign_pointer(). > > > > This results in slightly smaller/faster code. > > > > > > If this is indeed the case, rcu_assign_pointer should simply check > > > for NULL using __builtin_constant_p and do the right thing transparently > > > instead of burdening it on every user. > > > > Last time around, there was a compiler bug that prevented this from > > working correctly. But it could well be time to look at it again. > > How does the following (untested) patch look? > > Pretty bad, actually... > > People use rcu_assign_pointer() for pointers to functions, which gets > interesting compiler warnings for some configurations. Please see below > for attempt #2. Perhaps third time is the charm? Thanx, Paul ------------------------------------------------------------------------ commit 72a616bf7f99b2ef4f211f73c6def7fa884d6ca4 Author: Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> Date: Sun May 1 18:46:54 2016 -0700 rcu: No ordering for rcu_assign_pointer() of NULL This commit does a compile-time check for rcu_assign_pointer() of NULL, and uses WRITE_ONCE() rather than smp_store_release() in that case. Reported-by: Christoph Hellwig <hch@xxxxxxxxxxxxx> Signed-off-by: Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> diff --git a/include/linux/rcupdate.h b/include/linux/rcupdate.h index c61b6b9506e7..9be61e47badc 100644 --- a/include/linux/rcupdate.h +++ b/include/linux/rcupdate.h @@ -650,7 +650,16 @@ static inline void rcu_preempt_sleep_check(void) * please be careful when making changes to rcu_assign_pointer() and the * other macros that it invokes. */ -#define rcu_assign_pointer(p, v) smp_store_release(&p, RCU_INITIALIZER(v)) +#define rcu_assign_pointer(p, v) \ +({ \ + uintptr_t _r_a_p__v = (uintptr_t)(v); \ + \ + if (__builtin_constant_p(v) && (_r_a_p__v) == (uintptr_t)NULL) \ + WRITE_ONCE((p), (typeof(p))(_r_a_p__v)); \ + else \ + smp_store_release(&p, RCU_INITIALIZER((typeof(p))_r_a_p__v)); \ + _r_a_p__v; \ +}) /** * rcu_access_pointer() - fetch RCU pointer with no dereferencing -- To unsubscribe from this list: send the line "unsubscribe target-devel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html