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

diff --git a/urcu-static.h b/urcu-static.h
index dce15b7..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,6 +295,7 @@ 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