java 并发存储,java并发编程——Java存储模型(JMM)

——仅作笔记使用，内容多摘自《java并发编程实战》

Java内存模型(JMM)

JMM是Java并发编程的基础，了解JMM，可以帮助我们对并发编程的机制有更深入的了解，在了解JMM之前，需要先了解平台的内存模型。

多处理器架构体系提供了不同级别的缓存一致性，有些只提供最小的保证，即允许不同的处理器在任何时刻在相同的存储位置看到不同的值(因为处理器会适当放宽对存储一致性的要求来换取性能的提升)。无论是操作系统、编译器、运行时、应用程序，都要弥合这些硬件与线程安全需求之间的不同。

在架构的内存模型中告诉应用程序可以从它的内存系统中获得何种保证，同时还定义了一些特殊指令称为内存栅栏(memory barriers)或栅栏(fences)，用以在需要共享数据时，得到额外的存储协调保证。为了帮助Java开发者屏蔽这些跨架构的内存模型之间的不同，Java提供了自己的内存模型，另JVM通过在适当的位置上插入内存栅栏，来解决JMM与底层平台内存模型之间的差异化。

JMM规定了JVM的一种最小保证：什么时候写入一个变量会对其他线程可见。

所以个人认为JMM大概可以理解为：在并发编程中，JMM对JVM提出规范，使得JVM在任何环境下，都能做出合理的底层操作，从而保证变量的可见性、操作的原子性和有序性。

偏序关系happens-before

由于重排序的原因，在没有进行正确同步的情况下，无法保证程序按照我们希望的顺序执行。JMM为应用程序中的所有操作定义了一个偏序关系，称为happens-before。要想保证操作B的线程看到操作A的结果(无论这两个操作是否处于一个线程中)，A、B就必须满足happens-before关系。如果不满足此关系，则JVM可以对它们进行随意地重排序。除此之外，当多线程涉及到对变量的读写时，若读写操作未按照happens-before排序，就会产生数据竞争。在正确同步的程序中不存在数据竞争，并会表现出串行一致性，意味着程序中的所有操作都会按照一种固定的和全局的顺序执行。happens-before的规则包括：

程序顺序规则：如果程序中操作A在操作B之前，则线程中操作A也将在操作B之前执行。

监视器锁规则：在监视器锁上的解锁操作必须在同一监视器锁的加锁操作之前执行。

volatile变量规则：对volatile变量的写入操作必须在对该变量的读操作之前执行。

线程启动规则：在一个线程里，对Thread.start的调用要发生在该线程执行任何操作之前。

线程结束规则：线程中的任何操作都必须在其他线程检测到该线程已经结束之前执行，或者从Thread.join中成功返回，或者在调用Thread.isAlive时返回false。

中断规则：一个线程调用另一个线程的interrupt时，必须在被中断线程检测到interrupt调用之前执行(通过抛出InterruptedException，或者调用isInterrupted和interrupted)之前。

终结器规则：一个对象的构造函数要在该对象的终结器finalizer执行之前完成。

传递性：如果A发生在B之前，B发生在C之前，则A发生在C之前。

这些操作仅仅需要满足偏序关系，但同步操作，如锁的获取与释放，volatile的读写需满足全序关系：当偏序集中任意两个操作都满足偏序关系的话，则称该偏序集满足全序关系。