c++ - 为什么我的线程计数器并不总是完成？

Question

我认为我的程序有一个错误，因为有时当我运行程序时，它输出的数字低于 30000，例如 29999。但有时它运行正确并达到 30000。我的问题是如何解决这个问题为什么会这样。

#include <iostream>
#include <thread>

using namespace std;

int counter;
int i;

void increment()
{
counter++;
}

int main()
{
counter = 0;

cout << "The value in counter is : " << counter << endl;
thread tarr[30000];

    for (i = 0; i < 30000; i++)
    {
        tarr[i] = thread(increment);
    }

    for (i = 0; i < 30000; i++)
    {
        tarr[i].join(); //main thread waits for tarr to finish
    }

cout << "After running 30,000 threads ";
cout << "the value in counter is : " << counter << endl;
return 0;
}

Answer 1

问题是 counter++ can be broken down into three operations :

1. 加载初始值进行注册
2. 增加值
3. 将新值存储回内存

单个线程可以执行前两个步骤，然后将控制权传递给另一个线程来执行相同的操作。这可能意味着:

1. 线程一将 counter 读取为 5
2. 线程一将其内部拷贝增加到 6
3. 线程二将 counter 读取为 5
4. 线程二将其内部拷贝增加到6
5. 线程将 6 写回 counter
6. 线程一将 6 写回到 计数器

你应该制作计数器 std::atomic ，或者用 std::mutex 来保护它:

std::atomic<int> counter;