【C++11多线程】线程同步之线程互斥：atomic

1.引例

#include <iostream>
#include <thread>

int my_count{ 0 }; // 定义一个全局变量

void my_thread() // 线程入口函数
{
    for (int i = 0; i < 1000000; i++)
    {
        my_count++;
    }
    return;
}

int main()
{
    std::thread td1(my_thread);
    std::thread td2(my_thread);

    td1.join();
    td2.join();

    std::cout << "两个线程执行完毕，最终my_count的值是" << my_count << std::endl;

    return 0;
}

2.使用互斥量std::mutex解决

#include <iostream>
#include <thread>
#include <mutex>

int my_count{ 0 }; // 定义一个全局变量

std::mutex my_mutex;

void my_thread() // 线程入口函数
{
    for (int i = 0; i < 1000000; i++)
    {
        my_mutex.lock();
        my_count++;
        my_mutex.unlock();
    }
    return;
}

int main()
{
    std::thread td1(my_thread);
    std::thread td2(my_thread);

    td1.join();
    td2.join();

    std::cout << "两个线程执行完毕，最终my_count的值是" << my_count << std::endl;

    return 0;
}

3.使用原子操作std::atomic解决

原子操作是指“不可分割的操作”，即在多线程中不会被打断的程序执行片段，也就是说，这种操作状态要么是完成的，要么是没完成的，不可能出现半完成状态。

std::atomic 是个类模板，其构造函数如下，更详细的解释：https://cplusplus.com/reference/atomic/

std::atomic<int> my_count = 0; 等价于 std::atomic_int my_count = 0;，原因如下：

互斥量std::mutex一般针对的是一个代码段，而原子操作std::atomic一般针对的是一个变量。与互斥量std::mutex相比，原子操作std::atomic的效率更胜一筹。

#include <iostream>
#include <thread>
#include <atomic>

std::atomic<int> my_count(0);

void my_thread() // 线程入口函数
{
    for (int i = 0; i < 1000000; i++)
    {
        my_count++; // 原子操作不会被打断
        //my_count += 1; // 结果正确
        //my_count = my_count + 1; // 结果错误
    }
    return;
}

int main()
{
    std::thread td1(my_thread);
    std::thread td2(my_thread);

    td1.join();
    td2.join();

    std::cout << "两个线程执行完毕，最终my_count的值是" << my_count << std::endl;

    return 0;
}