1.什么是volatile呢
volatile是Java虚拟机提供的最轻量级的同步机制
2.volatile的两大特性(两大语义)
可见性和有序性,没有原子性。
3.volatile的可见性如何实现
volatile定义:
- 当volatile执行写操作后,JMM会把工作内存中的最新变量值强制刷新到主内存中
- 并且写操作会让其他线程中的变量缓存无效化
这样,其他线程使用缓存时,发现本地工作内存中此变量无效,便从主内存中获取,这样获取到的变量就是最新的值,实现了线程的可见性。
4.volatile如何实现有序性
volatile是通过编译器在生成字节码时,在指令序列中添加内存屏障来静止指令重排序。
LoadLoad Barriers
//读操作
volatile
LoadStore Barriers
StoreStore Barries
//写操作
volatile
StoreLoad Barries
5.为什么volatile没有实现原子性
严格来说,对任意的单个volatile变量的读/写具有原子性,但类似于volatile++这种复合操作不具有原子性。
6.如何用volatile实现单例模式(双重检查锁定与延迟初始化)
基于volatile的解决方案
public class SafeDoubleCheckedLocking{
private volatile static Instance instance;
public static Instance getInstance(){
if(instance==null){
synchronized(SafeDoubleCheckedLocking.class){
if(instance==null){
instance = new Instance();
}
}
}
}
}
volatile主要包含两个功能:
- 保证可见性。使得volatile定义的变量,将会保证对所有线程的可见性。
- 禁止指令重排序。由于volatile禁止对象创建指令之间重排序,所以其他线程不会访问到一个未初始化的对象,从而保证安全性。
还可以基于类初始化的解决方案
JVM在类的初始化阶段(即在Class加载后,且被线程使用之前),会执行类的初始化。在执行类的初始化期间,JVM会去获取一个锁,这个锁可以同步多个线程对同一个类的初始化。
public class InstanceFactory(){
private static class InstanceHolder{
public static Instacne instance = new Instacne();
}
}
7.volatile在JDK1.7的优化
Doug Lea在JDK7的并发包里新增了一个队列集合类LinkedTransferQueue,它在使用volatile变量时,用一种追加字节的方式来优化队列出队和入队的性能。
将共享变量追加到64字节。
这样子队列的头节点和尾节点就不在同一个缓冲行上了,头节点 和尾节点修改时不会互相锁定。