前言
由于Java内存模型,是(JVM内存结构、Java内存模型以及Java对象模型)知识点当中最晦涩难懂的一个,而且涉及到很多背景知识和相关知识。
在《深入理解Java虚拟机》和《Java并发编程的艺术》等书中也都有关于这个知识点的介绍。但是,自己读完之后还是搞不清楚。就来整体的介绍一下Java内存模型
JMM规定Java线程间的通信采用共享内存的方式。在Java中,所有成员变量、静态变量和数组元素都存储在堆内存中,堆内存在线程之间共享,所以它们通常也称为共享变量。JMM定义了线程和主内存之间的抽
象关系:线程之间的共享变量存储在主内存(Main Memory)中,每个线程都有一个私有的本地内存(Local
Memory,或者也可以称为工作内存 Work
Memory),本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念,并不真实存在。它涵盖了缓存、写缓冲区、寄存器以及其他的硬件和编译器优化。
摘抄于小黄人
当程序在运行过程中,会将运算需要的数据从主存复制一份到CPU的高速缓存当中,那么CPU进行计算时就可以直接从它的高速缓存读取数据和向其中写入数据,当运算结束之后,再将高速缓存中的数据刷新到主存当中。
内存间交互协议
JMM规定了主内存和工作内存间具体的交互协议,即一个变量如何从主内存拷贝到工作内存、如何从工作内存同步到主内存之间的实现细节,这主要包含了下面8个步骤:
Java内存模型规定了所有的变量都存储在主内存中,每条线程还有自己的工作内存,线程的工作内存中保存了该线程中是用到的变量的主内存副本拷贝,线程对变量的所有操作都必须在工作内存中进行,而不能直接读写主内存。不同的线程之间也无法直接访问对方工作内存中的变量,线程间变量的传递均需要自己的工作内存和主存之间进行数据同步进行。
-
lock(锁定):作用于主内存的X变量,把X变量标识为一条线程独占状态。
-
unlock(解锁):作用于主内存X变量,把一个处于锁定状态的X变量释放出来,释放后的X变量才可以被其他线程锁定。
-
read(读取):作用于主内存X变量,把X变量值从主内存传输到线程的工作内存中,以便随后的load动作使用
-
load(载入):作用于工作内存的X变量,它把read操作从主内存中得到的X变量值放入工作内存的X变量副本中。
-
use(使用):作用于工作内存的X变量,把工作内存中的X变量值传递给执行引擎,每当虚拟机遇到一个需要使用X变量的值的字节码指令时将会执行这个操作。
-
assign(赋值):作用于工作内存的X变量,它把一个从执行引擎接收到的值赋值给工作内存的X变量,每当虚拟机遇到一个给X变量赋值的字节码指令时执行这个操作。
-
store(存储):作用于工作内存的X变量,把工作内存中的X变量的值传送到主内存中,以便随后的write的操作。
-
write(写入):作用于主内存的X变量,它把store操作从工作内存中X变量的值传送到主内存的X变量中。
指令重排
在执行程序时,为了提高性能,编译器和处理器常常会对指令做重排序。从Java源代码到最终实际执行的指令序列,会分别经历下面3种重排序:
-
编译器优化的重排序。编译器在不改变单线程程序语义的前提下,可以重新安排语句的执行顺序。
-
指令级并行的重排序。现代处理器采用了指令级并行技术(Instruction-LevelParallelism,ILP)来将多条指令重叠执行。如果不存在数据依赖性,处理器可以改变语句对应机器指令的执行顺序。
-
内存系统的重排序。由于处理器使用缓存和读/写缓冲区,这使得加载和存储操作看上去可能是在乱序执行。
如果两个操作访问同一个变量,其中一个为写操作,此时这两个操作之间存在数据依赖性。 编译器和处理器不会改变存在数据依赖性关系的两个操作的执行顺序,即不会重排序。不管怎么重排序,单线程下的执行结果不能被改变,编译器、runtime和处理器都必须遵守as-if-serial语义。
JMM是一种规范,目的是解决由于多线程通过共享内存进行通信时,存在的本地内存数据不一致、编译器会对代码指令重排序、处理器会对代码乱序执行等带来的问题。
Java内存模型的实现
- 原子性
为了保证原子性,提供了两个高级的字节码指令monitorenter和monitorexit。在Java中对应的关键字就是synchronized - 可见性
Java内存模型是通过在变量修改后将新值同步回主内存,在变量读取前从主内存刷新变量值的这种依赖主内存作为传递媒介的方式来实现的。
Java中的volatile关键字提供了一个功能,那就是被其修饰的变量在被修改后可以立即同步到主内存,被其修饰的变量在每次是用之前都从主内存刷新。因此,可以使用volatile来保证多线程操作时变量的可见性。
除了volatile,Java中的synchronized和final两个关键字也可以实现可见性。 - 有序性
在Java中,可以使用synchronized和volatile来保证多线程之间操作的有序性。
volatile关键字会禁止指令重排。synchronized关键字保证同一时刻只允许一条线程操作。