X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=barrier%2Fbarrier.h;h=dd5d39c0c7d9f56f112a35bb2c7befed1e23cdd9;hb=9f2a28f12f61001be2bd5adc74964acf5e8e6721;hp=6970816eabf19f620f6e4f578091e92982468268;hpb=2f3d40c4e6a817013804e62e0009cf6247d95321;p=model-checker-benchmarks.git

diff --git a/barrier/barrier.h b/barrier/barrier.h
index 6970816..dd5d39c 100644
--- a/barrier/barrier.h
+++ b/barrier/barrier.h
@@ -18,7 +18,7 @@ class spinning_barrier {
 		} else {
 			/* Run in circles and scream like a little girl.  */
 			while (step_.load () == step)
-				;
+				thrd_yield();
 			return false;
 		}
 	}