// "memory_order_relaxed", run "make" to recompile, and then run:
// "./run.sh ./mcs-lock/testcase -m2 -Y -u3 -tSPEC"
/********** Detected Correctness **********/
+ // This used the stronger mo_acq_rel parameter in old versions, but this
+ // is not necessary.
if ( m_tail.compare_exchange_strong(
tail_was_me,NULL,std::mo_release) ) {
// got null in tail, mutex is unlocked