《深刻理解java虚拟机-高效并发》读书笔记

Java内存模型与线程

概述

　　多任务处理在现代计算机操做系统中几乎已经是一项必备的功能，多任务运行是压榨手段，就如windows同样，咱们使劲的压榨它运行多个任务，俱要high又要耍。并发则是另一种更具体的应用场景。每秒事物处理数（Transactions per Second,tps）是最重要的指标。开发人员应该了解与运用并发。

硬件的效率与一致性

　　除了有软件上的并发，物理计算机也有并发问题。计算机的存储设备与处理器运算速度有几个数量级的差距，现代计算机都不得不加入一层高速缓存来做为内存与处理器之间的缓冲，这样可以提高处理速度。基于高速缓存解决了处理器与内存的速度矛盾，可是也提升了计算机系统复杂度，带来了缓存一致性问题。在多处理器系统中，每一个处理器有本身的高速缓存，而它们又共享同一个主内存。如图：

　　多个处理器的任务都涉及同一块主内存区域时，将可能致使各自的缓存数据不一致。为了解决这种一致性的问题，须要各个处理器访问缓存时都遵循一些协议，在操做时要根据协议来进行操做，这类协议有MSI、MESI(Illinois Protoclo)、MOSI、Synapse、Firefly以及Dragon Protocal等。

　　除了增长高速缓存以外，为了使处理器获得充分利用，处理器可能会对输入代码进行乱序执行（Out-of-Order Execution）优化，处理器以后会对乱序执行的结果重组，保证与顺序执行的结果是一致的，不保证各个语句计算的前后顺序因为输入代码中顺序一致。这样致使的结果是一个计算任务依赖于另一个计算任务的中间结果，其顺序性不能依靠代码的顺序性来保存。Java中也存在相似的指令重排序（Instruction Reorder）优化。

java内存模型

　　Java虚拟机规范中试图定义一直java内存模型来屏蔽各类硬件和操做系统的内存访问差别，以实现让java程序在各类平台下都可以达到一致的内存访问效果。定义内存模型不是一件容易的事情，要足够严谨足够宽松。严谨是为并发内存操做不会产生歧义，宽松是为有足够空间去利用各类硬件的特性。

主内存与工做内存

　　Java内存模型规定全部的变量的存储在主内存中，主内存是java虚拟机内存的一部分，每一个线程还有本身的工做内存。线程的工做内存保存了被该线程使用到的变量的主内存副本拷贝，线程对变量的全部操做都必须在工做内存中进行，而不能直接操做主内存。不一样线程之间相互隔离。线程间变量值的传递须要经过主内存完成。三者关系以下：

　　这里的主内存、工做内存与Java内存区域的Java堆、栈、方法区不是同一层次内存划分。

内存间交互操做

　　关于主内存与工做内存之间具体的交互协议，java内存模型定义了如下8种操做来完成。

　　　　lock（锁定）：做用于主内存的变量，把一个变量标识为一条线程独占状态。

　　　　unlock（解锁）：做用于主内存变量，把一个处于锁定状态的变量释放出来，释放后的变量才能够被其余线程锁定。

　　　　read（读取）：做用于主内存变量，把 一个变量值从主内存传输到线程的工做内存中，以便随后的load动做使用

　　　　load（载入）：做用于工做内存的变量，它把read操做从主内存中获得的变量值放入工做内存的变量副本中。

　　　　use（使用）：做用于工做内存的变量，把工做内存中的一个变量值传递给执行引擎，每当虚拟机遇到一个须要使用变量的值的字节码指令时将会执行这个操做。

　　　　assign（赋值）：做用于工做内存的变量，它把一个从执行引擎接收到的值赋值给工做内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操做。

　　　　store（存储）：做用于工做内存的变量，把工做内存中的一个变量的值传送到主内存中，以便随后的write的操做。

　　　　write（写入）：做用于主内存的变量，它把store操做从工做内存中一个变量的值传送到主内存的变量中。

　　若是要把一个变量从主内存中复制到工做内存，就须要按顺寻地执行read和load操做，若是把变量从工做内存中同步回主内存中，就要按顺序地执行store和write操做。Java内存模型只要求上述操做必须按顺序执行，而没有保证必须是连续执行。也就是read和load之间，store和write之间是能够插入其余指令的，如对主内存中的变量a、b进行访问时，可能的顺序是read a，read b，load b， load a。Java内存模型还规定了在执行上述八种基本操做时，必须知足以下规则：

　　①　不容许read和load、store和write操做之一单独出现

　　②　不容许一个线程丢弃它的最近assign的操做，即变量在工做内存中改变了以后必须同步到主内存中。

　　③　不容许一个线程无缘由地（没有发生过任何assign操做）把数据从工做内存同步回主内存中。

　　④　一个新的变量只能在主内存中诞生，不容许在工做内存中直接使用一个未被初始化（load或assign）的变量。即就是对一个变量实施use和store操做以前，必须先执行过了assign和load操做。

　　⑤　一个变量在同一时刻只容许一条线程对其进行lock操做，lock和unlock必须成对出现

　　⑥　若是对一个变量执行lock操做，将会清空工做内存中此变量的值，在执行引擎使用这个变量前须要从新执行load或assign操做初始化变量的值

　　⑦　若是一个变量事先没有被lock操做锁定，则不容许对它执行unlock操做；也不容许去unlock一个被其余线程锁定的变量。

　　⑧　对一个变量执行unlock操做以前，必须先把此变量同步到主内存中（执行store和write操做）。

对于volatitle型变量的特殊规则

　　关键字volatitle是java虚拟机提供的轻量级的同步机制，正确、完整的理解它有难度。了解volatitle关键字对了解多线程操做的其余特征颇有意义。volatitle关键字定义的变量有2种特性：

　　　　第一种保证此变量对全部线程的可见性。

　　　　第二种是禁止指令重排序优化。

　　volatitle变量只能保证可见性，在不符合如下2条规则的运算场景中，咱们仍然须要经过加锁来保证原子性：

　　　　①　运算结果不依赖变量的当前值，或者可以保证只有单一的线程修改变量的值。

　　　　②　变量不须要与其余的状态变量共同参与不变约束。

　　volatitle修饰的变量关键变化是多执行了一个“lock addl $0x0,(%esp)”操做，这个操做至关于一个内存屏障（Memory Barrier或Memory Fence,重排序不能把后面的指令重排序到内存屏障位置以前）

　　为何选择volatitle(在必定状况下)？

　　　　在读操做的性能消耗与普通变量几乎没什么区别，在写操做慢一些。虚拟机对锁有许多消除与优化。volatitle关键字就介于普通变量与锁之间。

对于long和double型变量的特殊规则

　　Java内存模型lock、unlock、read、load、assign、user、store、write这8个操做都有原子性，可是java内存模型将没有被volatile修饰的64位的数据的读写操做划分为两次32为的操做来进行，这样的话，多线程并发，就会存在线程可能读取到“半个变量”的值，不过，这种状况很是罕见，目前各平台的商用虚拟机几乎都选择把64位的读写做为原子操做来实现规范的。

原子性、可见性与有序性

　　原子性：原子性是指在一个操做中就是cpu不能够在中途暂停而后再调度，既不被中断操做，要不执行完成，要不就不执行。

　　可见性：可见性就是指当一个线程修改了线程共享变量的值，其它线程可以当即得知这个修改。

　　有序性：Java内存模型中的程序自然有序性能够总结为一句话：若是在本线程内观察，全部操做都是有序的；若是在一个线程中观察另外一个线程，全部操做都是无序的。前半句是指“线程内表现为串行语义”，后半句是指“指令重排序”现象和“工做内存中主内存同步延迟”现象。

先行发生原则（Happens-Before）

　　先行发生原则（Happens-Before）是判断数据是否存在竞争、线程是否安全的主要依据。先行发生是Java内存，模型中定义的两项操做之间的偏序关系，若是操做A先行发生于操做B，那么操做A产生的影响可以被操做B观察到。

　　Java内存模型中存在的自然的先行发生关系：

　　　　1. 程序次序规则：同一个线程内，按照代码出现的顺序，前面的代码先行于后面的代码，准确的说是控制流顺序，由于要考虑到分支和循环结构。

　　　　2. 管程锁定规则：一个unlock操做先行发生于后面（时间上）对同一个锁的lock操做。

　　　　3. volatile变量规则：对一个volatile变量的写操做先行发生于后面（时间上）对这个变量的读操做。

　　　　4. 线程启动规则：Thread的start( )方法先行发生于这个线程的每个操做。

　　　　5. 线程终止规则：线程的全部操做都先行于此线程的终止检测。能够经过Thread.join( )方法结束、Thread.isAlive( )的返回值等手段检测线程的终止。 

　　　　6. 线程中断规则：对线程interrupt( )方法的调用先行发生于被中断线程的代码检测到中断事件的发生，能够经过Thread.interrupt( )方法检测线程是否中断

　　　　7. 对象终结规则：一个对象的初始化完成先行于发生它的finalize（）方法的开始。

　　　　8. 传递性：若是操做A先行于操做B，操做B先行于操做C，那么操做A先行于操做C。

　　总结：一个操做“时间上的先发生”不表明这个操做先行发生；一个操做先行发生也不表明这个操做在时间上是先发生的（重排序的出现）。时间上的前后顺序对先行发生没有太大的关系，因此衡量并发安全问题的时候不要受到时间顺序的影响，一切以先行发生原则为准。