线程间共享数据带来的问题
在线程间共享数据时由于线程的竞争会带来执行的不确定性,如:对一个单链表被多个线程共享,其中某一个线程是对节点的删除,有个是对节点的访问,假如在删除了该节点但是还没来得及将指针指到他的下一个节点另一个线程就对它进行访问会怎样呢?或者有多个线程同时对一个节点操作,一个是删除该节点,一个是在该节点之后插入新的节点那么此时会怎样呢?
来个简单的例子说明竞争条件带来的麻烦
比如我有一个全局变量global_data=1000其中有200个线程对其进行加1操作,有200个线程对其进行减1操作那么结果是1000吗?
#include <iostream>
#include <chrono>
#include <thread>
#include <vector>
using namespace std;
int global_data =1000;
void add()
{
++global_data;
}
void sub()
{
--global_data;
}
int main(int argc,char** argv)
{
typedef void (*thread_fun)(void);
for(int i=0;i<400;i++)
{
thread_fun ff;
if(i%2)
{
ff= add;
}
else
{
ff=sub;
}
thread th(ff);
th.detach();
}
this_thread::sleep_for(chrono::seconds(6));
cout<<global_data<<endl;
return 0;
}
运行10的结果如下:
-----------------------
998
1002
1000
1000
999
1000
1000
996
1000
998
-----------------------
那么现在根据数据你就会思考这是为啥呢???那该怎么避免呢?
1:为啥会有不等于1000的数据出现呢?
答:假如执行完某一次操作的时候寄存处此时是1001,但是此时内存还是1000,在这个时候如果执行到的是一个加操作,那么加操作拿到的基数是1000而不是1001,那么实际上相当于少加了一次,在400次中这种加减的碰撞使得结果是不确定的。那么怎么避免呢,最简单的如果对global_data操作的时候我做到在进行对global_data操作是我只能让其中一个工作,其他的排队等候,那么这样就不会造成因为条件竞争引起的问题。那么C++0x是如何防止这种事情发生的呢。