循环创建子线程场景下，主线程pthread_exit的工作机制为何影响子线程运行结果？

POSIX线程的底层规则是：只要进程中的任意线程触发了进程级退出动作（包括main函数正常return、任意线程调用exit()、收到终止信号），整个进程的所有线程都会被强制销毁，进程占有的所有资源会被直接回收，未执行完的线程不会获得运行机会。

两种代码版本的行为差异本质是主线程退出方式不同：

保留pthread_exit(NULL)时的稳定行为 #

当主线程执行pthread_exit(NULL)时，这个动作只会销毁主线程自身的执行上下文，不会触发进程级的退出流程。此时进程会保持存活，直到进程内所有非主线程全部执行完成并退出，才会自动收尾销毁。这种机制下，所有已经创建的子线程都会完整获得CPU调度机会，完成自身的打印逻辑，输出自然稳定。

删除pthread_exit(NULL)时的不稳定来源 #

删掉该行后，main函数执行完创建线程的for循环后，会隐式执行return 0，直接触发进程级退出流程。此时程序的运行结果完全依赖操作系统的线程调度时序，没有任何固定顺序：

• 如果调度器在main函数触发返回前，已经把全部5个子线程调度到CPU上执行完打印逻辑，就会输出完整结果
• 如果调度优先级让main先跑完循环、触发进程退出，尚未被调度运行的子线程会被直接强制终止，就会出现仅打印部分子线程输出的情况

这种随机丢结果的现象，本质是没有添加线程同步逻辑，将执行顺序完全交给不确定的调度器导致的，不是代码逻辑本身的语法错误。

要从根本上解决输出不稳定的问题，不能依赖pthread_exit被动等待调度，应该通过主动的线程同步机制，确保所有子线程执行完成后再退出进程：

• 完成所有子线程创建后，对每一个已创建的线程调用pthread_join，主动阻塞等待对应线程执行完毕，同时回收线程资源

修正后的核心代码片段：

// 保留原有创建线程的循环逻辑不变
for(t=0; t<NUM_THREADS; t++) {
    printf("In main: creating thread %ld\n", t);
    rc = pthread_create(&threads[t], NULL, PrintHello, (void *)t);
    if (rc) {
        printf("创建线程%ld失败，错误码：%d\n", t, rc);
        exit(EXIT_FAILURE);
    }
}
// 新增：逐次等待所有子线程执行完成
for(t=0; t<NUM_THREADS; t++) {
    rc = pthread_join(threads[t], NULL);
    if (rc) {
        printf("等待线程%ld退出失败，错误码：%d\n", t, rc);
        exit(EXIT_FAILURE);
    }
}
// 所有子线程执行完成后，main函数可以直接return，不会出现输出丢失

注意两个常见认知误区：

• 不要误以为main函数跑完后会自动等待子线程执行，C程序的默认启动逻辑是main返回后会立刻调用exit()终止整个进程
• pthread_exit的被动等待不具备时序确定性，在高负载场景下依然可能出现调度偏差导致的输出异常；pthread_join的主动等待是可控的同步逻辑，不管系统调度优先级如何变化，都能保证完整执行顺序。

内容的提问来源于stack exchange，提问作者Phước Nguyễn Duy