Как долго после pthread_exit () можно ожидать успеха pthread_join ()?

Мне было поручено создать библиотеку потоков на уровне пользователя, которая копирует функциональность pthread (полное раскрытие: это для курса ОС). Тем не менее, мне неясно, как pthread_join() а также pthread_exit() взаимодействовать, когда поток уже вышел.

В частности, страница руководства гласит:

Функция pthread_join () ожидает потока, указанного потоком
прекратить. Если этот поток уже завершен, то
pthread_join () возвращается немедленно.

Является ли это гарантией того, что даже если я создам миллионы потоков, их результаты будут доступны для одного объединения? В противном случае, как долго можно ожидать, что результат будет сохраняться?

Я не ищу совета о том, как это реализовать (это самое интересное!), Я просто пытаюсь закрепить поведение, прежде чем погрузиться.