From 724cf6958caf1fb583009c7e7d257ddaa296fa44 Mon Sep 17 00:00:00 2001
From: Peizhao Ou <peizhaoo@uci.edu>
Date: Wed, 7 Dec 2016 15:36:47 -0800
Subject: [PATCH] update rcu comments
---
read-copy-update/rcu.cc | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/read-copy-update/rcu.cc b/read-copy-update/rcu.cc
index 55f3bb9..c4ddb3e 100644
--- a/read-copy-update/rcu.cc
+++ b/read-copy-update/rcu.cc
@@ -15,7 +15,7 @@ void read(int *data1, int *data2) {
// XXX-injection-#1: Weaken the parameter "memory_order_acquire" to
// "memory_order_relaxed", run "make" to recompile, and then run:
// "./run.sh ./read-copy-update/testcase -m2 -y -u3 -tSPEC"
- /********** Detected Correctness **********/
+ /********** Detected UL **********/
Data *res = dataPtr.load(memory_order_acquire);
/** @OPDefine: true */
*data1 = res->data1.load(memory_order_relaxed);
@@ -37,14 +37,14 @@ void write(int data1, int data2) {
// XXX-injection-#2: Weaken the parameter "memory_order_acquire" to
// "memory_order_relaxed", run "make" to recompile, and then run:
// "./run.sh ./read-copy-update/testcase -m2 -y -u3 -tSPEC"
- /********** Detected Correctness **********/
+ /********** Detected UL **********/
Data *prev = dataPtr.load(memory_order_acquire);
inc(tmp, prev, data1, data2);
// XXX-injection-#3: Weaken the parameter "memory_order_release" to
// "memory_order_relaxed", run "make" to recompile, and then run:
// "./run.sh ./read-copy-update/testcase -m2 -y -u3 -tSPEC"
- /********** Detected Correctness **********/
+ /********** Detected UL **********/
succ = dataPtr.compare_exchange_strong(prev, tmp,
memory_order_release, memory_order_relaxed);
/** @OPClearDefine: succ */
--
2.34.1