共计 2724 个字符，预计需要花费 7 分钟才能阅读完成。
主内存与工作内存
Java 内存模型的次要指标是定义程序中各个变量的拜访规定，即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。此处的变量包含实例变量、动态字段和形成数组对象的元素，但不包含局部变量与办法参数，因为局部变量与办法参数是线程公有的，不会被共享，不会存在竞争问题。
Java 内存模型规定了所有变量都存储在主内存中。每条线程还有本人的工作内存，线程的工作内存中保留了被该线程应用到的变量的主内存正本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能间接读写主内存中的变量。不同线程之间也无奈间接拜访对方工作内存中的变量，线程间变量值的传递均须要通过主内存来实现，线程、主内存、工作内存三者之间的关系如下图：
内存间交互操作
主内存与工作内存之间具体的交互协定，即一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存之类的实现细节，Java 内存模型中定义了 8 种操作来实现，虚拟机实现时必须保障每一种操作都是原子的、不可再分的。8 种操作如下：
- lock（锁定）
作用于主内存的变量，把一个变量标识为一条线程独占状态。 - unlock（解锁）
作用于主内存的变量，把一个处于锁定状态的变量释放出来，开释后的变量才能够被其余线程锁定。 - read（读取）
作用于主内存的变量，把一个变量的值从主内存传输到线程的工作内存，以便随后的 load 操作应用。 - load（载入）
作用于工作内存的变量，把 read 操作从主内存中失去的变量值放入工作内存的变量正本中。 - use（应用）
作用于工作内存的变量，把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个须要应用到变量的值的字节码指令时将会执行这个操作。 - assign（赋值）
作用于工作内存的变量，把一个从执行引擎接管到的值赋给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。 - store（存储）
作用于工作内存的变量，把工作内存中一个变量的值传递到主内存中，以便随后的 write 操作应用。 write（写入）
作用于主内存的变量，把 store 操作从工作内存中失去的变量值放入主内存的变量中。
Java 内存模型规定在执行下面的 8 种基本操作时必须满足上面的规定：
- 不容许 read 和 load、store 和 write 操作之一独自呈现，即不容许一个变量从主内存读取了但工作内存不承受，或者从工作内存发动了回写但主内存不承受的状况呈现。
- 不容许一个线程抛弃它的最近的 assign 操作，即变量在工作内存中扭转了之后必须把改变动同步会主内存。
- 不容许一个线程无起因地把数据从线程的工作内存同步回主内存中。
- 一个新的变量只能只能在主内存中“诞生”，不容许在工作内存中间接应用一个未被初始化的变量，也就是对一个变量施行 use、store 操作之前，必须要先执行过了 assign 和 load 操作。
- 一个变量在同一个时刻只容许一条线程对其进行 lock 操作，但 lock 操作能够被同一条线程反复执行屡次，屡次执行 lock 后，只有执行雷同次数的 unlock 操作，变量才会被解锁。
- 如果对一个变量执行 lock 操作，那将会清空工作内存中此变量的值，在执行引擎应用这个变量前，须要从新执行 load 或者 assign 操作初始化变量的值。
- 如果一个变量当时没有被 lock 操作锁定，那就不容许对它执行 unlock 操作，也不容许去 unlock 一个被其余线程锁定的变量。
- 对一个变量执行 unlock 操作之前，必须先把此变量同步回主内存中。
volatile 型变量的非凡规定
当一个变量定义为 volatile 之后，这个变量具备两种个性。
第一个是保障此变量对所有线程的可见性。这里的“可见性”是指当一条线程批改了这个变量的值，新值对于其余线程来说是能够立刻得悉的。一般变量的值在线程间传递均须要通过主内存来实现，所以一般变量不能做到这一点。但这并不能保障 Java 操作的原子性，所以在不合乎以下两条规定的运算场景中，依然须要通过加锁来保障原子性。
- 运算后果并不依赖变量的以后值，或者可能确保只有繁多的线程批改变量的值。
- 变量不须要与其余的状态变量独特参加不变束缚。
第二个是禁止指令重排序优化，一般变量仅仅会保障在该办法执行的过程中所有依赖赋值后果的中央都能获取到正确的后果，而不能保障变量赋值操作的程序与程序代码中的执行程序统一。
原子性、可见性与有序性
原子性由 Java 内存模型来间接保障，可能保障原子性的操作有 read、load、assign、use、store 和 write。如果利用场景须要一个更大范畴的原子性保障，能够应用 lock 和 unlock 操作来满足这种需要。
可见性是指当一个线程批改了共享变量的值，其余线程可能立刻得悉这个批改。Java 内存模型是通过在变量批改后将新值同步回主内存，在变量读取前从主内存刷新变量值这种依赖主内存作为传递媒介的形式来实现可见性的。
有序性，如果在本线程内察看，所有的操作都是有序的，即线程内体现为串行；如果在一个线程中察看另一个线程，所有的操作都是无序的，即指令重排序景象和工作内存与主内存同步提早景象。
后行产生准则
后行产生是 Java 内存模型中定义的两项操作之间的偏序关系，如果说操作 A 后行产生与操作 B，其实就是说在产生操作 B 之前，操作 A 产生的影响能被操作 B 察看到，“影响”包含批改了内存中共享变量的值、发送了音讯、调用了办法等。在 Java 内存模型中有一些“人造的”后行产生关系，这些后行产生关系无需任何同步器帮助就曾经存在，能够在编码中间接应用。这些关系如下：
程序秩序规定
在一个线程内，依照程序代码程序，书写在后面的操作后行产生于书写在前面的操作。精确的说，应该是控制流程序而不是程序代码程序，因为要思考分支、循环等构造。
管程锁定规定
一个 unlock 操作后行产生于前面对同一个锁的 lock 操作。这里必须是同一个锁。
volatile 变量规定
对一个 volatile 变量的写操作后行产生于前面对这个变量的读操作，前面指的是工夫上的先后顺序。
线程启动规定
Thread 对象的 start() 办法后行产生于此线程的每一个动作。
线程终止规定
线程中的所有操作都后行产生于对此线程的终止检测，能够通过 Thread.join() 办法完结、Thread.isAlive() 的返回值等伎俩检测到线程曾经终止执行。
线程中断规定
对线程 interrupt() 办法调用后行产生于被中断线程的代码检测到中断事件的产生，能够通过 Thread.interrupted() 办法检测到是否有中断产生。
对象终结规定
一个对象的初始化实现后行产生于它的 finalize() 办法的开始。
传递性
如果操作 A 后行产生于操作 B，操作 B 后行产生于操作 C，那就能够得出操作 A 后行产生于操作 C 的论断。
