指令重排: 编译器指令重排,cpu指令重排,内存指令重排。
编译器可能会调整顺序,如下图,左边是c++源码,右边是优化后顺序
一条汇编指令的执行是可以分为很多步骤的, 分为不同的硬件执行
取指 IF
译码和取寄存器操作数 ID
执行或者有效地址计算 EX (ALU逻辑计算单元)
存储器访问 MEM
写回 WB (寄存器)
指令重排只可能发生在毫无关系的指令之间, 如果指令之间存在依赖关系, 则不会重排。单线程内程序的执行结果不能被改变。
1 原子性是指一个操作是不可中断的. 即使是在多个线程一起执行的时候。
2 有序性是指在单线程环境中, 程序是按序依次执行的,而在多线程环境中, 程序的执行可能因为指令重排而出现乱序。
3 可见性是指当一个线程修改了某一个共享变量的值,其他线程是否能够立即知道这个修改