JMM内存模型详解(一)
本文开始死磕JMM(Java内存模型)由于知识点较多,分来写
该文为JMM第一篇
技术往往是枯燥的,本文文字较多
1. JMM是什么?
其实JMM很好理解,我简单的解释一下,在Java多线程中我们经常会涉及到两个概念就是线程之间是如何通信和线程之间的同步,那什么是线程之间的通信呢,其实就是两个线程之间互相交换信息线程之间通信的方式共有两种:一种就是共享内存,和消息传递
。在共享内存中的并发模型中线程是通过读取主内存的共享信息来进行隐性通信的。在消息传递通信中线程之间没有公共的状态,只能通过发送消息来进行显性通信。然而这只是线程通信,那么同步呢,同步就是在多线程的情况下有顺序的去执行。在共享内存中同步时显式进行的,在代码中我们必须要去指定方法需要同步执行比如说加同步锁等。在消息传递的并发模型中发送消息必须是在消接收之前,所以同步时隐式的。
2.为什么要涉及到线程并发通信
java内存模型其实可以说是Java并发内存模型,在Java中是采用的共享内存模型的方式,所以Java线程之间的通信是隐式进行的,对我们是完全透明的,如果你不了解通信机制的话会产生各种线程可见性的问题。其实在Java中所有的静态域,域和数组元素都存在堆内存中,堆内存在线程中是共享的一般我们都称之为共享变量,局部变量,方法定义参数和异常处理参数不会在线程中共享,所以不会存在线程可见性的问题。上面我就说过线程之间的通信是由JMM来进行控制的,JMM来决定了一个线程操作了共享变量后如何对另一个线程可见。从上面所说的概念来看的话,JMM定义了线程与主内存的关系。
3.JMM规定
其实这样做的原因就是Java是跨平台语言,在个操作系统中内存都有一定的差异性,这样久造成了并发不一致,所以JMM的作用就是用来屏蔽掉不同操作系统中的内存差异性来保持并发的一致性。同时JMM也规范了JVM如何与计算机内存进行交互。简单的来说JMM就是Java自己的一套协议来屏蔽掉各种硬件和操作系统的内存访问差异,实现平台一致性达到最终的"一次编写,到处运行",说了这么多,JMM到底是怎么控制的呢?然后如何通信的呢?我们继续往下看。
4.模型
JMM是一个抽象的概念,并不是真实的存在,它涵盖了缓冲区,寄存器以及其他硬件和编译器优化。
Java内存模型抽象图如下:
从上图可以看出每个线程都有一个本地内存,如果线程想要通信的话要执行一下步骤:
- A线程先把本地内存的值写入主内存
- B线程从主内存中去读取出A线程写的值
再看下面的这个图,表示了A如何向B发送消息
假设这时候有一个共享变量X默认值都是为0,那么线程A把X的值修改为1,这时候如何才能同步到B线程呢。
如果A线程把X修改成1之后,A线程会把X从A的本地内存中写入到主内存中,这样的话主内存的X就等于1了,这时候B线程就会去读取主内存的X变量,存入B的本地内存中,这样B线程的X变量值也就会变成了1。这样对吗。那现在如何通信我是知道了关键它究竟是如何来实现的,就是如何来实现通信的呢?
5.通信
上面所说的步骤其实就是实现了线程之间的通信,但是不要以为线程之间的通信就是这么简单的,其实在Java中JMM内存模型定义了八种操作来实现同步的细节。
- read 读取,作用于主内存把变量从主内存中读取到本本地内存。
- load 加载,主要作用本地内存,把从主内存中读取的变量加载到本地内存的变量副本中
- use 使用,主要作用本地内存,把工作内存中的一个变量值传递给执行引擎,每当虚拟机遇到一个需要使用变量的值的字节码指令时将会执行这个操作。、
- assign 赋值 作用于工作内存的变量,它把一个从执行引擎接收到的值赋值给工作内存的变量,每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。
- store 存储 作用于工作内存的变量,把工作内存中的一个变量的值传送到主内存中,以便随后的write的操作。
- write 写入 作用于主内存的变量,它把store操作从工作内存中一个变量的值传送到主内存的变量中。
- lock 锁定 :作用于主内存的变量,把一个变量标识为一条线程独占状态。
- unlock 解锁:作用于主内存变量,把一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定。
所以看似简单的通信其实是这八种状态来实现的。
同时在Java内存模型中明确规定了要执行这些操作需要满足以下规则:
- 不允许read和load、store和write的操作单独出现。
- 不允许一个线程丢弃它的最近assign的操作,即变量在工作内存中改变了之后必须同步到主内存中。
- 不允许一个线程无原因地(没有发生过任何assign操作)把数据从工作内存同步回主内存中。
- 一个新的变量只能在主内存中诞生,不允许在工作内存中直接使用一个未被初始化(load或assign)的变量。即就是对一个变量实施use和store操作之前,必须先执行过了assign和load操作。
- 一个变量在同一时刻只允许一条线程对其进行lock操作,lock和unlock必须成对出现
- 如果对一个变量执行lock操作,将会清空工作内存中此变量的值,在执行引擎使用这个变量前需要重新执行load或assign操作初始化变量的值
- 如果一个变量事先没有被lock操作锁定,则不允许对它执行unlock操作;也不允许去unlock一个被其他线程锁定的变量。
- 对一个变量执行unlock操作之前,必须先把此变量同步到主内存中(执行store和write操作)。
所以上面说的操作要严格执行。
目前写了这么多,下文预告:
LinkedHashMap源码分析
参考资料《深入Java内存模型》
转载于:https://www.cnblogs.com/Scramblecode/p/11392639.html
JMM内存模型详解(一)相关推荐
- Java 内存模型详解
概述 Java的内存模型(Java Memory Model )简称JMM.首先应该明白,Java内存模型是一个规范,主要规定了以下两点: 规定了一个线程如何以及何时可以看到其他线程修改过后的共享变量 ...
- 【JVM】JVM内存模型详解
一.JVM是什么? JVM是Java Virtual Machine(Java虚拟机)的缩写,是通过在实际的计算机上仿真模拟各种计算机功能来实现的.由一套字节码指令集.一组寄存器.一个栈.一个垃圾回收 ...
- Java基础:由JVM内存模型详解线程安全
1.前言 最近在研究JVM内存模型和Java基础知识.主要讲的是线程共享变量与线程私有变量以及如何写出线程安全的代码.这里列出一条规则,"类中的成员变量,也叫实例变量,也叫全局变量,它是非线 ...
- 深度历险:Redis 内存模型详解
Redis 是目前最火爆的内存数据库之一,通过在内存中读写数据,大大提高了读写速度,可以说 Redis 是实现网站高并发不可或缺的一部分. 我们使用 Redis 时,会接触 Redis 的 5 种对象 ...
- JVM_内存模型详解
JVM 欲渡黄河冰塞川,将登太行雪满山. Docker中跑的JVM,总是有奇奇怪怪的问题,我们先说概念,后谈GC优化以及工具的使用 为什么会有JVM write once run anywhere - ...
- C++内存模型 详解
一.C/C++内存模型基本概念 1.两大分区:代码区和数据区 2.四大分区:代码区,全局区(全局/静态存储区),栈区,堆区 3.C语言分区:堆,栈,静态全局变量区,常量区 4.C++语言分区:堆.栈. ...
- java 内存指针_java内存模型详解
借用一句话:Java与C++之间有一堵内存动态分配和垃圾收集技术围成的高墙,墙外面的人想进来,墙里面的人却想出去. 一.我们为什么要了解JAVA内存 因为虚拟机帮我们JAVA程序员管理着内存,我们在n ...
- 【C++】C++对象模型:对象内存布局详解(C#实例)
C++对象模型:对象内存布局详解 0.前言 C++对象的内存布局.虚表指针.虚基类指针解的探讨,参考. 1.何为C++对象模型? 引用<深度探索C++对象模型>这本书中的话: 有两个概念可 ...
- ASP.NET Core的配置(2):配置模型详解
在上面一章我们以实例演示的方式介绍了几种读取配置的几种方式,其中涉及到三个重要的对象,它们分别是承载结构化配置信息的Configuration,提供原始配置源数据的ConfigurationProvi ...
最新文章
- SAP系统中在发布了webservice,获得了WSDN地址后,外部系统怎么传数据到SAP?
- python PyQt5 Signal类 (Signal类提供了一种以pythonic方式声明和连接Qt信号的方法)(connect()、disconnect()、emit())
- 组合自定义控件的步骤详解
- ExtJs2.0学习系列(6)--Ext.FormPanel之第三式(ComboBox篇)
- flask cache
- Vue中CSS模块化最佳实践
- Go Elasticsearch 增加快速入门
- Java编程经典10道_10道经典java编程笔试题
- linux shell 获取系统当前时间 毫秒
- 基于Matlab的随机信号分析
- mcafee升级包下载地址
- 如何按关键字搜索商品详情
- PostgreSQL中with和without time zone两者有什么区别
- 游戏开发的专业术语整理
- Gluster集群管理小分析
- VC++ Hook截取鼠标点击窗口消息的问题!全局钩子
- 百万调音师—Audition 压缩效果器
- weautomate rpa开发心得
- 荣耀3手机android 5.0吗,华为荣耀3的手机系统是什么?华为荣耀3能升级安卓4.3吗?...
- Java OpenCV 图像处理30 视频分析和对象跟踪 视频读取
热门文章
- rpm方式在centos7中安装mysql
- Linux学习笔记(单用户模式,救援模式,克隆主机,两个linux互相连接)
- (cljs/run-at (JSVM. :browser) 简单类型可不简单啊~)
- django1.8读书笔记模版高级进阶
- iOS动画 三维透视投影 m34
- 11月女性时尚行业动态:浏览热度走势曲折 起伏大
- silverlight数据绑定
- 一个新基民的感叹:人心不足蛇吞象
- C++数据结构与算法 竞赛树, 二叉搜索树
- mysql procedure prepare_mysql prepare 存储过程使用