X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mcs-lock%2Ftestcase1.cc;h=461f5b1a6ee1aa9026e920608a81ff81d82225e2;hb=b684f62b7411fea476b2e1f6a8bbf920ac4c7216;hp=971bf1d591f5314c0236b911bd6749fcf4af8426;hpb=0487e29583033894529edd8c8e20291aa5eefbb6;p=model-checker-benchmarks.git

diff --git a/mcs-lock/testcase1.cc b/mcs-lock/testcase1.cc
index 971bf1d..461f5b1 100644
--- a/mcs-lock/testcase1.cc
+++ b/mcs-lock/testcase1.cc
@@ -7,25 +7,29 @@
 #include "librace.h"
 
 struct mcs_mutex *mutex;
-static uint32_t shared;
+static atomic_int shared;
 
 void threadA(void *arg)
 {
 	mcs_mutex::guard g(mutex);
 	printf("store: %d\n", 17);
-	store_32(&shared, 17);
+	//store_32(&shared, 17);
+	atomic_store_explicit(&shared, 17, relaxed);
 	mutex->unlock(&g);
 	mutex->lock(&g);
-	printf("load: %u\n", load_32(&shared));
+	//printf("load: %u\n", load_32(&shared));
+	atomic_load_explicit(&shared, relaxed);
 }
 
 void threadB(void *arg)
 {
 	mcs_mutex::guard g(mutex);
-	printf("load: %u\n", load_32(&shared));
+	//printf("load: %u\n", load_32(&shared));
+	atomic_load_explicit(&shared, relaxed);
 	mutex->unlock(&g);
 	mutex->lock(&g);
-	printf("store: %d\n", 17);
+	atomic_store_explicit(&shared, 17, relaxed);
+	//printf("store: %d\n", 17);
 	store_32(&shared, 17);
 }