revert the RCU benchmark back with atomic variables

[model-checker-benchmarks.git] / read-copy-update / rcu.h

diff --git a/read-copy-update/rcu.h b/read-copy-update/rcu.h
index f40edf4f9fa44db2c321196d177cfb772ee56ca3..c0d20fa6ccbee53d5c698d792f856a726147b30c 100644 (file)
--- a/read-copy-update/rcu.h
+++ b/read-copy-update/rcu.h
@@ -10,9 +10,10 @@
 #include "librace.h"
 
 struct Data {
-       /** Declare atomic just to expose them to CDSChecker */
-       int data1;
-       int data2;
+       // Declare atomic to expose them to CDSChecker.
+    // Otherwise, we might miss the data race reports.
+       atomic_int data1;
+       atomic_int data2;
 };