Java中long和double赋值不是原子操做,由于先写32位,再写后32位,分两步操做,这样就线程不安全了。若是改为下面的就线程安全了
private volatile long number = 8;
那么,为何是这样?volatile关键字难道能够保证原子性?
java程序员很熟悉的一句话:volatile仅仅用来保证该变量对全部线程的可见性,但不保证原子性。可是咱们这里的例子,volatile彷佛是有时候能够代替简单的锁,彷佛加了volatile关键字就省掉了锁。这不是互相矛盾吗?java
其实若是一个变量加了volatile关键字,就会告诉编译器和JVM的内存模型:这个变量是对全部线程共享的、可见的,每次jvm都会读取最新写入的值并使其最新值在全部CPU可见。因此说的是线程可见性,没有提原子性。程序员
下面咱们用一个例子说明volatile没有原子性,不要将volatile用在getAndOperate场合(这种场合不原子,须要再加锁,如i++),仅仅set或者get的场景是适合volatile的。
例如你让一个volatile的integer自增(i++),其实要分红3步:1)读取volatile变量值到local; 2)增长变量的值;3)把local的值写回,让其它的线程可见。这3步的jvm指令为:缓存
mov 0xc(%r10),%r8d ; Load inc %r8d ; Increment mov %r8d,0xc(%r10) ; Store lock addl $0x0,(%rsp) ; StoreLoad Barrier
注意最后一步是内存屏障。
什么是内存屏障(Memory Barrier)?
内存屏障(memory barrier)是一个CPU指令。基本上,它是这样一条指令: a) 确保一些特定操做执行的顺序; b) 影响一些数据的可见性(多是某些指令执行后的结果)。编译器和CPU能够在保证输出结果同样的状况下对指令重排序,使性能获得优化。插入一个内存屏障,至关于告诉CPU和编译器先于这个命令的必须先执行,后于这个命令的必须后执行。内存屏障另外一个做用是强制更新一次不一样CPU的缓存。例如,一个写屏障会把这个屏障前写入的数据刷新到缓存,这样任何试图读取该数据的线程将获得最新值,而不用考虑究竟是被哪一个cpu核心或者哪颗CPU执行的。安全
内存屏障(memory barrier)和volatile什么关系?上面的虚拟机指令里面有提到,若是你的字段是volatile,Java内存模型将在写操做后插入一个写屏障指令,在读操做前插入一个读屏障指令。这意味着若是你对一个volatile字段进行写操做,你必须知道:一、一旦你完成写入,任何访问这个字段的线程将会获得最新的值。二、在你写入前,会保证全部以前发生的事已经发生,而且任何更新过的数据值也是可见的,由于内存屏障会把以前的写入值都刷新到缓存。
下面的测试代码能够实际测试voaltile的自增没有原子性:jvm
/** * Created by lhw on 16-7-29. */ public class Demo { private static volatile long _longVal = 0; public static void main(String[] args) { Thread t1 = new Thread(new LoopVolatile()); t1.start(); Thread t2 = new Thread(new LoopVolatile2()); t2.start(); while (t1.isAlive() || t2.isAlive()) { } System.out.println("final val is: " + _longVal); } private static class LoopVolatile implements Runnable { public void run() { long val = 0; while (val < 10000000L) { _longVal++; val++; } } } private static class LoopVolatile2 implements Runnable { public void run() { long val = 0; while (val < 10000000L) { _longVal++; val++; } } } } 第一次结果:final val is: 18683425 第二次结果:final val is: 15542661 第三次结果:final val is: 18549393
很明显,输出结果不一致,说明volatile不能保证原来子性。oop