This seems a sensible change to me: looking forward to seeing a patch, on top of -rcu/dev, for further review and testing! We could also add (to LKMM) the barrier() for rcu_read_{lock,unlock}() discussed in this thread (maybe once the RCU code and the informal doc will have settled in such direction).