読み込みに依存すると信じ込みます。つの読み込みはプログラム順序で見えることが保証されます。そこにはアドレス依存が存在しています。これにより、特定の状況においては、明示的なバリアの必要を回避することができます。コードの海に潜る必要があります。アウトオブオーダーで見える可能性があります。明示的なバリアがなくても正しい順序が保証されます。(これは、一貫性の問題を命令実行の視点で考えてはいけないという、主な例です。常にメモリアクセスの視点で考えなければなりません。持たないことも示しておく価値があるでしょう。