文章目录
Synchronized
Synchronized语义
- 进入同步块之前,先清空工作内存中的共享变量,从主内存中加载
- 解锁之前(出去同步代码块之前),必须把工作内存的共享变量 同步 到主内存**
Synchronized用法
-
对象锁
-
类锁
synchronized 影响内存的过程
- 一个线程在获取到监视器锁以后才能进入 synchronized 控制的代码块
- 进入代码块以后,该线程对于共享变量的缓存就会失效,synchronized 代码块中对于共享变量的读取需要从主内存中重新获取,也就能获取到最新的值
- 退出synchronized 代码块的时候的,会将该线程写缓冲区中的数据刷到主内存中,所以说synchronized 具有可见性。
线程 a 对于进入 synchronized 块之前或在 synchronized 中对于共享变量的操作,
对于后续的持有同一个监视器锁的线程 b 可见
volatile
volatile 保证了可见性、禁止重排序,但是不能保证线程安全
volatile语义
- 使用volatile时,必须重新从主内存中加载,并且read、load是连续的
- 修改volatile修饰的变量后,必须立即同步主内存,并且store、write是连续的
volatile适用场景
- 很明显,计数器不适用,volatile 并不能保证原子性
- Boolean的状态标志
- 比如温度检测系统,一个线程定时从硬件读取温度,保证其他线程总是能拿到最新的问题
- 一次性安全发布(one-time safe publication),双重检查锁定(double-checked-locking)问题
双重检查形式的单例模式为什么需要使用 volatile
private static SingletonTest instance = null;
private int num;
private SingletonTest() {
this.num = 1;
}
public static SingletonTest getInstance() {
if (instance == null) { // 1. 第一次检查
synchronized (SingletonTest.class) { // 2
if (instance == null) { // 3. 第二次检查
instance = new SingletonTest(); // 4
}
}
}
return instance;
}