volatile关键字:
1.能否保证volatile变量的可见性
2.不能保证volatile变量复合操作的原子性
volatile如何实现内存可见性:
通过加入内存屏障和禁止指令重排序优化来实现的。
对volatile变量执行写操作时,会在写操作后加入一条store屏障指令;
对volatile变量执行读操作时,会在读操作前加入一条load屏障指令。
通俗来讲:volatile变量在每次被线程访问时,都强迫从主内存中重读该变量的值,而该变量发生变化时,又会强迫线程将最新的值刷新到主内存。这样任何时刻,不同的线程总能看到该变量的最新值。
线程写volatile变量的过程:
1.改变线程工作内存中volatile变量副本的值
2.将改变后的副本的值从工作内存刷新到主内存
线程读volatile变量的过程:
1.从主内存中读取volatile变量的最新值到线程的工作内存中
2.从工作内存中读取volatile变量的副本
volatile不能保证volatile变量复合操作的原子性:
private int number = 0;
number++; // 不是原子操作
1.读取number的值
2.将number的值加1
3.写入最新的number的值
synchronized(this){
number++;
}
加入synchronized,变为原子操作
private volatile int number = 0;
变为volatile变量,无法保证原子性
保证number自增操作的原子性:
1.使用synchronized关键字
2.使用ReentrantLock
3.使用AtomicInteger
volatile使用注意事项:
要在多线程中安全得使用volatile变量,必须同时满足:
1.对变量的写操作不能依赖当前的值,number++ 、count = count * 5都不满足,boolean变量、温度变化满足
2.该变量没有包含在具有其它变量的不变式中
参考:
http://www.imooc.com/learn/352