Fix the documentation according to the memory modelmemory_model_dev

Also, change the ordering requirements of some operations.

1 files changed, 4 insertions, 4 deletions

diff --git a/kern/rcu.h b/kern/rcu.h
index eb82a6af..55663311 100644
--- a/kern/rcu.h
+++ b/kern/rcu.h
@@ -80,24 +80,24 @@ struct rcu_reader;
 /*
  * Enter a read-side critical section.
  *
- * This is an intra-thread acquire operation.
+ * There is a strong sequence point during this operation.
  */
 static inline void
 rcu_read_enter(void)
 {
     rcu_reader_inc(thread_rcu_reader(thread_self()));
-    latomic_fence(LATOMIC_ACQ_REL);
+    latomic_fence(LATOMIC_SEQ_CST);
 }
 
 /*
  * Leave a read-side critical section.
  *
- * This is an intra-thread release operation.
+ * There is a strong sequence point during this operation.
  */
 static inline void
 rcu_read_leave(void)
 {
-    latomic_fence(LATOMIC_ACQ_REL);
+    latomic_fence(LATOMIC_SEQ_CST);
     rcu_reader_dec(thread_rcu_reader(thread_self()));
 }