并发编程的三个重要特性
原子性:一次操作或多次操作,要么所有的操作全部得到执行并且不会受到任何因素的干扰而中断,要么所有的操作都不执行。sychronized可以保证代码片段的原子性。
可见性:当一个线程对共享变量进行了修改,另外的所有线程都可以立即看到修改后的最新值,volatile关键字可以保证共享变量的可见性。
有序性:禁止java编译器对代码进行重排序优化,volatile关键字可以禁止指令重排序
volatile关键字的作用:
为了提高程序的处理速度,CPU Cache中会缓存内存数据供CPU使用。CPU要使用内存中的数据时先在缓存中查找,找到了就直接使用,否则才去内存中找。如果一个线程A使用的CPU的某个核心Core1用到了内存中的某个数据Data,另一个线程B使用的CPU的某个核心core2也使用到了内存中的数据Data。这时候core1 和 core2的缓存中都有一份Data的拷贝,如果A先对Data数据做了修改,并且还没有将修改后的Data放回内存,此时core2本应该拿到修改后的新Data,但实际上使用的是缓存中的旧Data,就会出现缓存一致性的问题。
如果把Data声明为volatile,这就指示JVM,这个变量是共享且不稳定的,每次使用它都到主存中进行读取。
这也是懒汉式的单例模式中为什么要把对象声明为volatile
懒汉式单例模式:
public class ST {
private static volatile ST st = null;
private ST() {
}
public static ST getInstance() {
if (st == null) {
synchronized (ST.class) {
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
if(st == null){
st = new ST();
}
}
}
return st;
}
}