pthread_join后调用pthread_detach为何段错？线程数差异原因

在WSL2环境中运行以下C++代码时，当线程数量设为5，执行到pthread_detach(ths[0])会出现段错误；但将线程数量改为4时程序可正常执行。以下是该现象的原因及相关API行为的明确说明：

#include <iostream>
#include <pthread.h>
#include <vector>

void* fun2(void*) {}

int main()
{
    std::cout << "begin" << std::endl;
    std::vector<pthread_t> ths;
    for (int i = 0; i  < 5; ++i)
    {
        pthread_t t;
        pthread_create(&t, 0, fun2, 0);
        ths.push_back(t);
    }

    for (int i = 0; i < 5; ++i)
    {
        pthread_join(ths[i], 0);
    }

    pthread_detach(ths[0]);
    std::cout << "end" << std::endl;
    return 0;
}

pthread_join后调用pthread_detach的本质行为 #

• 调用pthread_join成功等待线程结束后，该线程的内核资源已被系统完全回收，对应的pthread_t标识符不再是有效的活跃线程句柄。
• 此时对该失效句柄调用pthread_detach属于未定义行为：系统可能直接触发段错误，也可能看似正常运行，完全取决于内核对线程资源的复用状态和内存管理情况。

线程数量5与4的差异原因 #

这是未定义行为的典型表现：

• 当线程数量为4时，内核可能尚未复用失效pthread_t对应的内存或标识符，pthread_detach操作的地址暂时未触发非法访问；
• 当线程数量增加到5时，内核可能已经复用了该pthread_t对应的资源，或该标识符指向的内存已被释放，此时调用pthread_detach就触发了段错误。
• WSL2的Linux内核线程资源回收/复用策略存在阈值性差异，导致不同线程数量下出现不同的未定义行为表现，但核心原因都是操作无效线程句柄。

正确使用方式 #

• pthread_join和pthread_detach是互斥操作：要么用pthread_join等待线程结束并回收资源，要么用pthread_detach让线程结束后自动回收资源，二者不能对同一个线程同时调用。
• pthread_join已完成资源回收工作，无需后续再调用pthread_detach。

内容的提问来源于stack exchange，提问作者Outcast