👉 这是一个或许对你有用的社群
🐱 一对一交流/面试小册/简历优化/求职解惑,欢迎加入「芋道快速开发平台」知识星球。下面是星球提供的部分资料:
《项目实战(视频)》:从书中学,往事中“练”
《互联网高频面试题》:面朝简历学习,春暖花开
《架构 x 系统设计》:摧枯拉朽,掌控面试高频场景题
《精进 Java 学习指南》:系统学习,互联网主流技术栈
《必读 Java 源码专栏》:知其然,知其所以然
👉这是一个或许对你有用的开源项目
国产 Star 破 10w+ 的开源项目,前端包括管理后台 + 微信小程序,后端支持单体和微服务架构。
功能涵盖 RBAC 权限、SaaS 多租户、数据权限、商城、支付、工作流、大屏报表、微信公众号等等功能:
Boot 地址:https://gitee.com/zhijiantianya/ruoyi-vue-pro
Cloud 地址:https://gitee.com/zhijiantianya/yudao-cloud
视频教程:https://doc.iocoder.cn
来源:blog.csdn.net/Hellowenpan
/article/details/117750543
I)、指令重排序
1、问题描述
首先一定要明确:指令重排序和有序性是不一样的。这一点非常重要。
我们经常都会这么说:
volatile能保证内存可见性、禁止指令重排序但是不能保证原子性。
synchronized能保证原子性、可见性和有序性。
注意:这里的有序性并不是代表能禁止指令重排序。
举个例子:
在双重检查的单例模式中,既然已经加了synchronized为什么还需要volatile去修饰变量呢?如果synchronized能禁止指令重排,那么完全可以不用要volatile。
2、DCL代码字节码分析指令重排序问题
首先需要知道的知识点:Object obj = new Object();这句代码并不是一个原子操作,他分为三步:
在内存申请一片空间,new 出一个对象
调用new出的这个对象的构造方法
将这个对象的引用赋值给obj
a)、DCL双重检查代码
public class MySingleton {
private static MySingleton INSTANCE;
private MySingleton() {
}
public static MySingleton getInstance() {
if (INSTANCE == null) {
synchronized (MySingleton.class) {
if (INSTANCE == null) {
INSTANCE = new MySingleton();
}
}
}
return INSTANCE;
}
}
b)、字节码如下
![11a491f52f25ba79f6bf4a7757c7178a.png](https://i-blog.csdnimg.cn/blog_migrate/7b68b5e00fbe32c43d0cd31de9e109d2.png)
从字节码中可以看到,new MySingleton();
这句代码对应了17、20、21、24这四行字节码(20行是一个引用的拷贝,可以忽略)。
首先在17行在内存中开辟一块空间创建一个MySingleton对象。
然后在21行调用该对象的构造方法。
然后在24行将该对象的引用赋值给静态变量INSTANCE。
以上是我们期望的执行顺序,我们希望每个线程都按照该顺序去执行指令(这就是禁止指令重排序)。但是由于计算机为了提高运行效率,会将我们的指令顺序进行优化重排(比如上面的顺序可能会优化重排为:17、24、21)
指令重排序带来的问题
我们的计算机为了提升效率,会将我们的代码顺序做一些优化,比如在t1线程中的执行顺序是 17、24、21,在t2线程中执行的顺序是17、21、24 (在单个线程中不管是那种执行顺序都不会有问题)。
当t1线程获取到锁执行对象创建的时候,先执行了24行,将该对象的引用赋值给了静态变量INSTANCE(此时对象还没调用构造方法,该对象还不是一个完整的对象)。
此时t2线程开始运行了,当t2线程执行到
if (INSTANCE == null)
(第16行代码)语句的时候,t2线程发现INSTANCE不为空,此时t2线程直接返回INSTANCE对象。但是此时该对象还是一个不完整的对象,在t2线程使用该对象的时候就会出现问题。
所以说指令重排序在单线程中是不会有任何问题的,但是一旦涉及到多线程的情况,那么指令重排序可能会带来意想不到的结果。
基于 Spring Boot + MyBatis Plus + Vue & Element 实现的后台管理系统 + 用户小程序,支持 RBAC 动态权限、多租户、数据权限、工作流、三方登录、支付、短信、商城等功能
项目地址:https://github.com/YunaiV/ruoyi-vue-pro
视频教程:https://doc.iocoder.cn/video/
II)、有序性
那么既然synchronized不能禁止指令重排序,那么他保证的有序性是什么有序呢?
它的本质是让多个线程在调用synchronized修饰的方法时,由并行(并发)变成串行调用,谁获得锁谁执行。
1、代码示例
t1、t2两个线程都需要去获取单例对象,然后调用test方法,并且test方法是加了同步锁的方法。
public class MySingleton {
private static MySingleton INSTANCE;
private MySingleton() {
}
public static MySingleton getInstance() {
if (INSTANCE == null) {
synchronized (MySingleton.class) {
if (INSTANCE == null) {
INSTANCE = new MySingleton();
}
}
}
return INSTANCE;
}
public static void test(final MySingleton singleton) {
synchronized (MySingleton.class) {
System.out.println(singleton);
}
}
}
测试代码
public class MySingletonTest {
// 可以看到两个线程都需要去获取单例对象,然后调用test方法,并且test方法是加了同步锁的方法
public static void main(final String[] args) {
new Thread(() -> {
MySingleton instance = MySingleton.getInstance();
MySingleton.test(instance);
}, "t1").start();
new Thread(() -> {
MySingleton instance = MySingleton.getInstance();
MySingleton.test(instance);
}, "t2").start();
}
}
即使是t2线程获得了未调用构造函数的对象,那么在t2线程中再去调用MySingleton.test(instance);
方法的时候,也并不会出现任何问题,因为使用了同步锁,每个一加锁执行的方法都变成了串行,将并发执行变成了串行,当t2线程获取到锁然后执行的时候,t1早已经释放了锁,此时instance也已经早就被实例化好了。所以不会出现问题。
所以synchronized保证顺序性是指的将并发执行变成了串行,但并不能保证内部指令重排序问题。
欢迎加入我的知识星球,全面提升技术能力。
👉 加入方式,“长按”或“扫描”下方二维码噢:
星球的内容包括:项目实战、面试招聘、源码解析、学习路线。
文章有帮助的话,在看,转发吧。
谢谢支持哟 (*^__^*)