24531904_j

sync ─ メモリ同期化 (Memory Synchronization)
書式 : (qp) sync.i M24
説明 : sync.i 命令に よ っ て、 ロ ー カ ル ・ プ ロ セ ッ サか ら 以前に発行さ れたキ ャ ッ シ ュ のフ ラ ッ
シュ (fc、 fci) 操作がロ ー カル ・ デー タ ・ メ モ リ の参照で検出可能にな っ た時点に、 先行
の fc 操作がロ ー カル ・ プ ロセ ッ サの命令フ ェ ッ チ ・ ス ト リ ー ムか ら も 検出される こ と が
保証 される。 さ ら に、 fc、 fci 操作が事前に起動 されている と 、 それら の操作が リ モー
ト・プロセッサ上のデータ・メモリの参照で検出されるようになった時点に、 リモート・
プ ロセ ッ サ上の命令メモ リ 参照で も 検出 される こ と が保証 される。 sync.i は、 別のプロ
セッサから観察される よ う に、 すべてのキャ ッ シュ ・ フラ ッ シュ操作に対して順序付け
される。 sync.i とそれに先行する fc は、 別々の命令グループになければならない。 セ
マンテ ィ ッ クス上の必要がある場合、 sync.i により fc、 fci が他のプロセ ッ サ上のデー
タ ・ ス ト リ ー ムか ら検出で き る よ う に適切に強制す るためには、 プ ラ グ ラ マは明示的に
順序づけ されたデー タ参照 (acquire ( 取得 )、 release ( 解放 )、 fence ( フェンス) のいずれか
のタイプ ) を挿入しなければならない。
sync.i は、 ロー カル ・ プロセ ッサおよび リ モー ト ・ プロセッサ上の命令キ ャ ッ シ ュ と
デ ー タ ・ キ ャ ッ シ ュ と の間の順序付け関係を維持する場合に使用 さ れる。 命令を シ リ ア
ル化す る操作を使用して、 ロ ー カ ル ・ プ ロ セ ッ サで sync.i に よ っ て起動された同期化
操作がプ ロ グ ラ ム実行中の特定の時点で観察 さ れていた こ と を確認で き る。
自己修正コ ー ド ( ローカル・プロセッサ) の例 :
3:232 第 3 巻 : 命令リファレンス
sync
st [L1] = data //store into local instruction stream
fc L1 //flush stale datum from instruction/data cache
;; //require instruction boundary between fc and sync.i
sync.i //ensure local and remote data/inst caches
//are synchronized
;;
srlz.i //ensure sync has been observed by the local processor,
;; //ensure subsequent instructions observe
//modified memory
L1: target //instruction modified
操作 : if (PR[qp]) {
instruction_synchronize();
}
割り込み : なし