24531904_j

cmpxchg ─ 比較交換 (Compare And Exchange)
cmpxchg
書式 : (qp) cmpxchgsz.sem.ldhint r 1 = [r 3 ], r 2 , ar.ccv M16
(qp) cmp8xchg16.sem.ldhint r1 = [r 3 ], r 2 , ar.csd, ar.ccv sixteen_byte_form M16
説明 : GR r3 の値で指定されるアドレスから始まるメモリ位置から sz バイ ト (cmp8xchg16 では
8 バイ ト ) の値が読み込 ま れる。 こ の値はゼ ロ拡張 さ れ、 比較交換での比較値 (cmpxchg
Compare Value) アプ リ ケーシ ョ ン ・ レジスタの内容 (AR[CCV]) と比較される。 2 つが等
しい場合は、 GR r2 の最下位の sz ビッ トが取り出され、 GR r3 の値で指定されるア ド レ ス
から始まるメモリ位置に書き込まれる。 cmp8xchg16 の場合、 2 つが等しい場合は、 ビ ッ
ト 3 を無視する指定されたア ド レ ス (GR r3 & ~ 0x4) に GR r2 からの8 バイ ト がス ト アさ
れ、 そのア ド レ ス に 8 を加えたア ド レス ((GR r3 & ~ 0x4)+ 8) に Compare and Store Data
アプ リ ケーシ ョ ン ・ レジスタ (AR[CSD]) からの8 バイ ト がス ト アされる。 メモリから読
み込まれ、 ゼロ拡張された値は GR r1 に格納され、 GR r1 に対応する NaT ビッ トがクリ
アされる。
sz コンプリータの値を表 2-19 に示す。 sem コンプリータでセマフォ操作のタイプを指定
する。 それらの操作の説明を、 表 2-20 に示す。 メモ リ順序の詳細は、 第 2 巻、 第 1 部の
4.4.7 項 「シーケンシャル属性と順序付け」 を参照のこ と。
表 2-19. 比較交換のメモリ・サイズ
表 2-20. 比較交換セマフォのタイプ
sem
コンプリータ
acq 取得
rel 解放
sz コンプリータ アクセスされるバイト数
1 1
2 2
4 4
8 8
順序付けの
セマンティックス
セマフォ操作
後続のすべてのデータ・メモリ・アクセスの前に、メモリに対する読
み取り / 書き込みが検出可能になる。
先行のすべてのデータ・メモリ・アクセスの後に、メモリに対する読
み取り / 書き込みが検出可能になる。
GR r3 の値で指定されるア ド レ スが、 メモ リ でア クセス されるサイズに自然にアラ イ メ
ントされていない場合は、 ユーザ・マスク (User Mask) アライメン ト ・ チェ ッ ク ・ ビッ ト
UM.ac ( プロセッサ ・ ステータス ・ レジスタの PSR.ac) の状態に関わらず、 非アラ イ メン
ト・データ参照 (Unaligned Data Reference) フォルトが発生する。 cmp8xchg16 命令では、
指定 さ れる ア ド レ ス は 8 バイ ト にアライメン トが合っていなければならない。
メモ リ に対する読み取り およ び書き込みはア ト ミ ッ ク な操作である こ と が保証されてい
る。 cmp8xchg16 命令では、 8 バイ ト のメモリ読み取り と 16 バイ ト のメモリ書き込みは
ア ト ミ ッ ク な操作であ る こ と が保証 さ れている。
参照 さ れるペー ジ に対する読み取 り お よ び書き込みの両方のア ク セス特権が必要であ る。
メモ リ への書き込みが行われるかど う かに関わらず、 書み込みアク セス特権のチェ ッ ク
が行われる。
こ の命令は、 ラ イ ト バ ッ ク書き込みポ リ シ ー を持つキ ャ ッ シ ュ可能ペー ジ に対してのみ
有効であ る。 NaTPage にアクセスする と、 データ NaT ペー ジ参照フ ォ ル ト が発生す る。
他のメモ リ 属性を持つペー ジにアク セスする と、 サポ ー ト されないデー タ参照フ ォ ル ト
が発生する。
3:40 第 3 巻 : 命令リファレンス