概念
JMM是Java内存模型,也就是Java Memory Model,简称JMM,本身是一种抽象的概念,实际上并不存在,它描述的是一组规则或规范,通过这组规范定义了程序中各个变量(包括实例字段,静态字段和构成数组对象的元素)的访问方式。
- 定义程序中各种变量的访问规则
- 把变量值存储到内存的底层细节
- 从内存中取出变量值的底层细节
为啥需要JMM内存模型
屏蔽各种硬件和操作系统的内存访问差异,实现one
两大内存
- 主内存
- Java堆中对象实例数据部分
- 对应于物理硬件的内存
- 工作内存
- Java栈中的部分区域
- 优先存储于寄存器和高速缓存
java内存模型的几个规范
1.所有变量存储在主内存
2.主内存是虚拟机内存的一部分
3.每条线程有自己的工作内存
4.线程的工作内存保存变量的主内存副本
5.线程对变量的操作必须在工作内存中进行
6.不同线程之间无法直接访问对方工作内存中的变量
7.线程间变量值的传递均需要通过主内存来完成
由于JVM运行程序的实体是线程,而每个线程创建时JVM都会为其创建一个工作内存(有些地方称为栈空间),工作内存是每个线程的私有数据区域,而Java内存模型中规定所有变量都存储在主内存,主内存是共享内存区域,所有线程都可以访问,
但线程对变量的操作(读取赋值等)必须在工作内存中进行,首先要将变量从主内存拷贝到自己的工作内存空间,然后对变量进行操作,操作完成后再将变量写会主内存
,不能直接操作主内存中的变量,各个线程中的工作内存中存储着主内存中的变量副本拷贝,因此不同的线程间无法访问对方的工作内存,线程间的通信(传值)必须通过主内存来完成
Java内存模型三大特性
- 可见性(当一个线程修改了共享变量的值时,其他线程能够立即得知这个修改)
- 原子性(一个操作或一系列操作是不可分割的,要么同时成功,要么同时失败)
- 有序性(变量赋值操作的顺序与程序代码中的执行顺序一致)