24531904_j

cmpxchg
ldhint コ ンプ リ ー タの値で、 メモ リ ・ ア クセスの局所性を指定する。 ldhint コンプリータ
の値の一覧を 3:136 ページの表 2-34 に示してい る。 局所性 ヒ ン ト はプ ロ グ ラ ムの機能に
は影響せず、 プログラム ・ コ ー ド では無視も でき る。 詳細は第 1 巻、 第 1 部の 4.4.6 項
「メモ リ 階層の制御 と 整合性」 を参照のこ と。
操作 : if (PR[qp]) {
check_target_register(r 1 );
}
if (GR[r 3].nat || GR[r 2].nat)
register_nat_consumption_fault(SEMAPHORE);
if (sixteen_byte_form)
sz = 8;
paddr = tlb_translate(GR[r 3], sz, SEMAPHORE, PSR.cpl, &mattr,
&tmp_unused);
if (!ma_supports_semaphores(mattr))
unsupported_data_reference_fault(SEMAPHORE, GR[r 3 ]);
if (sixteen_byte_form) {
if (sem == ‘acq’)
val = mem_xchg16_cond(AR[CCV], GR[r 2], AR[CSD], paddr, UM.be,
mattr, ACQUIRE, ldhint);
else // ‘rel’
val = mem_xchg16_cond(AR[CCV], GR[r 2], AR[CSD], paddr, UM.be,
mattr, RELEASE, ldhint);
} else {
if (sem == ‘acq’)
val = mem_xchg_cond(AR[CCV], GR[r 2 ], paddr, sz, UM.be, mattr,
ACQUIRE, ldhint);
else // ‘rel’
val = mem_xchg_cond(AR[CCV], GR[r 2 ], paddr, sz, UM.be, mattr,
RELEASE, ldhint);
val = zero_ext(val, sz * 8);
}
if (AR[CCV] == val)
alat_inval_multiple_entries(paddr, sz);
GR[r 1] = val;
GR[r 1 ].nat = 0;
割り込み : 無効操作フ ォ ル ト デー タ ・ キ ー ・ ミ ス ・ フ ォ ル ト
レジスタ NaT 参照フ ォ ル ト デー タ ・ キ ー許可フ ォ ル ト
実装 さ れていないデ ー タ ・ ア ド レ ス ・ フ ォ ル ト デー タ ・ ア ク セス権フ ォ ル ト
データがネス ト された TLB フォルト データ・ダーティ・ビット ・フォルト
別のデー タ TLB フォルト データ・アクセス・ビット ・フォルト
VHPT データ ・ フォル ト データ ・ デバッグ ・ フォル ト
データ TLB フ ォ ル ト 符号なしデー タ参照フ ォ ル ト
データ ・ ページ不在フォルト サポー ト されないデータ参照フォルト
データ NaT ページ参照フォル ト
第 3 巻 : 命令リファレンス 3:41