Почему нельзя выполнять несколько pthread_join в одном потоке?

Я полагаю, что техническая причина заключается в том, что pthread_join является стандартом POSIX, который для многопоточности пытается указать только необходимые примитивы для разработчиков. Любая более богатая семантика привела бы к более дорогостоящей реализации и, возможно, к более сложному API.

Действительно, POSIX уже считает эту функцию скорее удобством, чем примитивом, для поддержки очень и очень распространенного варианта использования: один поток ожидает завершения другого.

Первый абзац стандарта POSIX.1-2008 pthread_join ОБОСНОВАНИЕ немного длинновато, но содержит много уместных замечаний:

Функция pthread_join() — это удобная функция, доказавшая свою полезность в многопоточных приложениях. Это правда, что программист мог бы имитировать эту функцию, если бы она не была предоставлена ​​путем передачи дополнительного состояния как части аргумента функции start_routine(). Завершающий поток установит флаг, указывающий на завершение, и передаст условие, являющееся частью этого состояния; присоединяющийся поток будет ожидать этой условной переменной. Хотя такой метод позволил бы потоку ожидать более сложных условий (например, ожидание завершения нескольких потоков), ожидание завершения отдельного потока считается широко полезным. Кроме того, включение функции pthread_join() никоим образом не мешает программисту кодировать такие сложные ожидания. Таким образом, хотя это и не примитив, включение pthread_join() в этот том POSIX.1-2008 было сочтено ценным.

Существует огромная разница между pthreads Posix и объектами ядра Windows (с которыми я явно полагаю, что вы знакомы). Я нахожу его с неприятными ограничениями, и вы упомянули только один. Для этого нет реальной технической причины, кроме текущих деталей реализации (да, состояние потока не сохраняется в памяти после соединения, но почему?). Другим очень неприятным ограничением является отсутствие возможности объединить несколько потоков в одном вызове, что препятствует мультиплексированию потоков.

Тем не менее, миллионы программ на основе pthread запускаются каждый день, так что эти ограничения не являются препятствием для шоу. Но действительно, некоторые задачи было бы легче выполнять без них.