thread_init() enqueues threads on the scheduler