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

相关推荐
小悟空GK1 分钟前
Http介绍
开发语言
虫小宝10 分钟前
解决Spring Boot中的安全漏洞与防护策略
java·spring boot·后端
502胶水20511 分钟前
腾讯地图异步调用
开发语言·ios·swift
SwBack21 分钟前
【pearcmd】通过pearcmd.php 进行GetShell
android·开发语言·php
Lingoesforstudy22 分钟前
c#中的超时终止
开发语言·笔记·c#
LXMXHJ22 分钟前
Java-Redis-Clickhouse-Jenkins-MybatisPlus-Zookeeper-vscode-Docker
java·redis·java-zookeeper
又该洗头了26 分钟前
Swagger
java·spring·swagger
**K31 分钟前
C++ 智能指针使用不当导致内存泄漏问题
开发语言·c++·算法
bingbingyihao37 分钟前
Linux安装ftp、Java的FTP上传下载文件工具类
java·linux·centos
u0104058361 小时前
如何利用Java Stream API简化集合操作?
java·开发语言