X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=urcu-bp-static.h;fp=urcu-bp-static.h;h=6d7e3c874cff4c60f869a15f368324b3b080efde;hp=515be288d6b75011a1428994343d641e2cf9f330;hb=42a3f1f99827c1bd73270966d4fffd6157809a7c;hpb=04e3eaa936284a9dbaa220295771b75aba54926e

diff --git a/urcu-bp-static.h b/urcu-bp-static.h
index 515be28..6d7e3c8 100644
--- a/urcu-bp-static.h
+++ b/urcu-bp-static.h
@@ -175,6 +175,7 @@ static inline void _rcu_read_lock(void)
 	if (unlikely(!rcu_reader))
 		rcu_bp_register();
 
+	barrier();	/* Ensure the compiler does not reorder us with mutex */
 	tmp = rcu_reader->ctr;
 	/*
 	 * rcu_gp_ctr is
@@ -199,6 +200,7 @@ static inline void _rcu_read_unlock(void)
 	 */
 	smp_mb();
 	_STORE_SHARED(rcu_reader->ctr, rcu_reader->ctr - RCU_GP_COUNT);
+	barrier();	/* Ensure the compiler does not reorder us with mutex */
 }
 
 #ifdef __cplusplus