__faststorefenceの動作は何ですか？

Question

この質問に関して、私はx86とx86-64だけに興味があります。
MSVC 2005
、__faststorefenceのドキュメントは言う：「保証のすべての直前店が後続店前に、グローバルに表示されていること。」 「ロードとストアメモリ参照の両方を含むすべての前メモリ参照は、任意の後続メモリ参照前に、グローバルに可視であることを保証する。」：

はMSVC 2008および2010の場合、それに変更しました

後者の書き方は、私の意見では、これは古いストアの前にCPUの負荷の並べ替えをブロックすることを意味します。これは、最初の定義とは異なります。つまり、組み込み関数は、古いストアでの非一時的なストアのブロッキングまたは並べ替えを処理することのみを意味します（他のx86（-64）の並べ替えだけです）。

しかし、その後、ドキュメント自体に矛盾するように見える：「x64プラットフォームでは、このルーチンはSFENCE命令よりも高速ストアフェンスある命令を生成し、x64プラットフォーム上の代わりに_mm_sfenceのこの本質的なを使用してください。 "

これはまだSFXのような機能を持っていることを意味しています。したがって、古いストアでもロードを並べ替えることができます。それはどちらですか？誰かが私の混乱をクリアすることはできますか？

PS：この関数のGCC版を探して、私はlong local; __asm__ __volatile__("lock; orl $0, %0;" : : "m"(local));に出くわしましたが、それは32ビットコードからだと思います。 64ビットアナログは何でしょうか？

Answer 1

引用したGCCのバージョンは、MSVCが生成するコードに相当します。これは、x86/x86-64プロセッサアーキテクチャのドキュメントでは、ロード命令とストア命令がLOCK ed命令で並べ替えられないように指定しているという事実に依存しています。

一般的にメモリモデルの制限がそれらの命令に適用されないため、これが非一時ストアに適用されるかどうかはわかりません。