Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks
[model-checker-benchmarks.git] / barrier / barrier.h
index 6970816..dd5d39c 100644 (file)
@@ -18,7 +18,7 @@ class spinning_barrier {
                } else {
                        /* Run in circles and scream like a little girl.  */
                        while (step_.load () == step)
                } else {
                        /* Run in circles and scream like a little girl.  */
                        while (step_.load () == step)
-                               ;
+                               thrd_yield();
                        return false;
                }
        }
                        return false;
                }
        }