3.6.3 ATOMIC

critical コンストラクトと名付けられた特別なコンストラクトを持つターゲット文を挿入することにより、実装によってすべての atomic 指令が置き換えられます。これにより、プログラム中のすべての atomic 領域間で排他的なアクセスが行われるようになります。これらの領域が同じストレージロケーションを更新するのか、異なるロケーションを更新するのかは関係ありません。