Java线程与内存模型

        一、概述：

                        多任务处理的出现，最直接的原因是 客户端同时执行多项任务，提供效率。相对于计算机来说一个客观的原因就是 计算机的运算速度与它的存储和通信子系统速度差距太大。 在通信/数据库访问时的空闲时间中执行其他任务，就可以有效的挖掘计算机的处理能力，但这不是一定的，因为切换线程需要保持上下文的状态，这个消耗并不见得比等待时间短。这就需要有个 线程的任务调度系统。

                        衡量一个服务性能的高低好坏的标准 一个重要的指标就是 每秒事物处理数（Transactions Per Secord， TPS），即 每秒服务器端平均能响应的请求总数。

        二、Java内存模型

                       Java内存模型规定了 所有变量都存储在 主内存（Main Memory）中，每个线程都有自己的工作内存（Work Memory），线程的工作内存中保存了该线程使用变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存。不同线程间也无法直接访问对方工作内存中的变量，线程间变量值的传递需要通过主内存来完成。

                       

                      2.1 内存间交互操作

                             Java内存模型定义了8种操作来完成，工作内存与主内存间的同步。这些操作都是原子的，不可再分的。

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

                             unlock（解锁）：作用于主内存的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。

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

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

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

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

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

                             write（写入）：作用于主内存的变量，它把store操作从工作内存中得到的变量的值放入主内存的变量中。

                             执行这8种基本操作时还要满足如下规则：

                            1. 不允许read和load、 store和write操作之一单独出现。即 不允许一个变量从主内存读取了但工作内存不接受，或者从工作内存发起了回写但主内存不接受的情况出现。

                            2. 不允许线程丢弃它的最近的assign操作，即变量在工作内存中改变了之后必须把该变化同步回主内存。

                            3. 不允许线程无原因的把数据从线程的工作内存同步回主内存。 （没有发生过assign）

                            4. 一个新的变量只能在主内存中诞生，不允许在工作内存中直接使用一个未被初始化的的变量。即：对一个变量实施user、store之前，必须先执行assign和load操作。

                            5. 一个变量同一时刻只允许一个线程对它进行lock操作，但lock操作可以被同一线程重复执行多次，多次执行lock后，只有执行同样次数的unlock操作，变量才会被解锁。

                            6. 如果对一个变量执行load操作，将会清空工作内存中该变量的值。在执行引擎使用这个变量前，需要重新执行load或assign操作初始化变量的值

                            7. 如果一个变量没有被lock住，那就不允许对它执行unlock操作，也不允许去unlock一个被其他线程锁定住的变量。

                            8. 对一个变量执行unlock之前，必须先把此变量同步回主内存中（执行store、write操作）

                      2.2 对volatile变量的特殊规则

                             volatile是Java虚拟机提供的轻量级的同步机制。它具备两个特性：

                             1. 变量对所有线程的可见性。 当一个线程修改这个变量的值，新值对于其他线程是立即得知的。

                             2. 禁止指令重排序优化。

                             volatile只能保证可见性，在不符合以下规则的场景中扔要使用加锁 synchronized 来保证原子性：

                             1. 运算结果并不依赖变量的当前值，或者确保只有一个线程修改变量的值。 

                             2. 变量不需要与其他的状态变量共同参与不变约束

                             volatile 更适合标记在 boolean 变量上，来控制并发。

                             

                       2.3 对于long和double类型的特殊规则

                              Java内存模型要求lock、unlock、assign、read、load、use、store、write这8个操作都具有原子性。但64位数据类型（double、long）的读写操作可以划分为两次32位的操作。即：load、store、read和write可以不保证原子性。 然而在实际的商业虚拟机中 并不会这么做。

                       2.4 原子性、可见性和有序性

                              原子性（Atomicity）：由Java内存模型直接保证的原子操作：read、load、assign、use、store和write。更大范围的原子性保证，通过lock和unlock来满足，这两个操作Java虚拟机直接开放给用户，但隐式的通过字节码 monitorenter 和 monitorexit 来实现，也就是java代码的 synchronized 关键字

                              可见性（Visibility）：当一个线程修改了共享变量的值，其他线程能够立即得知这个修改。 volatile、synchronized、final都可以保证可见性。volatile通过 修改变量值后立即同步到主内存，读取前立即从主内存刷新 来实现。synchronized 通过锁机制实现。 final 在初始化完成后，就在线程中可见。

                              有序性（Ordering）：java的有序性可以总结为：如果在本线程内观察，所有操作都是有序的，在一个线程观察另一个线程，所有操作都是无序的。

                       2.5 先行发生原则

                              程序次序规则（Program Order Rule）：在同一线程中，按照程序代码顺序，书写在前面的操作先行发生。

                              管程锁定规则（Monitor Lock Rule）：一个unlock操作先行发生于后面对这个变量的读取操作。

                              volatile变量规则（Volatile Variable Rule）：对一个volatile变量的写操作先行发生于后面对这个变量的读操作。

                              线程启动规则（Thread Start Rule）：Thread对象的start方法先行发生于此线程的其他操作。

                              线程终止规则（Thread Termination Rule）：线程中的所有操作都先行发生于对此线程的终止检测。

                              线程中断规则（Thread Interruption Rule）：对线程interrupt（）方法的调用先行发生于被中断线程的代码检测到中断事件的发生。

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

                              传递性（Transitivity）：如果操作A先行发生于B，B先行发生于C，则A先行发生于C。

                                 

                               需要注意的是 先行发生 并不等同于 时间上的先发生。例如 两个线程对同一变量分别执行 setValue 和 getValue ，时间上的先后顺序并不能保证获取到的 value值。