X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=urcu-static.h;h=eea39bb0641f8b5d295a46dd4f316761a6e85d21;hp=56c853d57c440d49e7559b76a4f178bbcfa959d6;hb=53706aa68118271d0d14bd5f1baa7ea1c4cf9754;hpb=6982d6d71aeed16d2d929bd0ed221e8f444b706e

diff --git a/urcu-static.h b/urcu-static.h
index 56c853d..eea39bb 100644
--- a/urcu-static.h
+++ b/urcu-static.h
@@ -259,6 +259,7 @@ static inline void _rcu_read_lock(void)
 {
 	unsigned long tmp;
 
+	barrier();	/* Ensure the compiler does not reorder us with mutex */
 	tmp = rcu_reader.ctr;
 	/*
 	 * rcu_gp_ctr is
@@ -294,9 +295,10 @@ static inline void _rcu_read_unlock(void)
 	} else {
 		_STORE_SHARED(rcu_reader.ctr, rcu_reader.ctr - RCU_GP_COUNT);
 	}
+	barrier();	/* Ensure the compiler does not reorder us with mutex */
 }
 
-#ifdef __cplusplus 
+#ifdef __cplusplus
 }
 #endif