From 8320a4a6f43e05a6d851647cc088f8e2afadd91c Mon Sep 17 00:00:00 2001 From: Samy Al Bahra Date: Sun, 12 May 2013 16:59:36 -0400 Subject: [PATCH] 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. --- include/ck_pr.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/include/ck_pr.h b/include/ck_pr.h index 2577714..e7c98f7 100644 --- 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