Java内存模型与虚拟机并发中的三种特性与先行先发生原则

Java内存模型（JMM）

Java内存模型的主要目的是定义程序中各种变量的访问规则，即关注在虚拟机中把变量值存储到内存和从内存中取出变量值这样的底层细节。此处的变量包括了实例字段，静态字段和构成数组对象的元素，但是不包括局部变量与方法参数，因为后者是线程私有的，不会被共享。
Java内存模型规定了所有的变量都存储在主存中，是虚拟机内存的一部分。每条线程还有自己的工作内存，线程的工作内存中保存了被该线程使用的变量的主内存副本，线程对变量的所有操作（读取，赋值等）都必须在工作内存中进行，而不能直接写主存中的数据。不同线程之间也无法访问对方工作内存中的变量，线程间变量的传递需要通过主存来完成。
线程，主内存，工作内存三者的关系：

内存交互的八种操作

• lock（锁定）作用于主内存的变量
• unlock（解锁）作用于主内存的变量
• read（读取）作用于主内存的变量
• load（载入）作用于工作内存的变量
• use（使用）作用于工作内存的变量
• assign（赋值）作用于工作内存的变量
• store（存储）作用于工作内存的变量
• write（写入）作用于主内存的变量

volatile

当一个变量被定义成volatile之后，它具备两种特性，第一项保证此变量对所有线程的可见性，第二项禁止指令重排序优化。
可见性：当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的。普通变量只可以通过主内存来完成。
由于volatile变量只能保证线程的可见性，在不符合一下两条规则的运算场景中，仍要通过加锁（使用synchronized、java.util.concurrent中的锁或原子类）来保证原子性：

1. 运算结果并不依赖变量的当前值，或者能够确保只有单一的线程修改变量的值。
2. 变量不需要与其他的状态变量共同参与不变约束。

并发中三种重要特性

原子性

大致可以认为，基本数据类型的访问，读写都是具有原子性的（例外的是long，double非原子性协议），如果需要更大范围的原子性，可在代码中使用synchronized关键字。

可见性

当一条线程修改了共享变量的值，其他线程能够立刻发现这个修改。
Java内存模型是通过在变量修改后将新值同步回主内存，在变量读取前已从主内存刷新变量值这种依赖主内存作为传输媒介的方式来实现可见性。
Java中synchronized与final也可实现可见性。
同步代码块的可见性是由：对一个变量执行unlock之前，必须先把此变量同步回主内存中。
final关键字的可见性：被final修饰的字段在构造器中一旦被初始化完成，并且构造器没有把“this”的引用传递出去，那么其他线程就可以看见final字段的值。

有序性

如果在本线程内观察，所有的操作都是有序的，如果在一个线程中观察另一个线程，所有的操作都是无序的。

先行先发生原则

1. 程序次序规则：按照书写在前的操作先发生
2. 管程锁定规则：对于用一个锁，unlock要先发生于lock
3. volatile变量规则：一个volatile的写操作要先发生于volatile的读操作。
4. 线程启动规则：Thread对象的start()方法先发生于此线程的每一个动作
5. 线程终止规则：线程中的所有操作的先发生于终止操作
6. 线程中断规则：对线程interrupt()方法的调用线性发生于被中断线程的代码检测到中断时间的发生
7. 对象终结规则：一个对象的初始化先行发生与它的finalize()方法
8. 传递性：如果A先于B，B先于C，则A先于C