24531904_j

表 3-1. 擬似コード関数 ( 続き )
tlb_broadcast_purge(rid, vaddr, size,
type)
マルチプロセッサ・コヒーレンシ・ドメイン内の他のプロセッサに対して、ブロー
ドキャスト・パージ DTC および ITC トランザクションを送信する。リージョン識
別子 (rid)、仮想アドレス (vaddr)、ページ・サイズ (size) は、パージする変換エ
ントリを指定する。パージ命令を受信したすべてのプロセッサがパージ操作を完了
するまで、プログラムの実行を待機する。パージ・タイプ (type) は、他のプロ
セッサ上の ALAT も TC と一緒にパージするかどうかを指定する。
tlb_enter_privileged_code() この関数は、この命令を含むページの TLB エントリから、epc のための新しい特
権レベルを決定する。epc 命令を含むページが「実行のみ」のページ・アクセス権
を持ち、そのページに割り当てられた特権レベルが現在の特権レベルより高い ( 数
値が小さい ) 場合は、現在の特権レベルは、epc 命令を含むページの変換エントリ
の特権レベル・フィールドに合わせて設定される。
tlb_grant_permission(vaddr, type, pl) 指定された仮想メモリ・アドレス (vaddr) および特権レベル (pl) の読み込み / 書き
込みアクセスが許可されるかどうかを示すブール値を返す。アクセス・タイプ
(type) は、読み込みか書き込みかを指定する。VHPT 変換、TLB ミス、ネストされ
た TLB、ページ不在、NaT ページ参照、キー・ミスの各フォルトがチェックされ
る。フォルトが発生した場合は、この関数は結果を返さない。
tlb_insert_data(slot, pte0, pte1, vaddr,
rid, tr)
tlb_insert_inst(slot, pte0, pte1, vaddr, rid,
tr)
tlb_may_purge_dtc_entries
(rid, vaddr, size)
tlb_may_purge_itc_entries
(rid, vaddr, size)
tlb_must_purge_dtc_entries
(rid, vaddr, size)
関数 操作
DTLB の指定されたスロッ ト番号にエントリを挿入する。pte0、pte1 が変換エン
トリを構成する。vaddr と rid は、変換エントリの仮想アドレスとリージョン識
別子を指定する。tr が true の場合は、エントリは TR セクションに格納され、そ
れ以外の場合は、TC セクションに格納される。
ITLB の指定されたスロッ ト番号にエントリを挿入する。pte0、pte1 が変換エント
リを構成する。vaddr と rid は、変換エントリの仮想アドレスとリージョン識別
子を指定する。tr が true の場合は、エントリは TR セクションに格納され、それ
以外の場合は、TC セクションに格納される。
指定された仮想アドレス (vaddr)、リージョン識別子 (rid)、およびページ・サイ
ズ (size) に一致する DTC エントリをローカルにパージできる。また、これらのパ
ラメータと部分的に重なるエントリを無効化することもできる。パージ操作の範囲
は、プロセッサに依存する。パージ・サイズのパラメータがサポートされていない
場合、プロセッサは、マシン・チェック・アボートを生成するか、指定された範囲
を超えてトランスレーション・キャッシュをパージすることがある。最大では、ト
ランスレーション・キャッシュからすべてのエントリが削除される。
指定された仮想アドレス (vaddr)、リージョン識別子 (rid)、ページ・サイズ
(size) に一致する ITC エントリをローカルにパージできる。また、これらのパラ
メータと部分的に重なるエントリの無効化もできる。パージ操作の範囲は、プロ
セッサに依存する。パージ・サイズのパラメータがサポートされていない場合、プ
ロセッサは、マシン・チェック・アボートを生成するか、指定された範囲を超えて
トランスレーション・キャッシュをパージするときがある。最大では、トランス
レーション・キャッシュからすべてのエントリが削除される。
指定されたリージョン識別子 (rid)、仮想アドレス (vaddr)、ページ・サイズ
(size) に一致する、すべてのローカルな ( 重なることがある ) DTC エントリをパー
ジする。パージでは、vaddr{63:61} (VRN) は無視される。つまり、VRN ビット
に関係なく、vaddr{60:0} に一致するすべてのエントリは、必ずパージされる。
パージ・サイズ・パラメータがサポートされていない場合、プロセッサは、マシ
ン・チェック・アボートを生成するか、指定された範囲を超えてトランスレーショ
ン・キャッシュをパージするときがある。最大では、トランスレーション・キャッ
シュからすべてのエントリが削除される。指定されたパージ・パラメータの値が既
存の DTR 変換エントリと重なる場合は、マシン・チェック・アボートが発生する
ときがある。
3:258 第 3 巻 : 擬似コード関数