一、什么是线程安全问题
通常情况下,指的是多个线程同时修改一块内存产生的预期以外的情况。看代码:
#include <mutex>
#include <iostream>
#include <thread>
int counter = 0;
void increases10k()
{
for(int i=0;i<10000;i++)
{
++counter;
}
}
int main(int argc,char **argv)
{
std::thread threads[10];
for(int i=0;i<10;i++)
{
threads[i]=std::thread(increases10k);
}
for(auto& th:threads){
th.join();
}
std::cout << " successful increases of the counter " << counter <<std::endl;
return 0;
}
启动10个线程,每个线程对一个变量都累加10000次,最后结果显然是100000,但是运行结果一直不到100000,为什么会这样呢?
因为++不是原子操作。++的行为可以拆解为三步:(1)从变量中拿到原始值赋给寄存器;(2)在寄存器中+1;(3)将寄存器中的值赋给原来的变量。假如两个线程同时对这个变量++,那么有可能出现这种情况:当前变量的值为x,线程1首先拿到了这个值,写入寄存器,在线程1没有完成+1的情况下,线程2拿到了这个值,写入寄存器,两个线程各种完成+1,然后将新值写回去。就出现了少加1的情况。
二、什么样的数据会产生线程安全问题?
首先明确一个点:一个线程独占一个栈,进程中的所有线程共享堆、静态区、全局区。所以一般来说说,对于局部变量(栈上数据)不需要考虑线程安全问题。对于堆上数据(new出来的数据)、静态区的数据(静态变量)、全局区的数据(全局变量)需要考虑线程安全问题