X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=benchmark%2Fread-copy-update%2Frcu.cc;h=55238821356416a592399795ebc4d98a0ae6fabd;hp=b66548039d9438a9ed4db3aeeb6675fa6c545304;hb=7f2fd73fe54a04e0f795e7b8f6e28b3a7708df03;hpb=2d5eeaa6ee1e3f22dff90b00780fdfce5e70b13c

diff --git a/benchmark/read-copy-update/rcu.cc b/benchmark/read-copy-update/rcu.cc
index b665480..5523882 100644
--- a/benchmark/read-copy-update/rcu.cc
+++ b/benchmark/read-copy-update/rcu.cc
@@ -87,7 +87,7 @@ Data* write(int d1, int d2, int d3) {
 	    tmp->data2 = prev->data2 + d2;
 	    tmp->data3 = prev->data3 + d3;
         succ = data.compare_exchange_strong(prev, tmp,
-            memory_order_acq_rel, memory_order_relaxed);
+            memory_order_release, memory_order_acquire);
 		/**
 			@Begin
 			@Commit_point_define_check: succ
@@ -133,13 +133,13 @@ int user_main(int argc, char **argv) {
 
 	thrd_create(&t1, threadA, NULL);
 	thrd_create(&t2, threadB, NULL);
-	thrd_create(&t3, threadC, NULL);
-	thrd_create(&t4, threadD, NULL);
+	//thrd_create(&t3, threadC, NULL);
+	//thrd_create(&t4, threadD, NULL);
 
 	thrd_join(t1);
 	thrd_join(t2);
-	thrd_join(t3);
-	thrd_join(t4);
+	//thrd_join(t3);
+	//thrd_join(t4);
 
 	return 0;
 }