关于Lamport面包店算法无底层原子操作的疑问

首先得明确：面包店算法所说的不依赖底层原子操作，指的是不需要硬件提供的「原子读改写指令」（比如CAS、Test-and-Set这类），但它依然要求共享变量的读写满足内存可见性与顺序约束——这依赖的是内存屏障（或语言层面的内存模型规则），而非硬件原子操作。

针对你提到的指令重排问题：

• 你举例的那种把Number[i]赋值提前到Entering[i] = true之前的重排，确实会破坏算法的进入区逻辑，但这种重排是被严格禁止的。现代编译器和处理器不会随意改变存在数据依赖或逻辑依赖的指令顺序——在多线程场景下，这种重排会导致程序行为不符合预期，因此会遵守内存模型的规则（比如C++的std::memory_order、Java的volatile关键字），保证Entering[i] = true先于Number[i]赋值执行，Entering[i] = false后于Number[i]赋值执行。
• 面包店算法里的所有共享变量操作都是单个的读或写，不存在需要原子性保证的「读-改-写」复合操作，它的互斥逻辑完全基于对变量值的有序判断，只要这些读写的顺序在多线程间是可观测的，就能保证正确性。

再区分两个容易混淆的概念：

• 原子操作：保证一个复合操作（比如读变量、修改、写回）不会被其他线程打断，其他线程要么看到操作前的状态，要么看到操作后的状态，不会看到中间值。
• 内存顺序约束：保证不同线程对共享变量的读写操作的顺序是一致的，不会出现指令乱序导致的逻辑错误，这正是面包店算法所依赖的。

简单说：维基百科的表述是指面包店算法不需要硬件级的原子指令来实现互斥，但它需要语言或系统提供的内存顺序保证，来禁止破坏逻辑的指令重排。

内容的提问来源于stack exchange，提问作者AL-CEL