3.6.3 ATOMIC

此实现通过使用一个名为 critical 的特殊构造封闭目标语句来替换所有 atomic 指令。这将会在程序中的所有原子区域间强制进行独占访问，无论这些区域是否更新相同或不同的存储位置。