atomic_loadのない原子変数を読み取ることはできますか？

Question

私はシングルライターで、複数の読者の状況があります。あるスレッドが書き込みを行っているカウンタがあり、スレッドがこのカウンタを読み取る可能性があります。シングルスレッドはデータアクセスのために他のスレッドとの競合を心配する必要はないので、次のコードは安全ですか？

#include <stdatomic.h> 
#include <stdint.h> 

_Atomic uint32_t counter; 

// Only 1 thread calls this function. No other thread is allowed to. 
uint32_t increment_counter() { 
    atomic_fetch_add_explicit(&counter, 1, memory_order_relaxed); 
    return counter; // This is the line in question. 
} 

// Any thread may call this function. 
uint32_t load_counter() { 
    return atomic_load_explicit(&counter, memory_order_relaxed); 
} 

ライター・スレッドはただのatomic_load*機能を呼び出すことなく、直接counterを読み込みます。これは安全でなければなりません（複数のスレッドが値を読み取ることは安全です）。しかし、変数_Atomicを宣言すると、その変数を直接使用することが制限されているか、 atomic_load*機能

Answer 1

はい、_Atomicオブジェクトで行うすべての操作は、順次整合性を持つ対応する呼び出しを発行するかのように行われます。あなたの特別なケースでは、評価はatomic_loadに相当します。

しかし、atomic_fetch_addを実行することによって評価された戻り値は、すでに別のスレッドによって変更されている可能性があるため、ここで使用されているアルゴリズムは間違っています。

これは、追加が2回行われているために最適ではないようですが、最適なオプティマイザでこれを並べ替えます。

Answer 2

あなたが機能を書き換えた場合は、この質問が消える：

uint32_t increment_counter() { 
    return 1 + atomic_fetch_add_explicit(&counter, 1, memory_order_relaxed); 
}