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

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;
 		}
 	}