乱序执行以及原子操作

标签（空格分隔）：技术优化锁乱序

[toc]

编译器优化

为了提高执行效率, 在不影响执行结果的情况下, 编译器会任意重排代码顺序, 生成重排之后的汇编代码.

同样为了提升执行效率, CPU也可能不按照汇编层面的顺序来执行,前提是不影响语义.

譬如

a = 1; b = 2;

以上这段代码,可能并不会按照顺序执行. 如果b 恰好在cpu0的cache里的时候, 就会先执行b = 2 这句话.

还举一个例子,如果某条语句在阻塞的情况下, cpu可能会执行一条上下文无关的代码,以此提高cpu的使用效率.

CPU有很多cache一致性的协议, 比较有名的是MESI协议.

原子操作是指不会被线程调度机制打断的操作；这种操作一旦开始，就一直运行倒结束，中间不会有任何 context switch （切换到另一个线程）。