save

[cdsspec-compiler.git] / benchmark / mcs-lock / mcs-lock.h

diff --git a/benchmark/mcs-lock/mcs-lock.h b/benchmark/mcs-lock/mcs-lock.h
index e08a0e73c1a844736daa0196e94a3dea4c3f182e..27db46981f3d165823ce3a3372cc6ecc1a7e0e96 100644 (file)
--- a/benchmark/mcs-lock/mcs-lock.h
+++ b/benchmark/mcs-lock/mcs-lock.h
@@ -83,6 +83,7 @@ public:
 
                // publish my node as the new tail :
                mcs_node * pred = m_tail.exchange(me, std::mo_acq_rel);
+               // FIXME: Only weakening the mo_acq_rel cause the spec error
                /**
                        @Begin
                        @Commit_point_define_check: pred == NULL
@@ -136,6 +137,7 @@ public:
                        bool success;
                        success = m_tail.compare_exchange_strong(
                                tail_was_me,NULL,std::mo_acq_rel);
+                       // FIXME: Only weakening the mo_acq_rel cause the spec error
                        /**
                                @Begin
                                @Commit_point_define_check: success == true