/* Don't backtrack into a point where the thread is disabled or sleeping. */
if (node->get_enabled_array()[i]!=THREAD_ENABLED)
continue;
/* Don't backtrack into a point where the thread is disabled or sleeping. */
if (node->get_enabled_array()[i]!=THREAD_ENABLED)
continue;