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

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;
 			}