24531904_j

mf ─ メモリ・フェンス (Memory Fence)
書式 : (qp) mf ordering_form M24
(qp) mf.a acceptance_form M24
説明 : こ の命令は、 先行 と 後続の メ モ リ ・ ア ク セスの間の順序付け を強制する。 ordering_form
では、 先行す る すべてのデ ー タ ・ メ モ リ ・ ア ク セスが参照可能にな っ てか ら 、 後続の
デ ー タ ・ メ モ リ ・ ア ク セスが参照可能にな る こ と が保証 さ れる。 こ の形式では、 先行す
る デー タ ・ メ モ リ 参照が外部プ ラ ッ ト フ ォ ー ム に受け入れ ら れた ど う か、 さ ら に、 先行
す る デ ー タ ・ メ モ リ 参照が検出可能であ る か ど う かは保証 さ れない。
acceptance_form では、 以下の処置が終了する ま で、 プロセ ッ サに よ る後続のデー タ ・ メ
モ リ ・ ア ク セス に よ っ て外部プ ラ ッ ト フ ォ ー ムへの ト ラ ンザ ク シ ョ ン を開始す る のを禁
止する。
• シーケンシャルなページに対するすべての先行するロードが、 データを返した。
• シーケンシャルなページに対するすべての先行するストアが、 外部プラット フォー
ムによ って受け入れられた。
「受け入れ」 の定義はプ ラ ッ ト フ ォ ー ム に よ っ て異な る。 acceptance_form は、 一般的に、
プロセッサが、 メモリ ・ マップド IO トランザクションが 「受け入れられる」 まで 「待っ
て」 か ら 、 次の外部 ト ラ ンザ ク シ ョ ン を開始す る よ う に保証す る場合に使用 さ れる。
acceptance_form では、 順序付け を保証していない。 ま た、 シ ー ケ ン シ ャ ルなペー ジ以外
のメモリ ・ エリアへの受け入れも保証されない。
操作 : if (PR[qp]){
if (acceptance_form)
acceptance_fence();
else // ordering_form
ordering_fence();
}
割り込み : なし
3:150 第 3 巻 : 命令リファレンス
mf