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、竞争现象

相关推荐
乌鸦9442 分钟前
《STL--stack 和 queue 的使用及其底层实现》
开发语言·c++·priority_queue·适配器stack、queue
Mr__Miss4 分钟前
微服务中引入公共拦截器
java·微服务·架构
Chef_Chen15 分钟前
从0开始学习R语言--Day12--泊松分布
开发语言·学习·r语言
廿二松柏木17 分钟前
MATLAB实现井字棋
开发语言·matlab
刘大浪19 分钟前
JDK17 与JDK8 共同存在一个电脑上
java
小智学长 | 嵌入式39 分钟前
SOC-ESP32S3部分:22-分区表
开发语言·单片机·esp32
gou1234123440 分钟前
【Golang进阶】第八章:并发编程基础——从Goroutine调度到Channel通信实战
开发语言·后端·golang
秋难降42 分钟前
贪心算法:看似精明的 “短视选手”,用好了也能逆袭!💥
java·算法
阿蒙Amon1 小时前
C#数字金额转中文大写金额:代码解析
java·mysql·c#
失乐园1 小时前
电商/物流/IoT三大场景:用MongoDB设计高扩展数据架构的最佳实践
java·后端·架构