24531904_j

表 3-1. 擬似コード関数 ( 続き )
partially_implemented_ip() プロセッサに依存するルーチンで、TRUE を返す場合と FALSE を返す場合がある。
IP の次の値であったはずのアドレスに対して符号拡張された仮想アドレスまたはゼ
ロ拡張された物理アドレスが、実装されていない命令アドレス・トラップの発生時
にプロセッサによって IIP に書き込まれる場合は、TRUE を返す。IP の次の値で
あったはずのフルアドレスが、このトラップが発生したプロセッサによって IIP に
書き込まれる場合は、FALSE を返す。
pr_phys_to_virt(phys_id) プレディケートの物理レジスタ ID、phys_id から、プレディケートの仮想レジス
タ ID を返す
rotate_regs() レジスタ・リネーム・ベース・レジスタをデクリメントし、結果としてレジスタ・
ファイルのローテートを行う。CFM.rrb.gr は CFM.sor がゼロでない場合にのみデ
クリメントされる。
rse_enable_current_frame_load() RSE ロード・ポインタ (RSE.BSPLoad) が AR[BSP] よりも大きい場合、RSE によ
る強制ロードによってカレント・フレームのレジスタを復元できることを示す
RSE.CFLE ビットが設定される ( 他のケースでは、RSE はカレント・フレームのレジ
スタのスピルまたはフィルを行わない )。この関数は必須の RSE によるロードを実
行しない。この手順で割り込みは発生しない。
rse_ensure_regs_loaded
(number_of_bytes)
関数 操作
AR[BSP]と(AR[BSP] - number_of_bytes)の間のレジスタおよびNaTコレクショ
ンのうち、スタックされたレジスタにまだ入っていないものがすべて、RSE によ
る強制ロードによってレジスタ・スタックにロードされる。ロードされるレジスタ
の数が RSE.N_STACK_PHYS より大きい場合は、無効操作フォルトが発生する。
バッキング・ストア・アドレス (AR[BSP] - 8) を始点として、バッキング・ストア・
アドレス (AR[BSP] - number_of_bytes) ( このアドレスを含む ) までデクリメントし
ていくすべてのレジスタは、ダーティ・パーティションの一部になる。現在のフ
レームを除く、その他のすべてのスタックされたレジスタは、無効パーティション
の一部になる。number_of_bytes に 0 も指定できる。この関数で発生する RSE
ロードのシーケンスは、割り込みをかけられるときがある。RSE による強制ロー
ドによって、割り込みが発生するときがある。第 2 巻、第 1 部の表 6-6 を参照のこ
と。
rse_invalidate_non_current_regs() カレント・フレームの外のすべてのレジスタが無効にされる。
rse_load(type) レジスタまたは NaT コレクションをバッキング・ストアから復元する
(load_address = RSE.BspLoad - 8)。load_address{8:3} が 0x3f に等しい
場合は、NaT コレクションが NaT 分散レジスタにロードされる ( 分散レ ジ ス タは、
AR[RNAT] と同じでなくてもかまわない )。load_address{8:3} が 0x3f と等しくな
い場合は、レジスタ RSE.LoadReg - 1 がロードされ、そのレジスタの NaT ビッ
トが dispersal_register{load_address{8:3}} にセットされる。ロードが成
功した場合は、RSE.BspLoad が 8 だけデクリメントされる。ロードが成功し、レ
ジスタがロードされた場合は、RSE.LoadReg が 1 だけデクリメントされる ( ス
タックされたレジスタでのラッピングが行われることがある )。このロードは、
RSE.CFLE が 1 の場合は、無効なパーティションから現在のフレームにレジスタを
移動し、RSE.CFLE が 0 の場合は、クリーンなパーティションにレジスタを移動す
る。RSE による強制ロードでは、type は MANDATORY になる。RSE による強制
ロードによって、割り込みが発生するときがある。第 2 巻、第 1 部の表 6-6 を参照
のこと。
rse_new_frame(current_frame_size,
new_frame_size)
レジスタ・リネームをまったく変更せずに、新しいフレームが定義される。新しい
フレーム・サイズは new_frame_size パラメータによって完全に定義される ( 連
続したコールは累積しない )。new_frame_size が current_frame_size より
も大きく、無効でクリーンなパーティション内のレジスタの数がフレームの増加し
たサイズよりも小さい場合には、十分な数のレジスタが使用可能になるまで RSE
による強制ストアが発行される。結果として生じる RSE ストアのシーケンスは割
り込まれるときがある。RSE による強制ストアによって割り込みが発生するとき
がある。第 2 巻、第 1 部の表 6-6 を参照のこと。
3:256 第 3 巻 : 擬似コード関数