update rcu comments

diff --git a/read-copy-update/rcu.cc b/read-copy-update/rcu.cc
index 55f3bb9eb5f32aa1aa19fb92e273b6217c5915e0..c4ddb3ed7c7c6fd85b200e71d822c97205b4ab66 100644 (file)
--- 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 */