C++多线程编程：其四、线程安全问题

一、什么是线程安全问题

通常情况下，指的是多个线程同时修改一块内存产生的预期以外的情况。看代码：

#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出来的数据）、静态区的数据（静态变量）、全局区的数据（全局变量）需要考虑线程安全问题