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

程序以memory clobbered before allocated block

运行和停止

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

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

Answer 1

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

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

在分配块之前被破坏的内存

1 个答案: