一、关键字volatile(易变的):
1、保证了多线程操作的可见性;
2、但是无法保证对变量的任何操作都是原子性的(如自增操作);
3、禁止指令重排序,能在一定程度上保证有序性;
禁止指令重排序规则:
1、多个volatile操作之间不会重排序;
2、多条volatile操作作为指令段分界点,指令优化重排序只在指令段内部进行,即volatile操作执行时其前面语句都执行完毕,且结果可见;
volatile的原理和实现机制:
“观察加入volatile关键字和没有加入volatile关键字时所生成的汇编代码发现,加入volatile关键字时,会多出一个lock前缀指令。”——摘自《深入理解Java虚拟机》
lock前缀指令实际上相当于一个内存屏障(也成内存栅栏)
多线程操作的可见性:
1、每个线程都有自己的内存,线程1在运行前会先将stop变量copy一份到自己的内存里(每个线程都有自己的work memory, 而且共享一个main memory);
2、线程2修改了stop变量后还没来得及写入内存(那么这个时候是放在哪里??参见下一条),线程2转区干别的事情了;
3、使用volatile关键字修饰后的stop变量:
第一:使用volatile关键字会强制将修改的值立即写入主存;
第二:使用volatile关键字的话,当线程2进行修改时,会导致线程1的工作内存中缓存变量stop的缓存行无效(反映到硬件层的话,就是CPU的L1或者L2缓存中对应的缓存行无效);
第三:由于线程1的工作内存中缓存变量stop的缓存行无效,所以线程1再次读取变量stop的值时会去主存读取。
synchronized与volatile:
1、synchronized关键字是防止多个线程同时执行一段代码,那么就会很影响程序执行效率,而volatile关键字在某些情况下性能要优于synchronized;
2、但是要注意volatile关键字是无法替代synchronized关键字的,因为volatile关键字无法保证操作的原子性。
a.线程获得互斥锁(monitor)
b.清空工作内存
c.从主内存拷贝共享变量最新的值到工作内存成为副本
d.执行代码
e.将修改后的副本的值刷新回主内存中
f.线程释放锁
volatile使用场景:
通常来说,使用volatile必须具备以下2个条件:
1)对变量的写操作不依赖于当前值;
2)该变量没有包含在具有其他变量的不变式中;
refer:
1、Java并发编程:volatile关键字解析(信息量对我这java半吊子略大,需要重读几次,另文章内容正确性也未做判断)
http://www.cnblogs.com/dolphin0520/p/3920373.html