那么，这里为什么要把 stupid vodka 变成 vodka 和 atomic 呢？这里其实是取了一个巧。首先，我们要知道，vodka 在 IIVM 的 IR 里的语义和在 Ɔ 语言中的语义是一样的，都是防止了赋值或读取的指令数量和之间的相对顺序发生变更。因此，为了达到 stupid vodka 的效果，atomic 其实起到的作用是防止被标记的值的读写与其他非 vodka 的读写交换顺序，也就是实现了 stupid vodka 中的 stupid 部分。接下来来解释具体是怎么实现的。在实现原子性的时候，为了能够确保读写顺序正确，编译器同时会“一定程度”上禁止其他读写与标记了 atomic......