Joe Duffy の並行プログラミングの本で、彼は取得フェンスと解放フェンスを次のように定義しています。
• フェンスを取得します。フェンスの後に来るロードまたはストアがフェンスの前に移動しないようにします。それ以前の指示は、フェンスの後にまだ移動する可能性があります。
• フェンスを解放します。フェンスの前に来るロードまたはストアがフェンスの後に移動しないようにします。それ以降の指示は、フェンスの前にまだ発生する可能性があります。
私の質問は次のとおりです。操作が何かの前に発生することは許可されていますが、後で発生することはできません。説明するのは難しいですが、これらのステートメントはどちらも鶏が先か卵が先かの問題のように思えます。