]> git.karo-electronics.de Git - karo-tx-linux.git/commitdiff
rcu: Add memory barriers for NOCB leader wakeup
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Sat, 29 Apr 2017 03:11:09 +0000 (20:11 -0700)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Fri, 9 Jun 2017 01:51:59 +0000 (18:51 -0700)
Wait/wakeup operations do not guarantee ordering on their own.  Instead,
either locking or memory barriers are required.  This commit therefore
adds memory barriers to wake_nocb_leader() and nocb_leader_wait().

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Tested-by: Krister Johansen <kjlx@templeofstupid.com>
Cc: <stable@vger.kernel.org> # 4.6.x
kernel/rcu/tree_plugin.h

index 0b1042545116954963a1a6125ddaeacc69791350..573fbe9640a01d64d8dbe03b7ce2df49dcc76f0d 100644 (file)
@@ -1810,6 +1810,7 @@ static void wake_nocb_leader(struct rcu_data *rdp, bool force)
        if (READ_ONCE(rdp_leader->nocb_leader_sleep) || force) {
                /* Prior smp_mb__after_atomic() orders against prior enqueue. */
                WRITE_ONCE(rdp_leader->nocb_leader_sleep, false);
+               smp_mb(); /* ->nocb_leader_sleep before swake_up(). */
                swake_up(&rdp_leader->nocb_wq);
        }
 }
@@ -2064,6 +2065,7 @@ wait_again:
         * nocb_gp_head, where they await a grace period.
         */
        gotcbs = false;
+       smp_mb(); /* wakeup before ->nocb_head reads. */
        for (rdp = my_rdp; rdp; rdp = rdp->nocb_next_follower) {
                rdp->nocb_gp_head = READ_ONCE(rdp->nocb_head);
                if (!rdp->nocb_gp_head)