Java线程安全中的有序性浅析
什么是有序性
在开发中，我们通常按照从上到下的顺序编写程序指令，并且希望cpu和编译器按照我们预先编写的顺序去执。但往往cpu和编译器为了提高性能、优化指令的执行顺序，会将我们编写好的程序指令进行重排序。
此时如果是在单线程状态下，无论是否进行了重排序都不会影响程序最终的结果
而有序性是指在多线程环境下就可能会由于程序指令重排序后导致最终结果与预期不符的情况
我们以单例模式中的双重检验锁为例
利用new关键字创建一个对象实际上是执行了三个操作
- 分配内存空间
- 在内存上(执行构造方法)初始化对象
- 将初始化后的对象提交给引用(对象引用指向分配好的内存空间地址)
但是当我们在运行程序时，编译器对程序进行重排序优化，经常会将2和3两个步骤进行调换。
// 双重检验锁
public class Singleton {
static Singleton instance;
static Singleton getInstance(){
if (instance == null){
synchronized(Singleton.class){
if (instance == null){
instance = new Singleton();
}
}
}
return instance;
}
}
上述双重检验锁，在第一次校验instance是否为null时如果不为null，则不用进行后续的初始化的下面的加锁操作，大幅的提高了synchronized的性能。但是在多线程状态下执行上述创建对象的程序，就可能会出现创建的对象instance虽然不为null，但是它可能还没有初始化但是却指向了某片内存空间。
我们就下图进行分析
我们假设A和B两条线程同时创建对象，那么上述的A线程创建instance时为其分配内存空间，正确来讲应该先对instance进行初始化然后将内存地址交给instance，但是由于重排序，却在初始化之前提交了内存地址。那么当线程切换到B，B就会认为instance是一个创建完成的对象就会返回。
双重检验锁的有序性就体现在，创建对象的三个操作被重排序之后可能执行顺序会变成先提交内存地址再初始化导致对象创建失败
解决有序性？
- Volatile修饰保证有序性
- 使用Synchtonized加锁保证有序性
- 使用Lock加锁保证有序性
到此这篇关于Java线程安全中的有序性浅析的文章就介绍到这了,更多相关Java线程有序性内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
这篇文章主要介绍了java正则表达式的应用，应用的内容是java读取文件并获取电话号码，感兴趣的小伙伴们可以参考一下2015-11-11
本篇是Hadoop源码分析系列文章第二篇，主要介绍Hadoop安装配置的详细过程，后续本系列文章会持续更新，有需要的朋友可以借鉴参考下2021-09-09
这篇文章主要介绍了Java8的stream().map()用法详解,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教2025-03-03
Redis command timed out两种异常情况的解决方式
Redis是我们开发中常用的数据库,下面这篇文章主要给大家介绍了关于Redis command timed out两种异常情况的解决方式,文中通过实例代码介绍的非常详细,需要的朋友可以参考下2023-04-04
之前用的社区版IDEA无法部署JavaWeb项目,于是装了一个最新版的IDEA,下面这篇文章主要给大家介绍了关于2023最新版IDEA创建javaweb项目的详细图文教程,文中通过图文介绍的非常详细,需要的朋友可以参考下2023-06-06
本文主要介绍了spring boot 实现token验证登陆状态,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧2024-07-07
这篇文章主要介绍了idea 如何查找类中的某个方法，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧2021-02-02
这篇文章主要介绍了Java之MyBatis入门详解，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教2022-12-12
这篇文章主要介绍了详解如何解决SSM框架前台传参数到后台乱码的问题,小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧2017-12-12
es查询有一个很常用的一种叫聚合查询,相当于mysql中的分组group by 后拿各组数量进行统计,实现起来也是很简单,下面这篇文章主要给大家介绍了关于ES结合java代码聚合查询的相关资料,需要的朋友可以参考下2023-05-05
最新评论