汇编语言中lock;前缀的使用必要性及实际作用是什么

首先先澄清一个很多资料容易混淆的误区：lock;前缀的作用根本不是防止操作系统打断单条指令的执行——你了解到的「CPU上下文切换只会发生在指令之间，不会打断正在执行的单条指令」是完全正确的。lock;解决的是多CPU核心并发访问同一块内存的竞争问题。

为什么需要lock;前缀？ #

哪怕是单条汇编指令，只要是涉及内存的「读-改-写」操作，本质上都拆分成了三个独立的硬件步骤，比如对内存变量执行自增的指令inc [shared_count]：

• 从主存（或CPU缓存）读取shared_count的当前值到核心内部的临时寄存器
• 临时寄存器的值加1
• 将结果写回对应的内存地址

如果没有lock;前缀，两个CPU核心同时执行这条指令时，就会出现并发冲突：核心A读到值10，核心B同时也读到10，两个核心各自加1得到11，先后写回内存，最终结果是11而非预期的12，也就是常说的「计数丢失」问题。
lock;前缀会锁定对应的内存地址的访问权，直到当前核心完成整条指令的全部操作前，其他核心无法读写该地址，相当于把整条指令的读改写流程变成了不可拆分的原子操作。

什么情况会「中断」正在执行的指令？ #

资料里说的「lock;保证指令执行不会被中断」里的「中断」，指的不是操作系统触发的中断、上下文切换，而是其他核心对同一块内存的并发访问。CPU硬件本身就保证单条指令不会被操作系统的调度打断，lock;是额外加了一层多核心场景下的内存访问保护。

lock;前缀的实际应用场景 #

所有多核心/多线程场景下需要原子操作的逻辑，底层几乎都依赖lock;前缀实现：

• 多线程同步原语：互斥锁、自旋锁的加锁/解锁逻辑，需要原子修改锁的状态标识，避免多个线程同时抢到锁
• 无锁数据结构：原子计数器、无锁队列、无锁链表的实现，需要原子修改计数值、节点指针等共享变量
• 操作系统内核并发控制：内核中多个CPU核心同时操作同一个全局变量（比如进程计数、文件引用计数）时，也需要lock;前缀避免并发冲突

注意lock;前缀只能加在add、inc、xchg、cmpxchg这类本身带有内存操作的指令前，加在纯寄存器运算指令上会触发非法指令异常。

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