ユニオンを介したアトミックなアトミックなアクセス

Question

私は原子的にも非アトミックにも同じメモリ位置を操作したいと思います。

はのは、私がintのように、単純型での作業、特にstd::atomic<T>::is_lock_free()戻りtrue、そのsizeof(T) == sizeof(std::atomic<T>)ことだと仮定しましょう。

私はreinterpret_castが働くべきであると考えた：

std::atomic<int> x; 
int& xx = reinterpret_cast<int&>(x); 

しかしN4013が、これは、コンパイラで型に基づく別名解析を混乱させ、したがって、信頼性がないことを説明しています。

私の質問は：についてはどうですか？次のように作成する場合：

union AtomicInt 
{ 
    int nonatomic; 
    std::atomic<int> atomic; 
}; 

AtomicInt x; 
x.nonatomic = 5; 
x.atomic.compare_exchange_weak(...); 

これは意図したとおりに動作しますか？同じメモリを原子的にも非原子的にも操作できますか？

---

非アトミック操作の代わりにload(std::memory_order_relaxed)を使用する方法についての提案を先取りするために、 私は関連の質問にthis answerでの提案を試みたが、それは50％で私のコードをスローダウン。

Answer 1

ロックフリーの原子プリミティブは、混雑度が非常に高いためです。高い輻輳があり、アトミック変数を非アトミックとして使用し始めると、具体的なアーキテクチャの場合はのバグが導入されます。intとatomic<int>のレイアウトは同じです。

輻輳が少ないが、特定の注文が必要な場合は、ロックを使用する必要があります。