24531904_j

fetchadd
は影響せず、 プ ロ グ ラ ム ・ コ ー ド に よ り 無視 も で き る。 詳細は、 第 1 巻、 第 1 部の 4.4.6
項 「メ モ リ 階層の制御 と 整合性」 を参照のこ と。
操作 : if (PR[qp]) {
check_target_register(r 1 );
}
if (GR[r 3].nat)
register_nat_consumption_fault(SEMAPHORE);
size = four_byte_form ? 4 : 8;
paddr = tlb_translate(GR[r 3 ], size, SEMAPHORE, PSR.cpl, &mattr,
&tmp_unused);
if (!ma_supports_fetchadd(mattr))
unsupported_data_reference_fault(SEMAPHORE, GR[r 3 ]);
if (sem == ‘acq’)
val = mem_xchg_add(inc 3 , paddr, size, UM.be, mattr, ACQUIRE, ldhint);
else // ‘rel’
val = mem_xchg_add(inc 3 , paddr, size, UM.be, mattr, RELEASE, ldhint);
alat_inval_multiple_entries(paddr, size);
GR[r 1 ] = zero_ext(val, size * 8);
GR[r 1].nat = 0;
割り込み : 無効操作フ ォ ル ト デー タ ・ キ ー ・ ミ ス ・ フ ォ ル ト
レジスタ NaT 参照フ ォ ル ト デー タ ・ キ ー許可フ ォ ル ト
実装 さ れていないデ ー タ ・ ア ド レ ス ・ フ ォ ル ト デー タ ・ ア ク セス権フ ォ ル ト
データがネス ト された TLB フォルト データ・ダーティ・ビット ・フォルト
別のデー タ TLB フォルト データ・アクセス・ビット ・フォルト
VHPT データ ・ フォル ト データ ・ デバッグ ・ フォル ト
データ TLB フ ォル ト アライ メン ト の合っていないデー タ参照
データ ・ページ不在フォルト フォルト
データ NaT ページ参照フォル ト サポー ト されないデータ参照フォル ト
3:68 第 3 巻 : 命令リファレンス