一、Java内存模型
概述
Java内存模型本身是一种抽象的概念,并不真实存在,它仅仅描述的是一组约定或规范 ,通过这组规范定义了程序中(尤其是多线程)各个变量的读写访问方式并决定一个线程对共享变量的写入何时以及如何变成对另一个线程可见,关键技术点都是围绕多线程的 原子性、可见性和有序性 展开的。
原则
JMM的关键是围绕多线程的 原子性、可见性和有序性展开的。
作用
-
通过JMM来实现 线程和主内存之间的抽象关系。
-
屏蔽各个 硬件平台 和 操作系统 的内存访问差异 以实现让Java程序在各种平台下都能达到一致的内存访问效果。
二、JMM规范下的三大特性
可见性
指当一个线程修改了某一个共享变量的值,其他线程是否能够立即知道该变更 , JMM规定了所有的变量都存储在 主内存 中。
Java中 普通的共享变量不保证可见性 ,因为数据修改被写入内存的时机是不确定的,多线程并发下很可能出现"脏读",所以每个线程都有自己的 工作内存 ,线程自己的工作内存中保存了该线程使用到的变量的 主内存副本拷贝 ,线程对变量的所有操作(读取,赋值等 )都必需在线程自己的工作内存中进行,而不能够直接读写主内存中的变量。不同线程之间也无法直接访问对方工作内存中的变量,线程间变量值的传递均需要通过主内存来完成
由图片我们可以知道,每一个线程都有自己独立的工作内存,并且无法操作其他线程的工作内存,无法直接对主内存进行读写。
线程脏读:如果没有可见性保证
原子性
指一个操作是不可中断的,即多线程环境下,操作不能被其他线程干扰。
有序性
指程序会按照一定的顺序运行,但不一定是代码的编写顺序
如
Thread t1 = new Thread(() -> {
System.out.println("hhh");
}, "t1");
t1.start();
//第四行代码先执行后,再执行第一行代码。
三、JMM规范下多线程对变量的读写过程
读取过程
由于JVM运行程序的实体是线程,而每个线程创建时JVM都会为其创建一个工作内存(有些地方称为栈空间),工作内存是每个线程的私有数据区域,而Java内存模型中规定所有变量都存储在主内存 ,主内存是共享内存区域,所有线程都可以访问, 但线程对变量的操作(读取赋值等)必须在工作内存中进行,首先要将变量从主内存拷贝到的线程自己的工作内存空间,然后对变量进行操作,操作完成后再将变量写回主内存, 不能直接操作主内存中的变量,各个线程中的工作内存中存储着主内存中的 变量副本拷贝 ,因此不同的线程间无法访问对方的工作内存,线程间的通信(传值)必须通过主内存来完成
线程和主内存之间的抽象关系
-
线程之间的共享变量存储在主内存中(从硬件角度来说就是内存条)
-
每个线程都有一个私有的本地工作内存,本地工作内存中存储了该线程用来读/写共享变量的副本(从硬件角度来说就是CPU的缓存,比如寄存器、L1、L2、L3缓存等)