From 724cf6958caf1fb583009c7e7d257ddaa296fa44 Mon Sep 17 00:00:00 2001 From: Peizhao Ou 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