simpler schedule_next_thread()