ck_pr: Comment elaboration on ck_pr_fence_atomic semantics.

More specifically, note that in memory models where atomic operations do not have serializing effects that atomic read-modify-write operations are modeled as store operations.
12 years ago · 8320a4a6f4
parent 3f06a4e23a
commit 8320a4a6f4
1 changed files with 4 additions and 1 deletions
--- a/include/ck_pr.h
+++ b/include/ck_pr.h
@ -72,7 +72,10 @@
 CK_PR_FENCE_NOOP(load_depends)
 #define ck_pr_fence_strict_load_depends ck_pr_fence_load_depends
-
+/*
 * In memory models where atomic operations do not have serializing
 * effects, atomic read-modify-write operations are modeled as stores.
 */
 #if defined(CK_MD_RMO)
 /*
 * Only stores to the same location have a global