One suggestion is they could make the thread_sleep() function always yield. Then have a lowest-priority task that actually sleeps.