X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mcs-lock%2Fmcs-lock.h;fp=mcs-lock%2Fmcs-lock.h;h=4b808f7c3c9b9bbc7effe6b4e6c570f2712e5232;hb=9f2a28f12f61001be2bd5adc74964acf5e8e6721;hp=2d39f2f6cab8d2aa5b10f5cd6e1b9092a818955e;hpb=2f3d40c4e6a817013804e62e0009cf6247d95321;p=model-checker-benchmarks.git

diff --git a/mcs-lock/mcs-lock.h b/mcs-lock/mcs-lock.h
index 2d39f2f..4b808f7 100644
--- a/mcs-lock/mcs-lock.h
+++ b/mcs-lock/mcs-lock.h
@@ -57,7 +57,7 @@ public:
 			// wait on predecessor setting my flag -
 			rl::linear_backoff bo;
 			while ( me->gate.load(std::mo_acquire) ) {
-				bo.yield();
+				thrd_yield();
 			}
 		}
 	}
@@ -80,7 +80,7 @@ public:
 				next = me->next.load(std::mo_acquire);
 				if ( next != NULL )
 					break;
-				bo.yield();
+				thrd_yield();
 			}
 		}