使用条件变量替代pthread_join()时检测到线程泄漏的问题排查

你遇到的问题核心在于：你实现的thr_join只是完成了线程执行顺序的同步，但并没有完成pthread库要求的线程资源回收操作。

为什么会报线程泄漏？ #

当子线程的child函数返回NULL时，线程会进入终止状态，但它的内核资源（比如线程栈、内核线程控制块等）并不会自动被系统回收。根据pthread库的规则，这类资源的回收必须通过两种方式之一触发：

• 主线程调用pthread_join，主动等待线程终止并回收其资源；
• 线程被标记为分离状态（detached），此时线程终止后系统会自动回收资源。

你的thr_join函数仅通过条件变量和done变量实现了主线程等待子线程执行完毕的逻辑，但没有调用pthread_join，也没有将子线程设置为分离状态。pthread库会认为这个终止的线程资源没有被妥善回收，因此ThreadSanitizer会检测出"线程泄漏"。

如何修复这个问题？ #

有两种常见的修复方案：

方案1：结合pthread_join完成资源回收

既然你想模拟pthread_join的功能，最简单的方式就是直接调用原生的pthread_join。你可以修改thr_join函数（或者直接替换掉它）：

void thr_join(pthread_t tid) {
    pthread_join(tid, NULL);
}

然后在main里调用thr_join(p);。这种情况下，你之前的条件变量和done变量其实是多余的，因为pthread_join本身就会阻塞主线程直到子线程终止。

方案2：将子线程设置为分离状态

如果你不想使用pthread_join，可以让子线程在终止后自动回收资源。有两种方式设置分离状态：

• 创建线程时指定分离属性：

int main(int argc, char *argv[]) {
    printf("parent: begin\n");
    pthread_t p;
    pthread_attr_t attr;
    pthread_attr_init(&attr);
    // 设置线程为分离状态
    pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED);
    pthread_create(&p, &attr, child, NULL);
    pthread_attr_destroy(&attr);
    thr_join();
    printf("parent: end\n");
    return 0;
}

• 子线程内部主动分离：

void *child(void *arg) {
    // 将自身设置为分离状态
    pthread_detach(pthread_self());
    printf("child\n");
    thr_exit();
    return NULL;
}

这两种方式都能让系统自动回收子线程的资源，ThreadSanitizer就不会再报线程泄漏警告了。

总结 #

你的条件变量同步逻辑是正确的，它确实保证了主线程在子线程执行完毕后才继续运行，但这和线程资源回收是两个独立的概念。pthread库对线程资源的管理有明确要求，必须通过pthread_join或分离状态来完成回收，否则就会被检测为线程泄漏。

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