MinGW环境下thread_local vector调用join()时偶发崩溃问题

我运行这段C++代码时，程序执行到第二个线程join操作的循环后会偶发崩溃，有时能正常退出，有时则崩溃，请问原因是什么？

代码如下：

#include <thread>
#include <vector>
using namespace std;
thread_local vector<int> v;
void foo(int n) {
    for(int i=0 ; i<n ; i++)
        v.push_back(i);
}
int main() {
    vector<thread> thread_array;
    for(int i=0 ; i<4 ; i++)
        thread_array.push_back(thread(foo,100));
    for(int i=0 ; i<4 ; i++)
        thread_array.at(i).join();
    return 0;
}

先给你吃个定心丸：从C++标准的逻辑来看，你这段代码本身是没问题的。thread_local修饰的v会为每个线程生成独立的实例，每个线程往自己的v里塞数据完全不会互相干扰；而且join()会老老实实地等线程彻底跑完——包括销毁自己的thread_local对象——才会继续往下走。

那为啥会偶发崩溃呢？我给你梳理几个最可能的原因：

• 标准库/编译器的实现bug
  有些旧版本的C标准库（比如特定版本的libstdc或者libc++）在处理全局thread_local对象的销毁逻辑时，可能藏着竞态条件的坑。比如线程退出时销毁vector释放内存，刚好和主线程的某些全局资源清理撞在了一起，这种偶发的冲突就会导致崩溃。建议你试试升级编译器或者标准库版本，大概率能解决问题。

• 运行环境的内存异常
  偶发崩溃也可能是系统环境的锅：比如运行时系统内存不够，导致vector扩容时分配内存失败；或者其他进程搞事情破坏了堆内存。这种情况概率低，但你可以试试在干净的环境里跑代码，或者检查下系统内存状态。

• 编译器优化的“副作用”
  如果你开了较高等级的优化（比如-O2、-O3），某些编译器的优化逻辑可能对thread_local变量的初始化/销毁时机产生异常影响。你可以先关掉优化（用-O0）跑一遍，如果崩溃消失了，那就是优化导致的问题，要么调整优化选项，要么升级编译器。

另外，你可以加些调试信息辅助排查：比如在foo函数末尾打印v.size()，确认每个线程的vector都正常初始化并填充了数据；或者在main的join循环里打印每个线程的join状态，看看崩溃到底发生在join哪个线程的时候。

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