一些特定用例的C ++原子存储顺序

Question

在下一种情况下，我将a atomic<uint64_t>用作计数器，并从5个或更多线程中对其进行递增，并在递增之前使用该值来做出一些决定。

atomic<uint64_t> global_counter;

void thread_funtion(){
    uint64_t local_counter = global_counter.fetch_add(1,std::memory_order_relaxed);
    if(local_counter == 24)
       do_somthing(local_counter);
}

thread_funtion()将由5个不同的线程执行。一旦我知道了，local_counter我的代码就不再关心global_counter在thread_funtion()运行时是否再次进行更改（业务逻辑的方式是每次thread_function()调用仅需要一个唯一的递增值）。

是std::memory_order_relaxed安全的，在这种情况下使用？

Answer 1

memory_order_relaxed 保证原子执行，但仅此而已。

使用memory_order_relaxed，将只有一个线程在调用do_something()，因为因为这fetch_add是对的唯一操作global_counter，并且是原子执行的，所以24必须恰好一次达到该值。但是不能保证它将是哪个线程。