add the comments for the mcs-lock and seqlock benchmarks that we changed during the...

[model-checker-benchmarks.git] / mcs-lock / mcs-lock.cc

diff --git a/mcs-lock/mcs-lock.cc b/mcs-lock/mcs-lock.cc
index 525ef9b07a947c9fe7ccf39b4586576bff204cd9..4ae59ff6f0db56e3a0a69e9980a8d74b3b70fc79 100644 (file)
--- a/mcs-lock/mcs-lock.cc
+++ b/mcs-lock/mcs-lock.cc
@@ -77,6 +77,8 @@ void mcs_mutex::unlock(guard * I) {
         // "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