主内存与工作内存
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的论断。