Commit 1e1e08a9 by FritzFlorian

Add yielding to scheduler loop.

We yield after num_thread failed steals in a row. This parameter can be tuned for better performance, but we stick to a sensible default just to prevent massive spinning.
parent 15c71232
Pipeline #1414 failed with stages
in 37 seconds