X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mcs-lock%2Fmcs-lock.h;h=70e4019f9c9046a8242341689d51b4fd0d51a85a;hb=b684f62b7411fea476b2e1f6a8bbf920ac4c7216;hp=4b808f7c3c9b9bbc7effe6b4e6c570f2712e5232;hpb=9f2a28f12f61001be2bd5adc74964acf5e8e6721;p=model-checker-benchmarks.git

diff --git a/mcs-lock/mcs-lock.h b/mcs-lock/mcs-lock.h
index 4b808f7..70e4019 100644
--- a/mcs-lock/mcs-lock.h
+++ b/mcs-lock/mcs-lock.h
@@ -69,7 +69,8 @@ public:
 		if ( next == NULL )
 		{
 			mcs_node * tail_was_me = me;
-			if ( m_tail.compare_exchange_strong( tail_was_me,NULL,std::mo_acq_rel) ) {
+			if ( m_tail.compare_exchange_strong(
+				tail_was_me,NULL,std::mo_release) ) {
 				// got null in tail, mutex is unlocked
 				return;
 			}