X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=benchmark%2Fread-copy-update%2Frcu.cc;h=3b495592a5f3a726d57793655af7fcd7466d7eea;hp=6f791263c677abb002629a5c68c68afd9ccf3ba7;hb=f4f705b64671cdfae4d4cf8997e64a81ddce201d;hpb=f180f57604001398f2bcd9587aa508d0726a1399

diff --git a/benchmark/read-copy-update/rcu.cc b/benchmark/read-copy-update/rcu.cc
index 6f79126..3b49559 100644
--- a/benchmark/read-copy-update/rcu.cc
+++ b/benchmark/read-copy-update/rcu.cc
@@ -87,7 +87,7 @@ void write(Data *new_data) {
 	bool succ = false;
 	do {
 		succ = data.compare_exchange_strong(prev, new_data,
-			memory_order_release, memory_order_relaxed); 
+			memory_order_acq_rel, memory_order_relaxed); 
 		/**
 			@Begin
 			@Commit_point_define_check: succ