重排序-FIFO

---

---

重排序

什么是重排序

程序执行的顺序按照代码的先后顺序执行

重排序实际执行的指令步骤

• 编译器优化的重排序。编译器在不改变单线程程序语义的前提下，可以重新安排语句的执行顺序
• 指令级并行的重排序。现代处理器采用了指令级并行技术（ILP）来将多条指令重叠执行。如果不存在数据依赖性，处理器可以改变语句对应机器指令的执行顺序。
• 内存系统的重排序。由于处理器使用缓存和读/写缓冲区，这使得加载和存储操作看上去可能是在乱序执行
  
  这些重排序对于单线程没问题，但是多线程都可能会导致多线程程序出现内存可见性问题

重排序遵守的规则

as-if-serial：
1.不管怎么排序，结果不能改变
2.不存在数据依赖的可以被编译器和处理器重排序
3.一个操作依赖两个操作，这两个操作如果不存在依赖可以重排序
4.单线程根据此规则不会有问题，但是重排序后多线程会有问题

as-if-serial规则和happens-before规则的区别

• as-if-serial语义保证单线程内程序的执行结果不被改变，happens-before关系保证正确同步的多
  线程程序的执行结果不被改变。
• as-if-serial语义给编写单线程程序的程序员创造了一个幻境：单线程程序是按程序的顺序来执行
  的。happens-before关系给编写正确同步的多线程程序的程序员创造了一个幻境：正确同步的多
  线程程序是按happens-before指定的顺序来执行的。
• as-if-serial语义和happens-before这么做的目的，都是为了在不改变程序执行结果的前提下，尽
  可能地提高程序执行的并行度

---