24531904_j

表 3-1. 擬似コード関数 ( 続き )
関数 操作
instruction_serialize() 副作用を持つ先行するすべてのレジスタ更新が、それ以降の命令とデータ・メモリ
参照が実行される前に行われることが保証される。また、先行の SYNC.i 操作が命
令キャッシュによって検出されることが保証される。
instruction_synchronize() キャッシュ・フラッシュ (FC) 操作のために命令とデータ・ストリームを同期させ
る。この関数により、先行のキャッシュ・フラッシュ操作がローカル・データ・
キャッシュで検出されたときには、ローカル命令キャッシュでも検出されることが
保証される。また、先行の FC 操作が別のプロセッサのデータ・キャッシュで検出
されたときには、同じプロセッサの命令キャッシュ内でも検出されることが保証さ
れる。
is_finite(freg) 浮動小数点レジスタが有限数を含んでいる場合に true を返す。
is_ignored_reg(regnum) regnum が無視されたアプリケーション・レジスタである場合に true を返し、それ
以外の場合に false を返すブール関数。
is_inf(freg) 浮動小数点レジスタが無限数を含んでいる場合に true を返す。
is_interruption_cr(regnum) regnum が割り込みコントロール・レジスタである場合は true を返し、それ以外の
場合は false を返すブール関数 ( 第 2 巻、第 1 部の 3.3.5 項「割り込みコントロー
ル・レジスタ」を参照 )。
is_kernel_reg(ar_addr) ar_addr がカーネル・レジスタ・アプリケーション・レジスタのアドレスである場
合に 1 を返す。
is_read_only_reg(rtype, raddr) rtype タイプのレジスタ・バンク内の raddr によってアドレス指定されるレジスタ
が、読み取り専用レジスタである場合は、1 を返す。
is_reserved_field(regclass, arg2, arg3) 指定されたデータが予約済みフィールドに 1 を書き込む場合に true を返す。
is_reserved_reg(regclass, regnum) regnum が regclass レジスタ・ファイルで予約されている場合に true を返す。
is_supported_hint(hint) 指定された hint をプロセッサがサポートしている場合は true を返す。この関数
は、hint 値以外の要素に依存する場合がある ( 実行元の実行ユニットや、命令が
エンコードされたスロット番号など )。
long_branch_implemented() ロング型分岐が実装されているかどうかで TRUE または FALSE を返す、プロセッ
サに依存するルーチン。
make_icache_coherent(paddr) 物理アドレス paddr によってアドレス指定されているキャッシュ・ラインがプロ
セッサ固有の方法でフラッシュされ、命令キャッシュがデータ・キャッシュに対し
てコヒーレントにされる。
mem_flush(paddr) 物理アドレス paddr によってアドレス指定されているラインは、メモリ階層の中
のメモリよりも上のすべてのレベルで無効にされ、メモリとの間に整合性がない場
合にはメモリに書き戻される。
mem_flush_pending_stores() ライト・コーレシング・バッファおよびライト・バッファ内の未処理のストアの排
出を開始するように、プロセッサに指示する。この操作は「ヒント」である。先行
するストアが実際に排出されたかどうかは表示されない。
mem_implicit_prefetch(vaddr, hint, type) vaddr によってアドレス指定されているラインを、hint によって指定されたメモ
リ階層の位置に移動する。この関数はプロセッサに依存しており、無視される場合
がある。type によって、プロセッサは、各種の命令タイプのプリフェッチを区別
できる。
mem_promote(paddr, mtype, hint) paddr でアドレス指定されているラインを、hint に指定されたアクセス・ヒント
の条件に従って、メモリ階層の最高レベルに移動する。この関数はプロセッサに依
存しており、無視される場合がある。
mem_read(paddr, size, border, mattr,
otype, hint)
paddr で指定された物理メモリ位置から始まる size バイトを、border で指定され
たバイト順序、mattr で指定されたメモリ属性、hint で指定されたアクセス・ヒ
ントで返す。otype はこのアクセスのメモリ・アクセス順序属性を指定するもの
で、UNORDERED または ACQUIRE でなくてはならない。
3:254 第 3 巻 : 擬似コード関数