对volatile关键字盲点感悟

volatile（可见性）关键字的两层语义

　　一旦一个共享变量（类的成员变量、类的静态成员变量）被volatile修饰之后，那么就具备了两层语义：

　　1）保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。

　　2）禁止进行指令重排序。

可见性。。。。

其他的内容都不在这里重复了，只是记下一个认知盲点来提醒自己。

假如：某个时刻变量inc的值为10，

　　线程1对变量进行自增操作，线程1先读取了变量inc的原始值，然后线程1被阻塞了；

　　然后线程2对变量进行自增操作，线程2也去读取变量a的原始值，由于线程1只是对变量a进行读取操作，而没有对变量进行修改操作，所以不会导致线程2的工作内存中缓存变量a的缓存行无效，所以线程2会直接去主存读取a的值，发现a的值时10，然后进行加1操作，并把11写入工作内存，最后写入主存。

　　然后线程1接着进行加1操作，由于已经读取了a的值，注意此时在线程1的工作内存中a的值仍然为10，所以线程1对a进行加1操作后inc的值为11，然后将11写入工作内存，最后写入主存。

　　那么两个线程分别进行了一次自增操作后，a只增加了1。

　　解释到这里，可能有朋友会有疑问，不对啊，前面不是保证一个变量在修改volatile变量时，会让缓存行无效吗？然后其他线程去读就会读到新的值，对，这个没错。这个就是上面的happens-before规则中的volatile变量规则，但是要注意，线程1对变量进行读取操作之后，被阻塞了的话，并没有对a值进行修改。然后虽然volatile能保证线程2对变量inc的值读取是从内存中读取的，但是线程1没有进行修改，所以线程2根本就不会看到修改的值。

　　根源就在这里，jdk1.5之前自增操作并不是原子性操作，而且volatile也无法保证对变量的任何操作都是原子性的。

相信你读到这里会产生一个疑问：

线程2修改了inc的值，为什么没有将线程1缓存的inc失效，而是线程1继续使用阻塞之前读到的inc的值？

解答：你必须要了解，java语言的指令集是一门基于栈的指令集架构。也就是说它的数值计算是基于栈的。比如计算inc++,翻译成字节码就会变成：

0: iconst_1

1: istore_1

2: iinc 1, 1

0：的作用是把1放到栈顶

1：的作用是把刚才放到栈顶的1存入栈帧的局部变量表

2：的作用是对指令后面的1 ，1相加

由第0：步可以看到，当指令序列将操作数存入栈顶之后就不再会从缓存中取数据了，那么缓存行无效也就没有什么影响了。