JMM 理解

JMM: Java Memory Model (JAVA内存模型)

【JMM】 允许编译器和缓存以数据在处理器特定的缓存(或寄存器)和主存之间的移动次序拥有重要的特权。 非程序员使用了volatitlesynchronized明确请求了某些可见性的保证。

从几个方面学习

1、什么是JMM?

答:JVM是Java实现的虚拟计算机(Java Virtual Machine), 对于熟悉计算机结构的同学,我感觉把这些概念和物理机对应起来更好理解

JVM对应的就是物理机,它有存放数据的存储区:堆、栈等由JVM管理的内存(对应于物理机的内存)、执行数据计算的执行单元:线程(对应于物理机的CPU)、加速线程执行的本次存储区:可能会从 存储区里分配一块空间来存储线程本地数据,比如栈(对应于物理机的Cache)。

众所周知,现代计算机一般都会包含多个处理器,多个处理器共享主内存。为了提升性能,会在每个处理器上增加一个小容量的cache加速数据读写,cache会导致了缓存一致性问题,为了解决缓存一致性问题,又引入了一系列Cache一致性协议(比如 MSI、MESI、MOSI、Synapse、Firefly及Dragon Protocol)来解决CPU本地缓存和主内存数据不一致问题。

而JVM中管理下的存储空间(包括堆、栈等)就对应与物理机的内存;

线程本次存储区(例如栈) 就对应于物理机的cache;


JMM 就对应于类似于MSI、MESI、MOSI、Synapse、Firefly及Dragon Protocol 这样的缓存一致性协议 ,用于定义数据读写的规则

JMM 相对于物理机的缓存一致性协议来说它还要处理JVM自身特有的问题:重排序问题
JMM都有哪些内容呢?

定义了 Java程序中的变量、线程如何和主存以及工作内存进行交互的规则。它主要涉及到多线程环境下的共享变量可见性、指令重排等问题,是理解并发编程中的关键概念。

并发编程的线程之间存在两个问题:

1、线程间如何通信?即: 线程之间以何种机制来交换信息

2、线程间如何同步?即: 线程以何种机制来控制不同线程间发生的相对顺序

有两种并发模型可以解决这两个问题:

1、消息传递并发模型

2、共享内存并发模型

这两种模型之间的区别如下图所示:

Java使用的是 共享内存并发模型

Java内存模型:

什么是共享变量?

先来看一下 运行时数据区,相信大家一点都不陌生

对于每一个线程来说,栈都是私有的,而堆是公有的。

也就是说,在栈中的变量(局部变量、方法定义的参数、异常处理的参数)不会在线程之间共享,也就不会有内存可见性的问题,也不受内存模型的影响。而在堆中的变量是共享的,一般称之为 共享变量。

所以,内存可见性 针对的是 堆中的共享变量
内存可见性问题是如何发生的?

那可能就有小伙伴会问: 既然堆是共享的,为什么在堆中会有内存不可见问题?

2、它干嘛用的?

为了解决缓存一致性问题,又引入了一系列Cache一致性协议(比如 MSI、MESI、MOSI、Synapse、Firefly及Dragon Protocol)来解决CPU本地缓存和主内存数据不一致问题

JMM(Java内存模型带来的问题)?

1、可见性问题

2、竞争现象

相关推荐
木易 士心6 分钟前
Spring AI 核心架构解析:构建企业级 AI 应用的 Java 新范式
java·spring
61900833616 分钟前
linux 安装jdk
java·linux·运维
懂得节能嘛.19 分钟前
【动态配置中心】Java+Redis构建动态配置中心
java·开发语言·redis
专注于大数据技术栈20 分钟前
Java中JDK、JRE、JVM概念
java·开发语言·jvm
YuanlongWang23 分钟前
C# 基础——值类型与引用类型的本质区别
java·jvm·c#
波诺波39 分钟前
通用装饰器示例
开发语言·python
沐知全栈开发39 分钟前
Maven POM 简介
开发语言
Kay_Liang1 小时前
大语言模型如何精准调用函数—— Function Calling 系统笔记
java·大数据·spring boot·笔记·ai·langchain·tools
艾莉丝努力练剑1 小时前
【C++模版进阶】如何理解非类型模版参数、特化与分离编译?
linux·开发语言·数据结构·c++·stl
kaikaile19951 小时前
MATLAB实现自适应卡尔曼滤波(AKF)
开发语言·matlab