c++ - 内存在分配 block 之前被破坏

Question

经过几天痛苦的调试，我可以用这个小程序重现我的一个单元测试中的错误:

#include <iostream>
#include <vector>
#include <condition_variable>
#include <mutex>
#include <thread>
#include <chrono>
#include <new>

int main(){
    try{
        for(size_t j=0;j<100;++j){
            std::cout<<j<<std::endl;
            std::mutex mutex;
            std::unique_ptr<std::condition_variable>cv;
            std::vector<std::thread>v(10);
            auto wait=[&](size_t i){
                std::unique_lock<std::mutex>ul(mutex);
                if(!cv){cv=std::make_unique<std::condition_variable>();}
                cv->wait_for(ul,std::chrono::milliseconds(i*10));
            };
            for(size_t i=0;i<v.size();++i){v[i]=std::thread(wait,i);}
            for(size_t i=0;i<v.size();++i){v[i].join();}}}
    catch(...){
        std::cout<<"Exception"<<std::endl;
        std::abort();}
}

当我使用 lmcheck 进行编译时:

g++-4.9.2 -lmcheck -std=c++1y -pthread /home/Arnaud/Test.cpp -o Test

程序运行和停止时内存在分配的 block 之前被破坏

我可以在多台机器上使用 gcc 4.9.2 和 gcc 5.1 重现它。 这段代码有什么问题？

注意:此代码在 Visual Studio 2013 中运行良好。

Answer 1

根据 this documentation , mcheck 不是线程安全的。

看起来与 -lmcheck 的链接添加了调用 mcheck 的分配 Hook ，这意味着在没有额外同步的情况下从多个线程分配和释放内存不再安全。