JVM：JMM与线程

本文参考周志明老师的《深入理解Java虚拟机》

一.硬件的效率与一致性

二.JMM

1.主内存和工作空间

JMM主要是定义程序中各个变量访问规则。

所有变量都存储在主内存。每条线程还有自己的工作内容。线程工作内存中保存了被该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量。不同线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成。

2.内存间交互

八种原子操作:lock , unlock , read , load , use , assign , store , write。

先read后load，先store后write。

条件：

不允许read和load、store和write操作之一单独出现。

不允许一个线程丢弃它最近的assgin。

不允许一个线程没发生过任何assgin操作就把数据从线程的工作内存同步回主内存。

一个新的变量只能在主内存“诞生”。

一个变量在同一时刻只允许被一条线程lock。但该线程可对这个变量多次lock。有多少次lock就要有多少次unlock。

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

如果一个变量事先没有被lock操作锁定，就不允许对其unlock。也不允许去unlock一个被其他线程操作锁定住的变量。

对一个变量unlock前，一定要把他同步回主内存。

3.volatile行变量的特殊规则

volatile保证可见性而非原子性。

volatile禁止指令重排序优化。

volatile的三点规则：

a.工作内存中，每次是使用一个变量前都必须从主内存刷新最新的值，保证可见性。

b.工作内存中，每次是修改一个变量前都必须理科同步会主内存，保证其他线程对该变量可见性。

c.volatitle修饰的变量不会被指令重排序优化，保证代码执行顺序与程序相同。

4.对long、double，虚拟机可以不保证load、store、read、write的原子性。

5.可见性、原子性、有序性。

6.先行发生原则

它是判断数据是否存在竞争，线程是否安全的主要依据。

程序次序规则（更确定地说是控制流顺序）。

管程锁定规则。

volatile变量规则。

线程启动规则。

线程终止规则。

线程中断规则。

对象终结规则。

传递性。

注意：先行发生原则和时间先后顺序没有太大关系。

三.Java与线程

1.线程实现：

a.使用内核线程实现

b.使用用户线程实现

c.使用用户线程加轻量级线程混合实现

d.Java线程实现：

SunJDK：windows和linux版本使用的都是一对一线程模型实现，一条java线程就映射到一条轻量级进程之中。

2.Java线程调度

协同式调度、抢占时调度。

线程优先级。

3.状态转换