一.问题概述

两个线程,不加锁的情况下,一个线程读,一个线程写;或者两个线程同时写,会导致进程崩溃。如果两个线程同时读,不加锁的情况也不会出现问题。

二.示例代码

#include <boost/thread.hpp>
#include <vector>

using namespace std;
using namespace boost;
vector<int> g_vec;
void test()
{
    int a = 0;
    for(int i = 0; i< 100000000; ++ i)
    {
        a = g_vec[0];
    }
}

void test1()
{
    for(int i = 0; i< 100000000; ++ i)
    {
        g_vec.push_back(1);
    }
}
int main(int artc, char* argv[])
{
    g_vec.push_back(1);
    boost::thread thrd1(test);
    boost::thread thrd2(test1);
    thrd1.join();
    thrd2.join();
    return 0;
}

三.问题产生的原因解决问题的方法

vector是代替数组的简单容器,它不需要额外的代码能实现数组长度的动态扩展。
在test1方法中,连续的push_back会导致vector内部中的数组存储结构不停的delete和new。在test方法中,访问数组的第一个元素,有可能此时的内部结构已经被delete还没来得及new。
解决此种问题的思路一般是对vector的操作放在单独一个线程或者在使用此变量的作用域内加锁。
注:vector类型的g_vec即使声明为局部变量,存在栈上的也只有32个字节,参考vector的实现其内部是使用指针new在堆上的内存。


one_piece
26 声望8 粉丝