Linus Torvalds <torva...@linux-foundation.org> writes: > On Tue, Sep 3, 2019 at 9:45 AM Eric W. Biederman <ebied...@xmission.com> > wrote: >> >> So with a big fat comment explaining why it is safe we could potentially >> use RCU_INIT_POINTER. I currently don't see where the appropriate >> barriers are so I can not write that comment or with a clear conscious >> write the code to use RCU_INIT_POINTER instead of rcu_assign_pointer. > > The only difference ends up being that RCU_INIT_POINTER() is just a > store, while rcu_assign_pointer() uses a smp_store_release(). > > (There is some build-time special case code to make > rcu_assign_pointer(NULL) avoid the store_release, but that is > irrelevant for this discussion). > > So from a memory ordering standpoint, > RCU_INIT_POINTER-vs-rcu_assign_pointer doesn't change what pointer you > get (on the other CPU that does the reading), but only whether the > stores to behind the pointer have been ordered wrt the reading too.
Which is my understanding. > Which no existing case can care about, since it didn't use to have any > ordering anyway before this patch series. The individual values read > off the thread pointer had their own individual memory ordering rules > (ie instead of making the _pointer_ be the serialization point, we > have rules for how "p->on_cpu" is ordered wrt the rq lock etc). Which would not be a regression if an existing case cared about it. There are so few architectures where this is a real difference (anything except alpha?) that we could have subtle bugs that have not been tracked down for a long time. I keep finding subtle bugs in much older and less subtle cases so I know it can happen that very minor bugs can get overlooked. > So one argument for just using RCU_INIT_POINTER is that it's the same > ordering that we had before, and then it's up to any users of that > pointer to order any accesses to any fields in 'struct task_struct'. I agree that RCU_INIT_POINTER is equivalent to what we have now. > Conversely, one argument for using rcu_assign_pointer() is that when > we pair it with an RCU read, we get certain ordering guarantees > automatically. So _if_ we have fields that change when a process is > put on the run-queue, and the RCU users want to read those fields, > then the release/acquire semantics might perform better than potential > existing smp memory barriers we might have right now. I think this is where I am looking a things differently than you and Peter. Why does it have to be ___schedule() that changes the value in the task_struct? Why can't it be something else that changes the value and then proceeds to call schedule()? What is the size of the window of changes that is relevant? If we use RCU_INIT_POINTER if there was something that changed task_struct and then called schedule() what ensures that a remote cpu that has a stale copy of task_struct cached will update it's cache after following the new value rq->curr? Don't we need rcu_assign_pointer to get that guarantee? Eric