24531904_j

表 3-1. 擬似コード関数 ( 続き )
rse_preserve_frame
(preserved_frame_size)
rse_restore_frame(preserved_sol,
growth, current_frame_size)
preserved_frame_size で指定される数のレジスタが、RSE によって予約される
ようにマークされる。レジスタ・リネームにより、GR[32] 以降の
preserved_frame_size 個のレジスタが GR[32] にリネームされる。AR[BSP]
が、新しい GR[32] が格納されるバッキング・ストア・アドレスを含むように更新
される。
最初の 2 つのパラメータは、分岐リターンまたは rfi により、現在のフレームが
どのように更新されるかを定義する。preserved_sol は、RSE.BOF の下に復元
される必要があるレジスタの数を定義する。growth は、現在のフレームのトップ
で成長するレジスタの数を定義する ( 成長は通常は負の方向になる )。
preserved_sol で指定された数のレジスタが、復元されるようにマークされる。
レジスタ・リネーミングにより、GR[32] より前の preserved_sol 個のレジスタ
が、GR[32] にリネームされる。AR[BSP] が更新され、新しい GR[32] がストア
されるバッキング・ストア・アドレスを示す。ダーティ・レジスタとクリーン・レ
ジスタの数が preserved_sol より小さい場合は、RSE による強制ロードが発行
されるまで、新しい現在のフレームは有効であると見なされない。この関数は、
RSE による強制ロードを実行しない。維持されるフレームが無効なエリアおよび
クリーンなエリアを超えてダーティなエリア内に成長する場合は、この関数は
TRUE を返す。この場合は、3 番目の引数 current_frame_size を使用して、戻
り先のフレームを強制的にゼロにする ( 第 2 巻、第 1 部の 6.5.5 項「分岐リターン
によって使用される不正な PFS」を参照 )。
rse_store(type) レジスタまたは NaT コレクションをバッキング・ストアに保存する
(store_address = AR[BSPSTORE])。store_address{8:3} が 0x3f に等しい場合には、
NaT コレクション AR[RNAT] がストアされる。store_address{8:3} が 0x3f に等し
くない場合は、レジスタ RSE.StoreReg がストアされ、そのレジスタの NaT ビッ
トが AR[RNAT]{store_address{8:3}} に格納される。ストアが成功すると、
AR[BSPSTORE] が 8 だけインクリメントされる。ストアが成功し、レジスタがス
トアされた場合、RSE.StoreReg が 1 だけインクリメントされる ( スタックされた
レジスタでのラッピングが行われることがある )。このストアによって、ダー
ティー・パーティションからクリーン・パーティションにレジスタを移動する。
RSE による強制ストアでは、タイプは MANDATORY である。RSE による強制ス
トアによって、割り込みが発生するときがある。第 2 巻、第 1 部の表 6-6 を参照の
こと。
rse_update_internal_stack_pointers
(new_store_pointer)
この関数は、AR[BSPSTORE] に新しい値 (new_store_pointer) が与えられたと
きに、AR[BSP] の新しい値を計算する。この値は、new_store_pointer に、
ダーティー・レジスタの数と、その間にある NaT コレクションの数を加えたもの
に等しい。つまり、ダーティー・パーティションのサイズは、AR[BSPSTORE] の
書き込みの前後で同じである。すべてのクリーン・レジスタは無効なパーティショ
ンに移動される。
sign_ext(value, pos) ビット pos-1 から 0 までが value で埋められ、ビット位置 pos から 63 までが
value のビットpos-1 で埋められている64 ビットの数値を返す。pos が 64 以上であ
る場合には、value が返される。
spontaneous_deferral(paddr, size,
border, mattr, otype, hint, *defer)
関数 操作
次の 3 つの条件がすべて該当した場合に、必要に応じて *defer を強制的に TRUE
にする、プロセッサに依存するルーチン。(1) 自然発生デファーがイネーブル、(2)
自然発生デファーがプログラミング・モデルによって許可されている、(3) スペ
キュレーティブ・ロードをデファーするのが有利であるとプロセッサが判断した場
合 ( 特定のレベルのキャッシュ内のミスに基づく )。
spontaneous_deferral_enabled() プロセッサに依存するルーチン。スペキュレーティブ・ロードの自然発生デファー
がプロセッサ内でイネーブルまたはディスエーブルのどちらであるのか応じて、
TRUE または FALSE を返す、
tlb_access_key(vaddr) この関数は、vaddr に対応するエントリのアクセス・キーを TLB から返す。
第 3 巻 : 擬似コード関数 3:257