extern inline const char *
threadName (Thread t)
{
    return t->option.name;
}


extern inline void
threadWakeup (Thread t)
{
#ifndef NDEBUG
    extern void threadMarkUnblocked (Thread t);

    threadMarkUnblocked(t);
#endif
    t->option.scheduler->wakeupThread(t);
}


extern inline void
threadAsyncWakeup (Thread t)
{
    fifoAppend(&t->option.scheduler->async_q, t);
}