X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mcs-lock%2Fmcs-lock.h;fp=mcs-lock%2Fmcs-lock.h;h=2d39f2f6cab8d2aa5b10f5cd6e1b9092a818955e;hb=ca67665a06590d48352fd2c601004a39bd993ca8;hp=47c2f8f00536e06ace6da9cc668898d836fea29b;hpb=1ac0b596891b03e2b3651ed78252294ca02e928a;p=model-checker-benchmarks.git

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