C++ 从另一个线程读取时修改 int64_t 是否安全？

Question

我有 2 个线程，A 和 B。线程 A 想让 B 知道它收到了多少条数据记录。 在现代 C++ 中，我们可以使用 Atomic 或 CAS 或 Mutex 来修改计数器。 但是，它们对我来说都不够快。

我很关心，使用没有锁的 int64_t 在线程之间共享数据计数器。 只有线程 A 可以修改它，其他线程只能读取它。 我不知道这样做是否安全。

我知道在 x86-64 机器中，一个 64 位 int 可以用一个 asm store编写。 所以我认为它应该是安全的。 我写了下面的代码来检查它。 如果该方法不安全，cnt 不会总是增加，因为我们将从该 64 位 memory 读取错误值。

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

int main() {
    int64_t cnt = 0;
    vector<thread> threadVec;
    for (int i=0; i<10; i++){
        threadVec.emplace_back(move(thread([&cnt](){
            int64_t prev = 0, tmp = 0;
            while(prev != INT64_MAX){
                tmp = cnt;
                // If it is not safe, tmp will not increase all the time.
                if (tmp < prev) cout << "Error cnt declined" << endl;
                // if (tmp % 1000000 == 0) cout << tmp << endl;
                prev = tmp;
            }
        })));
    }
    this_thread::sleep_for(chrono::seconds(1));
    while(cnt < INT64_MAX) cnt++;
    for (auto& t : threadVec)
        t.join();
    return 0;
}

那么这个想法正确吗？

Answer 1

不，这是未定义的行为。

改为std::atomic<int64_t> 。 这就是std::atomic的用途。