Restricted Transactional Memory の概要

Restricted Transactional Memory (RTM) は、トランザクション実行用のソフトウェア・インターフェイスを提供します。RTM には、トランザクション実行を開始、コミット、アボートする、3 つの新しい命令 (XBEGIN、XEND、XABORT) が用意されています。

プログラマーは、XBEGIN 命令を使用してトランザクション・コード領域の開始を指定し、XEND 命令を使用してトランザクション・コード領域の終了を指定します。XBEGIN 命令は、RTM 領域がトランザクション実行に成功しなかった場合、相対的なオフセットで指定したフォールバック命令アドレスを処理します。

プロセッサーは、さまざまな理由により RTM トランザクション実行をアボートすることがあります。ハードウェアはトランザクション・アボート条件を自動的に検出して、XBEGIN 命令の開始および (アボートステータスを示すために更新された) EAX レジスターに対応するアーキテクチャー・ステートで、フォールバック命令アドレスから実行を再開します。

プログラマーは、XABORT 命令を使用して、RTM 領域の実行を明示的にアボートすることができます。XABORT 命令には、RTM アボートの後にソフトウェアで利用可能になる、EAX レジスターにロードされる 8 ビットの即時引数を指定します。

RTM 命令とデータメモリーの位置は関連付けられません。ハードウェアは RTM 領域がトランザクションのコミットに成功するかどうか保証しませんが、推奨されるガイドラインに従う多くのトランザクションは、トランザクションのコミットに成功すると予想されます。

プログラマーは、コードの実行が完了することを保証するため、フォールバック・パスに代替コードシーケンスを常に提供しなければなりません。例えば、ロックを取得して指定されたコード領域を非トランザクション実行します。さらに、指定された実装では常にアボートされるトランザクションが将来の実装では正しく終了する可能性もあります。このため、プログラマーは、トランザクション領域と代替コードシーケンスのコードパスが機能的にテストされていることを保証しなければなりません。