changes

[model-checker-benchmarks.git] / mcs-lock / mcs-lock-wildcard.h

diff --git a/mcs-lock/mcs-lock-wildcard.h b/mcs-lock/mcs-lock-wildcard.h
index b8d92b212ee83fb74464573576c7aae3e79aa1a5..824fcc83d8a8e827991ea3186b8921e883ccf355 100644 (file)
--- a/mcs-lock/mcs-lock-wildcard.h
+++ b/mcs-lock/mcs-lock-wildcard.h
@@ -74,7 +74,7 @@ public:
                {
                        mcs_node * tail_was_me = me;
                        bool success;
-                       // FIXME: SCFence infers acq_rel / release
+                       // SCFence infers acq_rel / release !!!
                        // Could be release if wildcard(8) is acquire
                        if ( (success = m_tail.compare_exchange_strong(
                                tail_was_me,NULL,wildcard(7))) ) { // acq_rel
@@ -85,7 +85,7 @@ public:
                        // (*1) catch the race :
                        rl::linear_backoff bo;
                        for(;;) {
-                               // FIXME: SCFence infers relaxed / acquire
+                               // SCFence infers relaxed / acquire!!!
                                // Could be relaxed if wildcard(7) is acq_rel
                                next = me->next.load(wildcard(8)); // acquire
                                if ( next != NULL )