From: Peizhao Ou <peizhaoo@uci.edu>
Date: Fri, 21 Mar 2014 21:19:44 +0000 (-0700)
Subject: for mcs-lock
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=208ece04e6b8917166587094b123e099fac6ed70;p=cdsspec-compiler.git

for mcs-lock
---

diff --git a/benchmark/mcs-lock/mcs-lock.h b/benchmark/mcs-lock/mcs-lock.h
index 27db469..af31894 100644
--- a/benchmark/mcs-lock/mcs-lock.h
+++ b/benchmark/mcs-lock/mcs-lock.h
@@ -82,8 +82,8 @@ public:
 		me->gate.store(1, std::mo_relaxed );
 
 		// publish my node as the new tail :
-		mcs_node * pred = m_tail.exchange(me, std::mo_acq_rel);
 		// FIXME: Only weakening the mo_acq_rel cause the spec error
+		mcs_node * pred = m_tail.exchange(me, std::mo_acq_rel);
 		/**
 			@Begin
 			@Commit_point_define_check: pred == NULL
@@ -135,9 +135,9 @@ public:
 		{
 			mcs_node * tail_was_me = me;
 			bool success;
+			// FIXME: Only weakening the mo_acq_rel cause the spec error
 			success = m_tail.compare_exchange_strong(
 				tail_was_me,NULL,std::mo_acq_rel);
-			// FIXME: Only weakening the mo_acq_rel cause the spec error
 			/**
 				@Begin
 				@Commit_point_define_check: success == true