save
[cdsspec-compiler.git] / benchmark / read-copy-update / rcu.cc
index 6f79126..3b49559 100644 (file)
@@ -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