24531904_j

lfetch
表 2-38. lfhint のニーモニック値
lfhint ニーモニック 意味
none 時間的局所性、レベル 1
nt1 時間的局所性なし、レベル 1
nt2 時間的局所性なし、レベル 2
nta 時間的局所性なし、全レベル
実装 さ れていないア ド レ ス に対して、 フ ォ ル ト を発生す る lfetch を発行する と、 実装
されていないデータ ・ ア ド レス ・ フ ォル ト が発生する。 実装されていないア ド レスに対
して、 フ ォル ト を発生しない lfetch を発行する と 、 実装されていないデー タ ・ ア ド レ
ス ・ フ ォ ル ト は発生せず、 プ リ フ ェ ッ チ要求 も 発行 さ れない。 ただし、 指定した場合は、
レジスタのポスト ・インクリメントが行われる。
フォルトを発生しない形式のlfetch と フ ォ ル ト を発生す る形式の lfetch はいずれも
スペキ ュ レ ー テ ィ ブに使用でき る。 フ ォ ル ト を発生する形式の lfetch でフォルト を発
生 さ せ る目的は、 ア ド レ ス に関す る問題を オペレ ー テ ィ ン グ ・ シ ス テ ムが迅速に解決で
き る よ う にす る ためである。 ア ド レ ス に関する問題を迅速に解決で き ない と 、 OS はその
ま まプログラムに戻り、 データ ・ プリ フェ ッチを強制的にスキップする。
特に、 フ ォル ト を発生する lfetch が、 リ ス ト に示すフ ォ ル ト ( 無効操作フ ォ ル ト 以外 )
を発生させた場合、 オペレーティング ・ システムは、 迅速に、 かつ割り込まれたプログ
ラ ム に対して透過的に こ の フ ォ ル ト を処理する必要がある。 フ ォ ル ト を迅速かつ透過的
に処理できない場合 ( フ ォ ル ト を処理す る と プ ロ グ ラ ムが終了す る場合な ど )、 OS は割
り込まれたプログラムに戻り、 データ ・ プリ フェ ッチをスキップする必要がある。 これ
を行うのは簡単で、 IPSR.ed ビッ トに1 をセッ ト してから rfi を実行し、 プロセスに戻
れば よい。 これに よ り lfetch.fault は、 ベース ・ レジスタのポス ト ・ イン ク リ メン
ト 処理を実行す る が ( 指定された場合 )、 プリ フェ ッチ要求はどれも抑止されるため、 プ
リフェッチ関連のフォルトも抑止される。 OS は、 フ ォル ト を発生する lfetch がフォ
ルトの原因であったかどうかを容易に識別できる。 その方法としては、 ISR.na が 1 であ
り ISR.code{3:0} が 4 である こ と を観察すれば よ い。 ただし、 無効操作フ ォ ル ト は例外で
ある。 このフォルト は、 ベース ・ レジスタのポス ト ・ インク リ メン ト処理が指定されて
おり、 ベース ・ レジスタが現在のスタック ・ フレームの外部にある、 または GR0 である
場合に、 lfetch.fault によって発生する場合がある。 この1 つのフ ォル ト は、
lfetch.fault のプ リ フ ェ ッ チの側面ではな く 、 ベー ス更新部分に関連してい る。 その
ため、 lfetch.fault の無効操作フ ォ ル ト は、 その他の命令の場合 と 同様に処理する必
要がある。
操作 : if (PR[qp]) {
itype = READ|NON_ACCESS;
itype |= (lftype == ‘fault’) ? LFETCH_FAULT : LFETCH;
if (reg_base_update_form || imm_base_update_form)
check_target_register(r 3 );
if (lftype == ‘fault’) { // faulting form
if (GR[r 3 ].nat && !PSR.ed) // fault on NaT address
register_nat_consumption_fault(itype);
}
excl_hint = (exclusive_form) ? EXCLUSIVE : 0;
if (!GR[r 3 ].nat && !PSR.ed) {// faulting form already faulted if r 3 is nat
paddr = tlb_translate(GR[r 3], 1, itype, PSR.cpl, &mattr, &defer);
if (!defer)
第 3 巻 : 命令リファレンス 3:147