非原子型に対してstd :: atomic_refはどのように実装されていますか？

次のプロパティを適用するのはかなり難しいように思われるので、非アトミックオブジェクトに対してどのようにstd::atomic_ref効率的に（std::mutexオブジェクトごとに1 つ）実装できるのかと思います。

atomic_refを介してオブジェクトに適用されるアトミック操作は、同じオブジェクトを参照する他のatomic_refを介して適用されるアトミック操作に対してアトミックです。

特に、次のコード：

void set(std::vector<Big> &objs, size_t i, const Big &val) {
    std::atomic_ref RefI{objs[i]};
    RefI.store(val);
}

同じタイプのすべてのオブジェクトによって共有される大きなマスターロックでない限りstd::atomic_ref、同じものを毎回選択する必要があるため、実装は非常に難しいようstd::mutexです。

何か不足していますか？または、各オブジェクトは実装std::atomic_refを担当するため、アトミックであるか、std::mutex？

実装はそれ自体とほとんど同じstd::atomic<T>です。これは新しい問題ではありません。

参照のstd ::アトミックのロックはどこにあるの？ 典型的な実装std::atomic/ std::atomic_ref非ロックフリーオブジェクトのアドレスによってインデックス付けロックの静的ハッシュテーブル、、。ハッシュの衝突は、余分な競合を引き起こすだけで、正確性の問題にはなりません。（デッドロックは依然として不可能です。ロックは、一度に2を取得しようとしないアトミック関数によってのみ使用されます。）

たとえばGCC では、オブジェクトstd::atomic_refを呼び出すもう1つの方法__atomic_storeです。（を参照してください GCCマニュアル：アトミック組み込み関数を）

コンパイラーは、 Tは、がロックフリーになるほど小さいいます。そうでない場合は、ロックを使用するlibatomicライブラリー関数を呼び出します。

（おもしろい事実：これは、オブジェクトにの十分なアラインメントがある場合にのみ機能することを意味しますatomic<T>。ただし、x86を含む多くの32ビットプラットフォームuint64_tでは、4バイトのアラインメントしかない場合があります。 atomic_refこのようなオブジェクトではコンパイルおよび実行されますが、実際にはアトミックではありません。コンパイラーは、32ビット・モードでSSE 8バイトのロード/ストアを使用してそれを実装します。幸いalignof(T) == sizeof(T)、64ビット・アーキテクチャーのほとんどのプリミティブ型のように、を持つオブジェクトには危険はありません。）

実装では、オブジェクトのアドレスに基づくハッシュを使用して、操作の実行中に取得するロックのセットを決定できます。