浅谈Volatile

javavolatile
我们用一段简单的代码来开头
Java代码 收藏代码

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


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

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后把不正确的数据同步回主内存里。