c++ - 为什么跨线程更改共享变量的代码显然不会受到竞争条件的影响？

Question

我正在使用 Cygwin GCC 并运行以下代码:

#include <iostream>
#include <thread>
#include <vector>
using namespace std;

unsigned u = 0;

void foo()
{
    u++;
}

int main()
{
    vector<thread> threads;
    for(int i = 0; i < 1000; i++) {
        threads.push_back (thread (foo));
    }
    for (auto& t : threads) t.join();

    cout << u << endl;
    return 0;
}

使用以下行编译:g++ -Wall -fexceptions -g -std=c++14 -c main.cpp -o main.o。

它打印 1000，这是正确的。但是，由于线程覆盖了先前增加的值，我预计数量会更少。为什么这段代码不受互访的影响？

我的测试机有4个核心，我对我所知道的程序没有任何限制。

将共享 foo 的内容替换为更复杂的内容时问题仍然存在，例如

if (u % 3 == 0) {
    u += 4;
} else {
    u -= 1;
}

Answer 1

foo() 太短了，以至于每个线程可能在下一个线程产生之前就完成了。如果你在 foo() 中的 u++ 之前添加一个随机时间的 sleep ，你可能会开始看到你所期望的。