浅谈Volatile

我们用一段简单的代码来开头

public int i = 0;
public void increase(){ 
    i++;
}
//getter

    以上这段代码在多线程高并发的状态下能否保证所取得的i是所期待的值，答案肯定是不能的，因为对JAVA来说数据的操作是非原子性的。还有的就是部份人认为给变量i加上volatile关键字就能保证了数据操作的原子性，这显然是错误的。要记住volatile关键字只保证其可见性，也就是说当某线程修改了i的值，修改后的值对其它线程来说是立即可见的。下面我们分析通过increase()方法的字节码来解释。

 public void increase();
 public void increase();
    flags: ACC_PUBLIC
    Code:
     stack=3, locals=1, args_size=1
        0: aload_0
        1: dup
        2: getfield      #2                  // Field i:I
        5: iconst_1
        6: iadd
        7: putfield      #2                  // Field i:I
       10: return
     LineNumberTable:
       line 5: 0
       line 6: 10

    编号2到7这几行指令就是i++;的，首先getfield获取到了i的值并把它压入栈顶，在这里如果i变量有加volatile关键字，则能保证i的正确性，因为无论之前有几个线程对i作了修改，它总是能够第一时间得知。如果是普通变量的话，比如A线程对变量i修改完新值后要把它重写回主内存中，其它线程要想得知i的新值要在A线程重写回主内存之后，对这感兴趣的可以看下主线程和工作线程相关的内容。 接下来就是引发问题的关键之处了，假如当A线程准备执行相加指令时，其它线程已经把i值修改了，而A线程的操作数栈顶的值已经变为脏数据了，在执行putfield后把不正确的数据同步回主内存里。

评论

1 楼 Gradawen 2012-09-21  

嘻嘻，那有什么办法可以解决这种问题，如果volatile不能做到的话...其实= =volatile我都没用过~