urcu-qsbr: document compiler barrier

[urcu.git] / urcu-qsbr.c

diff --git a/urcu-qsbr.c b/urcu-qsbr.c
index 155505abc7843385fafef29de57509ceb096519c..25074d09063a60ae5c94a17b18cd9d241b1e2fb9 100644 (file)
--- a/urcu-qsbr.c
+++ b/urcu-qsbr.c
@@ -113,13 +113,20 @@ static void update_counter_and_wait(void)
        struct rcu_reader *index, *tmp;
 
 #if (BITS_PER_LONG < 64)
-       /* Switch parity: 1 -> 0, 0 -> 1 */
+       /* Switch parity: 0 -> 1, 1 -> 0 */
        STORE_SHARED(rcu_gp_ctr, rcu_gp_ctr ^ RCU_GP_CTR);
 #else  /* !(BITS_PER_LONG < 64) */
        /* Increment current G.P. */
        STORE_SHARED(rcu_gp_ctr, rcu_gp_ctr + RCU_GP_CTR);
 #endif /* !(BITS_PER_LONG < 64) */
 
+       /*
+        * Enforce compiler-order of store to rcu_gp_ctr before before
+        * load rcu_reader ctr.
+        * This ensures synchronize_rcu() cannot be starved by readers.
+        */
+       barrier();
+
        /*
         * Wait for each thread rcu_reader_qs_gp count to become 0.
         */