并发编程的三大特性之有序性

雨点打透心脏的1/2处 2023-10-10 23:48 39阅读 0赞

### 有序性的概念 ###

*  Java文件在被cpu执行前会进行编译成cpu可以执行的指令，为了提高cpu的执行效率会对其中的一些语句进行重排序。
 *  Java指令最终是乱序执行的目的是为了提高cpu的执行效率，发挥cpu的性能  
    ![在这里插入图片描述][f9003f078b13485a820f342bfdc2ecaf.png]

### 单例模式由于指令重排可能会出现上述的问题，原因就在于当你new出一个对象的时候，jvm将这个步骤分为了三个部分。开辟空间，初始化，指针指向开辟空间的地址。所以当出现指令重排的时候，只需要上述的最后两个步骤发生调换就会出现问题，导致空指针异常。 ###

### as-if-serial ###

as-if-serial语义：

不论指定如何重排序，需要保证单线程的程序执行结果是不变的。

而且如果存在依赖的关系，那么也不可以做指令重排。

### happens-before ###

**具体规则：**

1. 单线程happen-before原则：在同一个线程中，书写在前面的操作happen-before后面的操作。  
　　2. 锁的happen-before原则：同一个锁的unlock操作happen-before此锁的lock操作。  
　　3. volatile的happen-before原则： 对一个volatile变量的写操作happen-before对此变量的任意操作。  
　　4. happen-before的传递性原则： 如果A操作 happen-before B操作，B操作happen-before C操作，那么A操作happen-before C操作。  
　　5. 线程启动的happen-before原则：同一个线程的start方法happen-before此线程的其它方法。  
　　6. 线程中断的happen-before原则：对线程interrupt方法的调用happen-before被中断线程的检测到中断发送的代码。  
　　7. 线程终结的happen-before原则：线程中的所有操作都happen-before线程的终止检测。  
　　8. 对象创建的happen-before原则：一个对象的初始化完成先于他的finalize方法调用。  
**JMM只有在不出现上述8中情况时，才不会触发指令重排效果。**

不需要过分的关注happens-before原则，只需要可以写出线程安全的代码就可以。

### volatile ###

volatile实现解决指令重排的问题是添加内存屏障。

[f9003f078b13485a820f342bfdc2ecaf.png]: https://img-blog.csdnimg.cn/f9003f078b13485a820f342bfdc2ecaf.png