X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mcs-lock%2Fmcs-lock-wildcard.h;h=824fcc83d8a8e827991ea3186b8921e883ccf355;hb=d634d19b6134309ed0893c6fd58d815cbafecd16;hp=b8d92b212ee83fb74464573576c7aae3e79aa1a5;hpb=0487e29583033894529edd8c8e20291aa5eefbb6;p=model-checker-benchmarks.git

diff --git a/mcs-lock/mcs-lock-wildcard.h b/mcs-lock/mcs-lock-wildcard.h
index b8d92b2..824fcc8 100644
--- 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 )