From: Peizhao Ou <peizhaoo@uci.edu>
Date: Wed, 7 Dec 2016 23:36:47 +0000 (-0800)
Subject: update rcu comments
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=refs%2Fheads%2Fppopp17-artifact;p=model-checker-benchmarks.git

update rcu comments
---

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 */