【java】JVM内存模型概要

目录

内存模型

两个概念：主内存和工作内存

内存间交互操作

volatile关键字

---

内存模型

java虚拟机规范 试图定义一种java内存模型来 屏蔽各种硬件和操作系统的内存访问差异，以实现让java程序在各种平台下都能达到一致的内存访问效果。

java内存模型的主要目标是定义程序中各个变量的访问规则。即虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。

两个概念：主内存和工作内存

java内存模型规定了所有的变量都存储在主内存。每条线程还有自己的工作内存，线程的工作内存中保存了该被线程用到的变量的主内存副本拷贝。线程对变量的所有的操作，包括读取、赋值等都必须要在工作内存中进行。不能直接读写主内存中的变量。

不同线程之间也无法直接访问对方工作线程中的变量，线程之间的变量值的传递需要通过主内存来完成。

线程、主内存、工作内存之间的关系：

内存间交互操作

主内存与工作内存之间具体的交互协议，即一个变量如何从主内存拷贝到工作内存，又如何从工作内存同步回主内存的实现细节，java内存模型定义了8种操作来完成。

虚拟机实现时必须保证每一种操作都是原子性的。

• lock  作用于主内存的变量，标识这个变量为一条线程独占。
• unlock  作用于主内存的变量，把一个处于锁定状态的变量释放出来。
• read  作用于主内存的变量，把一个变量的值从主内存传输到线程的工作内存中。
• load  作用于工作内存的变量，把read操作从主内存得到的变量值放入工作内存的变量副本中。
• use  用于工作内存变量，把工作内存变量的值传给执行引擎，每当虚拟机遇到一个需要使用到变量的值的字节码指令的时候，将会执行这个操作。
• assign  作用于工作内存的变量，把一个从执行引擎接收到的值赋给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码的时候执行这个操作。
• store  作用于工作内存的变量，把工作内存的一个变量值传送到主内存中。
• write  作用于主内存的变量，把store操作从工作内存中得到的变量值放入到主内存的变量中。

如果要把一个变量从主内存拷贝到工作内存，需要按顺序执行read 和 load操作；

如果要把变量从工作内存保同步回主内存，需要顺序执行store 和 write操作；

volatile关键字

java虚拟机提供的轻量级的同步机制

（1）保证内存变量可见性，即对所有线程可见

（2）禁止指令重排序优化