JVM指令与汇编指令："单JVM非原子、单汇编原子"的观点是否正确？

原观点“单个JVM指令不具备原子性，但单个汇编指令具备原子性”并不正确，以下从两部分逐一分析：

一、单个JVM指令的原子性 #

并非所有JVM指令都不具备原子性，部分JVM指令本身是原子操作：

• 以示例中的局部变量i++为例，它对应的JVM指令是IINC 1 1，这条指令会直接操作局部变量表的指定槽位完成自增，JVM规范保证该操作是原子性的。
• 类似的，GETSTATIC/GETFIELD（读取类/实例变量）、PUTSTATIC/PUTFIELD（写入类/实例变量）这类简单读写指令，单线程下是原子的；只有涉及多步操作的JVM指令序列（比如共享变量的i++会拆分成多条JVM指令）才不具备原子性，但单条指令本身可能是原子的。

结论：单个JVM指令可能具备原子性，不能一概而论。

二、单个汇编指令的原子性 #

单个汇编指令也并非天然具备原子性：

• 普通的汇编指令（比如示例中i++编译出的“读取内存到寄存器”“寄存器自增”“写回内存”这三条指令），在多核CPU环境下，可能因缓存一致性、指令重排序等问题，无法保证原子性。
• 只有符合CPU架构规范的特定汇编指令才具备原子性，比如x86架构中带LOCK前缀的指令（如LOCK ADD），这类指令会锁定内存总线确保操作原子性；部分单字节的内存读写指令也会被CPU原生支持为原子操作，但这只是特例，不是所有汇编指令都满足。

结论：单个汇编指令不一定具备原子性，仅特定类型的指令才能保证原子性。

内容的提问来源于stack exchange，提问作者Machi