指令重排，并发编程中如何规避指令重排导致的错误

在并发编程的世界里,我们常常追求“更高性能”与“更安全”的平衡，为了提升程序执行效率，编译器和处理器会暗中做一件“优化”——指令重排，这本是提升性能的利器，却在不经意间可能成为并发程序中的“隐形杀手”，导致难以排查的逻辑错误，本文将深入解析指令重排的成因、风险，并给出具体的规避策略，帮助你在并发编程中绕开这些陷阱。

指令重排：被“优化”的执行顺序

要理解指令重排的“错误”，首先得明白它到底是什么。指令重排是指在保证单线程程序执行结果正确的前提下，编译器或处理器为了优化性能，对指令执行的顺序进行调整，它分为两类：

编译器重排

编译器在将代码转换为机器码时,会分析代码的逻辑，在不改变单线程执行结果的前提下，可能会调整指令顺序，以减少寄存器占用、避免内存访问冲突等。

int a = 1; // 指令1
int b = 2; // 指令2
a = a + 5; // 指令3
b = b * 3; // 指令4

在单线程中,指令1和指令2的顺序可以互换，指令3和指令4的顺序也可以互换，编译器可能会根据优化需求调整它们的执行顺序。

处理器重排

现代CPU为了提升执行效率,普遍采用“乱序执行”（Out-of-Order Execution）技术，即处理器会分析指令间的依赖关系，不严格按照代码顺序执行，而是优先执行那些没有依赖关系且可以快速完成的指令。

a = 1; // 指令A
b = 2; // 指令B
c = a + b; // 指令C（依赖A和B）

指令C必须等A和B执行完才能执行,但A和B之间没有依赖，