Tweak the scheduler to avoid busy-waiting.