为什么要设计JAVA内存模型? 小陈:老王,看了上一篇的《CPU多级缓存模型》,有个疑问为什么还要有JAVA内存模型啊? JAVA内存模型是怎么样的? 小陈:原因我大概知道了,那JAVA内存模型大概是个什么样的结构啊? 老王:给你看下下面这张图,你大概就理解了 老王:上图就是JAVA内存模型的大致结构图,JAVA内存模型定义了一个规范。 (2)B线程的变量副本失效之后,运行时候用到,需要到主内存重新读取(执行read、load操作放入工作内存);发现该主内存的变量被锁定了,读取失败;此时相当于线程A拥有该变量的独享操作 (3)线程A执行 目录 JAVA并发专题 《筑基篇》 1.什么是CPU多级缓存模型? 2.什么是JAVA内存模型? 3.线程安全之可见性、有序性、原子性是什么? 4.什么是MESI缓存一致性协议?
目录 一、JMM内存模型产生的背景? 二、什么是JMM内存模型? 三、JMM内存模型用来解决什么问题? 四、JMM内存模型与JVM内存模型有什么关系? ---- 一、JMM内存模型产生的背景? ,这样B线程读取到的值就是x=1,但如果A线程已将x=2写回主内存后,B线程才开始读取的话,那么此时B线程读取到的就是x=2,但到底是哪种情况先发生呢? 1、JMM是Java物理内存模型 现代计算机通常有 2 个或更多 CPU。其中一些 CPU 也可能具有多个内核。关键是,在具有 2 个或更多 CPU 的现代计算机上,可能同时运行多个线程。 2、JVM是运行时内存模型 在JVM内部使用java内存模型将内存氛围线程栈和堆,Java 虚拟机中运行的每个线程都有自己的线程堆栈。线程堆栈包含有关线程调用哪些方法以到达当前执行点的信息。 3、JMM内存模型和JVM运行时内存模型的关系 Java运行时内存模型和计算机物理内存结构是不一样的。计算机物理内存结构并不区分栈和堆。在物理内存结构中,栈和堆都位于主存中。
Java内存模型 Java内存模型是每个java程序员必须掌握理解的,这是Java的核心基础,对我们编写代码特别是并发编程时有很大帮助。 由于Java程序是交由JVM执行的,所以我们在谈Java内存区域划分的时候事实上是指JVM内存区域划分。 1.1. Java内存模型指的就是Runtime Data Area(运行时数据区),即程序执行期间用到的数据和相关信息保存区。 1.2. Java内存模型 根据 JVM 规范,JVM 内存共分为虚拟机栈、堆、方法区、程序计数器、本地方法栈五个部分。结构如下图: 1.2.1. PC程序计数器: l 每个线程对应有一个程序计数器。 Java内存模型工作示意图 1) 首先类加载器将Java代码加载到方法区 2) 然后执行引擎从方法区找到main方法 3) 为方法创建栈帧放入方法栈,同时创建该栈帧的程序计数器
什么是JMM JMM即为JAVA 内存模型(java memory model)。 Java内存模型,就是为了屏蔽系统和硬件的差异,让一套代码在不同平台下能到达相同的访问结果。JMM从java 5开始的JSR-133发布后,已经成熟和完善起来。 模型特征 原子性:例如上面八项操作,在操作系统里面是不可分割的单元。被synchronized关键字或其他锁包裹起来的操作也可以认为是原子的。 1 synchronized (this) { 2 a=1; 3 b=2; 4 } 例如一个线程观察另外一个线程执行上面的代码 finalConstructor; 8 9 public FinalConstructor() { 10 a = 1; 11 b = 2; 12
先给出C++内存的一个模型图: ? heap 堆区用来存放程序运行过程中动态分配的内存。像new和malloc就在该区域上申请内存空间。 该区域内存的管理必须由程序写作者来负责,也就是如果通过new或malloc申请了一块内存,在程序结束时必须通过delete或free来释放相应的内存。new和delete的内容我后面会仔细说明。 因为该区域可以由用户来申请,申请大小视情况而定,通常很不一致,所以很容易造成该区域内存的碎片化。 堆内存的大小很大,一般来讲,在32位系统下,可以达到4G,所以通常不会溢出。 上面程序中的main函数和func1,func2中的非static类型的变量在调用时都会加载到该区域。
线程的实现 线程是比进程更轻量级的调度执行单位,线程的引入,可以把一个进程的资源分配和执行调度分开,各个线程既可以共享进程资源(内存地址、 文件I/O等),又可以独立调度(线程是CPU调度的基本单位)。 java线程的实现 在目前的JDK版本中,操作系统支持怎样的线程模型,在很大程度上决定了Java虚拟机的线程是怎样映射的。 对于Sun JDK来说,它的Windows版与Linux版都是使用一对一的线程模型实现的,一条Java线程就映射到一条轻量级进程之中,因为Windows和Linux系统提供的线程模型就是一对一的。
JVM学习笔记——内存模型篇 在本系列内容中我们会对JVM做一个系统的学习,本片将会介绍JVM的内存模型部分 我们会分为以下几部分进行介绍: 内存模型 乐观锁与悲观锁 synchronized优化 内存模型 这一小节我们来详细介绍一下内存模型和内存模型的三个特性 内存模型简介 首先我们来简单介绍一下内存模型: 内存模型,全称Java Memory Model,也就是我们常说的JMM JMM中定义了一套在多线程读写共享数据时 ,对数据的可见性,有序性和原子性的规则和保障 内存模型之原子性 我们将在下面仔细介绍原子性的特点 原子性介绍 我们首先介绍一下原子性: 原子性是指将一系列操作规划为一个操作,全称不可分离进行 原子性的注意点 ); } } 内存模型之可见性 我们将在下面仔细介绍可见性的特点 可见性介绍 首先我们简单介绍一下可见性的定义: 我们需要保证,在多个线程中,对同一变量的修改需要被其他线程所知道并且可以调用 可见性的注意点 */ 读写分离 /* CopyOnWriteArrayList ConyOnWriteSet */ 结束语 到这里我们JVM的内存模型篇就结束了,希望能为你带来帮助~ 附录 该文章属于学习内容,具体参考
根据happens before规则,这个过程包含的happens before 关系可以分为两类: 根据程序次序规则,1 happens before 2, 2 happens before 3; 4 根据happens before 的传递性,2 happens before 5。 每一个箭头链接的两个节点,代表了一个happens before 关系。 2 happens before 5。因此,线程A在释放锁之前所有可见的共享变量,在线程B获取同一个锁之后,将立刻变得对B线程可见。 锁释放和获取的内存语义 当线程释放锁时,JMM会把该线程对应的本地内存中的共享变量刷新到主内存中。 对比锁释放-获取的内存语义与volatile写-读的内存语义,可以看出:锁释放与volatile写有相同的内存语义;锁获取与volatile读有相同的内存语义。
内部java内存模型 硬件层面的内存模型 Java内存模型和硬件内存模型的联系 共享对象的可见性 资源竞速 Java内存模型很好的说明了JVM是如何在内存里工作的,JVM可以理解为java执行的一个操作系统 ,作为一个操作系统就有内存模型,这就是我们常说的JAVA内存模型。 内部java内存模型 JVM的内部的内存模型分为了两部分,thread stack和heap,也就是线程栈和堆,我们将复杂的内存模型抽象成下图: ? 一些cpu还有多级cache,比如(Level 1 and Level 2),但是这对于我们理解java内存模型关系不大,我们只需要cpu有三层内存结构,寄存器-cache-内存(RAM). Java内存模型和硬件内存模型的联系 上文已经提到,java内存模型和硬件内存模型是不同的。硬件内存模型不区分堆和栈。
内存管理 和C语言一样,同样具有相关的函数 https://www.php.net/manual/zh/internals2.memory.management.php php生命周期 这里一张图概述 [8ce302c402d81f00c37449068763d2be_1338x2269] Zend虚拟机 php的引擎为Zend虚拟机 其中Zend虚拟机和js虚拟机类似,感觉一个内容 运行流程 [2019 ,用来达到对内存的管理 关于js的内存 js的内存的使用原型链的方式,有一个总的windows节点,每次创建的时候,会挂载到windows节点上 关于java内存 之前说明的全是动态语言的内存机制,现在说明静态语言 ,以java为例,每次写好java文件以后,编译生成class文件,class文件即定义了内存的结构,使用装载命令,装载进入内存,即内存结构被固定化. 在运行的期间,当使用new命令,将会根据class文件定义的内存模型,在jvm的虚拟机中的创建出一样的对象,并进行指向,运算的时候,本质通过栈进行运算. 通过这种方式,静态语言模拟动态语言.
# JVM JDK版本:1.8 # 1、JVM内存区域 JVM在执行应用程序的过程中会将它管理的内存分为若干个不同的区域。其中一部分是线程私有的,一部分是线程共享的。 Java内存区域也叫做运行时数据区。JVM内存内存结果如下图所示: ---- # 2、Java代码执行流程 Java源码文件通过Java编译器生成字节码文件。 ---- # 3、JVM的架构模型 Java编译器输入的指令流一种是基于栈的指令架构,另外一种指令集架构则是寄存器的指令集架构。 2、基于寄存器架构: 指令集构架完全依赖于硬件,可移植性差。 性能优秀,执行更加高效。 花费更少的指令去完成一项操作。 2、程序在执行过程中遇到了异常或错误而终止。 3、由于操作系统错误而导致Java虚拟机进程终止。
最近听了一次部门内部有关JVM的分享,自己也顺便回顾了之前阅读《深入理解JVM虚拟机》一书中所讲述的Java虚拟机对内存的管理,再次将自己理解的JVM内存模型分享给大家。 Java运行时数据区域 Java虚拟机在执行Java程序的过程中会把它所管理的内存划分为若干个不同的数据区。 JVM内存模型 程序计数器 Java虚拟机栈 本地方法栈 Java堆 方法区 运行时常量池 直接内存 ? java-memory-model 程序计数器 当前线程所执行的字节码文件的行号指示器。 每个线程都有一个程序计数器 不会发生OOM Java虚拟机栈 虚拟机栈描述的是Java方法执行的内存模型:每个方法在执行时都会创建一个栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态链接 StackOverflowError (单线程,栈帧太大,还是虚拟机栈容量太小) OutOfMemoryError (创建线程太多) 本地方法栈 同Java虚拟机栈类型,只不过是native方法执行的内存模型
一、前言 Go语言的内存模型规定了一个goroutine可以看到另外一个goroutine修改同一个变量的值的条件,这类似java内存模型中内存可见性问题(Java内存可见性问题可以参考拙作:Java并发编程之美一书 为了保证多goroutine下读取共享数据的正确性,go中引入happens before原则,即在go程序中定义了多个内存操作执行的一种偏序关系。 如果操作e1先于e2发生,我们说e2 happens after e1,如果e1操作既不先于e2发生又不晚于e2发生,我们说e1操作与e2操作并发发生。 需要注意的是在go内存模型中将多个goroutine中用到的全局变量初始化为它的类型零值在内被视为一次写操作,另外当读取一个类型大小比机器字长大的变量的值时候表现为是对多个机器字的多次读取,这个行为是未知的 2,然后打印0 由于代码(1)(2)没有有任何同步措施,所以经过重排序后可能先执行代码(2),然后执行代码(1)。
堆 堆是所有 Java 虚拟机线程之间共享的内存区域。它是在虚拟机启动时创建的。所有类实例和数组都在堆中分配(使用**new**运算符)。 方法区 方法区是所有 Java 虚拟机线程之间共享的内存。它是在虚拟机启动时创建的,并由类加载器从字节码加载。只要加载它们的类加载器还活着,方法区中的数据就会保留在内存中。 从 Java 8 开始,HotSpot 现在将方法区存储在称为Metaspace的独立本机内存空间中,最大可用空间是可用的系统总内存。 注意:方法区域不能超过最大大小。 换句话说,当一个类、方法或字段被引用时,JVM 通过运行时常量池在内存中搜索实际地址。它还包含常量值,如字符串文字或常量原语。 关于JVM内存模型,你学废了么?
正是基于以上原因,引入了内存模型。C++的内存模型解决的问题是如何合理地限制单一线程中的代码执行顺序,使得在不使用锁的情况下,既能最大化利用CPU的计算能力,又能保证多线程环境下不会出现逻辑错误。 在后面的内容中,将结合这6种约束符来进一步分析内存模型。 内存模型 Sequential consistency模型 Sequential consistency模型又称为顺序一致性模型,是控制粒度最严格的内存模型。 如果不确定使用何种内存访问模型,用 memory_order_seq_cst能确保不出错。 在写文的过程中,深切体会到了内存模型的复杂高深之处,C++的内存模型为了提供足够的灵活性和高性能,将各种约束符都暴露给了开发人员,给高手足够的发挥空间,也让新手一脸茫然。
冯.诺依曼计算机模型先从内存中取出第一条指令,通过控制器的译码,按指令的要求,从存储器中取出数据进行指定的运算和逻辑操作等加工,然后再按地址把结果送到内存中去。 CPU 与内存交互图片组成结构图图片JVM 内存模型内存模型图图片内存模型程序计数器(线程私有): 是当前线程锁执行字节码的行号治时期,每条线程都有一个独立的程序计数器 模型图图片主要划分主内存在 JMM 中主内存属于共享数据区域,对应着 JVM 中堆和方法区。Java 内存模型中规定所有变量都存储在主内存,主内存是共享内存区域,所有线程都可以访问。 图片同时同一个 CPU 也从内存当中读取数据, 此时读取的结构可能是 1 也可能是 2, 如果 CPU1 把写的结果写到到内存中, CPU2 读取的就是 2, 如果 CPU1 没有把结果写回到主内存当中 , CPU2 读取的就是 1。
之后字符串常量池被移动到堆区 JDK1.8的运行时数据区 [image-20201021224342226] jdk1.8去掉了永久代 引入了元数据区 Jdk1.7中的运行时常量池移动到元数据区 元数据区存在于直接内存中 为什么移除永久代 方法区大小难以设定,容易发生内存溢出。 相关信息,一般信息在编译期就能确定,但是如果在一些动态生成的Class的应用中,如:Spring中的动态代理,大量的JSP页面或动态生成的JSP页面,由于方法区在一开始就要分配好,因此难以确定大小,容易发生内存溢出 区别在于元空间不在JVM虚拟机中,因此元空间的空间受本地内存制约。
Java内存模型(简称JMM)指定了JVM如何利用计算机内存(RAM)进行工作。JMM与整个计算机的模型类似,这个模型自然也包含内存模型,即Java内存模型(AKA)。 硬件内存结构 当代硬件内存结构与JVM内部的内存模型稍有不同。为了理解JMM如何与其打交道,知晓硬件内存结构十分重要。本部分描述了通用硬件内存结构,后续将讲述JMM如何与之协同工作。 有的CPU可能有多级cache(Level1 和 Level2),但这对于理解JMM如何与内存交互并不重要,只需要知道CPU有cache层即可。 计算机包含一块主内存(RAM)。 如下图所示: [f0e03b5c51b443df96d7a8b7c2d2d26d.png] 由于对象和变量可以存储在计算机的不同内存区域,可能会出现某些问题。 如果这些操作顺序执行,变量count将执行2次加1操作,而且会将count + 2的值回写到主存。
官方答案是:因为CPU不是Redis的瓶颈,Redis的瓶颈最有可能是机器内存或者网络带宽。既然单线程容易实现且CPU不会成为瓶颈,顺理成章地采用单线程的方案了。 而这个文件事件处理器是单线程的,所以才叫redis的单线程模型,这也决定了redis是单线程的。 2、Redis单线程模型组成? 命令请求处理器读取 socket01 的 key value 并在自己内存中完成 key value 的设置。 默认是关闭多线程的,可以在conf文件进行配置开启: io-threads-do-reads yes io-threads 线程数 ## 官方建议的线程数设置:4核的机器建议设置为2或3个线程 在redis的多线程模式下,获取、解析命令,以及输出结果两个过程,可以配置成多线程执行,因为它毕竟是定位到的主要耗时点,但是命令的执行,也就是内存操作,依然是单线程运行的。
参考链接: Java中的JVM的关闭挂钩 (原本准备把内存模型单独放到某一篇文章的某个章节里面讲解,后来查阅了国外很多文档才发现其实JVM内存模型的内容还蛮多的,所以直接作为一个章节的基础知识来讲解,可能该章节概念的东西比较多 究竟什么是内存模型? a,A1就是把a修改称为1,但是B线程在A线程调用了A1过后,却访问了a并且使用B1或者B2操作使得a发生了改变,变成了2,那么当A按照排序性进行A2操作读取到a的值的时候,读取到的是2而不是1,这样就使得程序最初设计的时候 但是在旧的内存模型中,因为缺乏同步,有可能另一个线程会临时地看到偏移量字段具有初始默认值0,而后又看到正确的值4,结果是s2的值从“/usr”变成了“/tmp”,这并不是我们真正的初衷,这个问题就是原始 2)问题2:重新排序的易失性和非易失性存储 另一个主要领域是与volatile字段的内存操作重新排序有关,这个领域中现有的JMM引起了一些比较混乱的结果。