多线程编程核心技术读书笔记（二）：对象及变量的并发访问（volatile关键字）

并发编程中的三个概念
1.原子性
　　原子性：即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。
　　一个很经典的例子就是银行账户转账问题：
　　比如从账户A向账户B转1000元，那么必然包括2个操作：从账户A减去1000元，往账户B加上1000元。如果不具备原子性，则会发生错误；
2.可见性
　　可见性是指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。
3.有序性
　　有序性：即程序执行的顺序按照代码的先后顺序执行。
一般来说，处理器为了提高程序运行效率，可能会对输入代码进行优化，它不保证程序中各个语句的执行先后顺序同代码中的顺序一致，但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。虽然处理器会对指令进行重排序，但是它会保证程序最终结果会和代码顺序执行结果相同，因为处理器在进行重排序时是会考虑指令之间的数据依赖性。指令重排序不会影响单个线程的执行，但是会影响到线程并发执行的正确性。
要想并发程序正确地执行，必须要保证原子性、可见性以及有序性。只要有一个没有被保证，就有可能会导致程序运行不正确。
Java内存模型：
Java内存模型规定所有的变量都是存在主存当中（类似于前面说的物理内存），每个线程都有自己的工作内存（类似于前面的高速缓存）。线程对变量的所有操作都必须在工作内存中进行，而不能直接对主存进行操作。并且每个线程不能访问其他线程的工作内存。
Java语言 本身对 原子性、可见性以及有序性提供了一些保证：
1.原子性
　　在Java中，对基本数据类型的变量的读取和赋值操作是原子性操作，即这些操作是不可被中断的，要么执行，要么不执行。
2.可见性
　　对于可见性，Java提供了volatile关键字来保证可见性。
　　当一个共享变量被volatile修饰时，它会保证修改的值会立即被更新到主存，当有其他线程需要读取时，它会去内存中读取新值。
　　而普通的共享变量不能保证可见性，因为普通共享变量被修改之后，什么时候被写入主存是不确定的，当其他线程去读取时，此时内存中可能还是原来的旧值，因此无法保证可见性。
　　另外，通过synchronized和Lock也能够保证可见性，synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中。因此可以保证可见性。
3.有序性
　　在Java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。
　　在Java里面，可以通过volatile关键字来保证一定的“有序性”（具体原理在下一节讲述）。另外可以通过synchronized和Lock来保证有序性，很显然，synchronized和Lock保证每个时刻是有一个线程执行同步代码，相当于是让线程顺序执行同步代码，自然就保证了有序性。
另外，Java内存模型具备一些先天的“有序性”，即不需要通过任何手段就能够得到保证的有序性，这个通常也称为 happens-before 原则。如果两个操作的执行次序无法从happens-before原则推导出来，那么它们就不能保证它们的有序性，虚拟机可以随意地对它们进行重排序。

深入剖析volatile关键字
volatile关键字的两层语义
　　一旦一个共享变量（类的成员变量、类的静态成员变量）被volatile修饰之后，那么就具备了两层语义：
　　**1）保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。（有新的更改就会使这个共享变量的在其他线程中的缓存变为无效，强迫其他线程取取新的值）
　　2）禁止进行指令重排序。**
第一：使用volatile关键字会强制将修改的值立即写入主存；
　　第二：使用volatile关键字的话，当线程2进行修改时，会导致线程1的工作内存中缓存变量stop的缓存行无效（反映到硬件层的话，就是CPU的L1或者L2缓存中对应的缓存行无效）；
　　第三：由于线程1的工作内存中缓存变量stop的缓存行无效，所以线程1再次读取变量stop的值时会去主存读取。
1、volatile保证原子性吗？不保证
例子：多个线程调用包含i++的线程，使其增加，此时i为volatile，它只能保证每次都是取到最新的值，然而还是会发生错误。

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

　　然后线程2对变量进行自增操作，线程2也去读取变量inc的原始值，由于线程1只是对变量inc进行读取操作，而没有对变量进行修改操作，所以不会导致线程2的工作内存中缓存变量inc的缓存行无效，所以线程2会直接去主存读取inc的值，发现inc的值时10，然后进行加1操作，并把11写入工作内存，最后写入主存。
　　然后线程1接着进行加1操作，由于已经读取了inc的值，注意此时在线程1的工作内存中inc的值仍然为10，所以线程1对inc进行加1操作后inc的值为11，然后将11写入工作内存，最后写入主存。
　　那么两个线程分别进行了一次自增操作后，inc只增加了1。
解释：
public void increase(){
int tmp = inc; //1
tmp = tmp + 1; //2
inc = tmp; //3
}
两个线程A、B，初始值inc = 0；当线程A执行到2时，此时tmp=1，与此同时，B线程执行完所有操作，也就是说主内存中inc=1，此时线程A中的inc已经是无效的地址了（这是volatile的工作机制，文章中已经说明），但此时，线程A中的inc有效无效都已经对tmp变量没有任何影响了；此时线程A继续执行inc=tmp，此时发现inc的地址已经失效，有会从主内存中拷贝副本到A线程的运行内存中，也就说此时inc=1，执行inc=tmp后inc的值还是1，线程A将inc从线程内存中写回主内存，线程A运行结束。线程B早就运行结束了。那么此时主线程中的inc=1；
因此问题的根源在于操作自增不是原子性的！！
2、volatile能保证有序性
volatile关键字能禁止指令重排序，所以volatile能在一定程度上保证有序性。
volatile关键字禁止指令重排序有两层意思：
　　1）当程序执行到volatile变量的读操作或者写操作时，在其前面的操作的更改肯定全部已经进行，且结果已经对后面的操作可见；在其后面的操作肯定还没有进行；
　　2）在进行指令优化时，不能将在对volatile变量访问的语句放在其后面执行，也不能把volatile变量后面的语句放到其前面执行。

volatile的实现机制：
lock前缀指令实际上相当于一个内存屏障（也成内存栅栏），内存屏障会提供3个功能：
　　1）它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置，也不会把前面的指令排到内存屏障的后面；即在执行到内存屏障这句指令时，在它前面的操作已经全部完成；
　　2）它会强制将对缓存的修改操作立即写入主存；
　　3）如果是写操作，它会导致其他CPU中对应的缓存行无效。
使用volatile必须具备以下2个条件：
　　1）对变量的写操作不依赖于当前值
　　2）该变量没有包含在具有其他变量的不变式中
总结：使用volatile关键字增加了实例变量在多线程中的可见性，但是不支持原子性；

**volatile与synchronized比较：
1、volatile是线程同步的轻量级实现，volatile比synchronized性能好，volatile修饰变量，synchronized修饰代码块或者方法
2、多线程访问volatile不阻塞，synchronized会出现阻塞
3、volatile能保证数据可见性，但不保证原子性；synchronized保证原子性，也可以间接保证可见性（会将私有内存和共有内存做同步）
4、volatile解决变量在多个线程之间的可见性；synchronized解决多个线程之间访问资源的同步性；**

参考自：http://www.cnblogs.com/dolphin0520/p/3920373.html