volatile关键字:
1)能够保证volatile变量的可见性
2)不能保证volatile变量复杂操作的原子性。
volatile如何实现内存可见性:
深入来说:通过加入内存屏障和禁止重排序优化来实现的。
1)对volatile变量执行写操作时,会在写操作后加入一条store屏障指令
2)对volatile变量执行读操作时,会在读操作前加入一条load屏障执行
通俗来讲:volatile变量在每次被线程访问时,都强迫从主内存中重读该变量的值,而当该变量发生变化时,又会强迫线程将最新的值刷新到主内存。
这样任何时刻,不同的线程总能看到该变量的最新值。
线程写volatile变量的过程:
1,改变线程工作内存中volatile变量副本的值
2,将改变后的副本从工作内存刷新到主内存。
线程读volatile变量过程:
1)从主内存读取volatile变量的最新值到线程工作内存中
2)从工作内存读取volatile变量的副本
volatile不能保证volatile变量符合操作的原子性:
pirvate int number=0; number++; 不是原子操作
number++不是原子操作,它实际上包含三步:
1)读取number的值
2)将number的值加1
3)写入最新的number的值。
synchronized(this)
{
number++;
}
加入synchronized,变为原子操作(number++分解出来的三步操作,只能被一个线程执行完后才能被另一个线程执行,而不能几个线程同时交叉执行这
三步操作,这就实现了原子性)。
private volatile int number=0;
变为volatile变量,无法保证原子性。