zoukankan      html  css  js  c++  java
  • jvm 内存模型

    cpu和计算机内存的交互 

    在计算机中,cpu和内存的交互最为频繁,相比内存,磁盘读写太慢,内存相当于高速的缓冲区

    但是随着cpu的发展,内存的读写速度也远远赶不上cpu。因此cpu厂商在每颗cpu上加上高速缓存,用于缓解这种情况。现在cpu和内存的交互大致如下。

    cpu上加入了高速缓存这样做解决了处理器和内存的矛盾(一快一慢),但是引来的新的问题是缓存一致性

    缓存一致性

    在多核cpu中,每个处理器都有各自的高速缓存(L1,L2,L3),而主内存确只有一个 。

    CPU要读取一个数据时,首先从一级缓存中查找,如果没有找到再从二级缓存中查找,如果还是没有就从三级缓存或内存中查找,每个cpu有且只有一套自己的缓存。

    如何保证多个处理器运算涉及到同一个内存区域时,多线程场景下会存在缓存一致性问题,那么运行时保证数据一致性?

    为了解决这个问题,各个处理器需遵循一些协议保证一致性。【如MSI,MESI啥啥的协议。。】

    在CPU层面,内存屏障提供了个充分必要条件

    内存屏障(Memory Barrier)

    什么时内存屏障

    CPU中,每个CPU又有多级缓存【上图统一定义为高速缓存】,一般分为L1,L2,L3,因为这些缓存的出现,提高了数据访问性能,避免每次都向内存索取,但是弊端也很明显,不能实时的和内存发生信息交换,分在不同CPU执行的不同线程对同一个变量的缓存值不同。

    硬件层的内存屏障分为两种:Load BarrierStore Barrier即读屏障和写屏障。【内存屏障是硬件层的】

    为什么需要内存屏障

    由于现代操作系统都是多处理器操作系统,每个处理器都会有自己的缓存,可能存再不同处理器缓存不一致的问题,而且由于操作系统可能存在重排序,导致读取到错误的数据,因此,操作系统提供了一些内存屏障以解决这种问题.

    简单来说:

    1.在不同CPU执行的不同线程对同一个变量的缓存值不同,为了解决这个问题。
    2.用volatile可以解决上面的问题,不同硬件对内存屏障的实现方式不一样。java屏蔽掉这些差异,通过jvm生成内存屏障的指令。
    对于读屏障:在指令前插入读屏障,可以让高速缓存中的数据失效,强制从主内存取。

    内存屏障的作用

    cpu执行指令可能是无序的,它有两个比较重要的作用
    1.阻止屏障两侧指令重排序
    2.强制把写缓冲区/高速缓存中的脏数据等写回主内存,让缓存中相应的数据失效。

    java的内存模型

    线程n <--> 工作内存 <--> save和load <---> 主存

    java内存间的交互操作

    • lock(锁定):作用于主内存的变量,把一个变量标记为一条线程独占状态
    • unlock(解锁):作用于主内存的变量,把一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定
    • read(读取):作用于主内存的变量,把一个变量值从主内存传输到线程的工作内存中,以便随后的load动作使用
    • load(载入):作用于工作内存的变量,它把read操作从主内存中得到的变量值放入工作内存的变量副本中
    • use(使用):作用于工作内存的变量,把工作内存中的一个变量值传递给执行引擎
    • assign(赋值):作用于工作内存的变量,它把一个从执行引擎接收到的值赋给工作内存的变量
    • store(存储):作用于工作内存的变量,把工作内存中的一个变量的值传送到主内存中,以便随后的write的操作
    • write(写入):作用于主内存的变量,它把store操作从工作内存中的一个变量的值传送到主内存的变量中

    上面8中操作必须满足以下规则

    • 不允许read和load、store和write操作之一单独出现,即不允许一个变量从主内存读取了但工作内存不接受,或者从工作内存发起回写了但主内存不接受的情况出现。
    • 不允许一个线程丢弃它的最近的assign操作,即变量在工作内存中改变了之后必须把该变化同步回主内存。
    • 不允许一个线程无原因地(没有发生过任何assign操作)把数据从线程的工作内存同步回主内存。
    • 一个新的变量只能在主内存中“诞生”,不允许在工作内存中直接使用一个未被初始化(load或assign)的变量,换句话说,就是对一个变量实施use、store操作之前,必须先执行过了assign和load操作。
    • 如果对一个变量执行lock操作,那将会清空工作内存中此变量的值,在执行引擎使用这个变量前,需要重新执行load或assign操作初始化变量的值。
    • 如果一个变量事先没有被lock操作锁定,那就不允许对它执行unlock操作,也不允许去unlock一个被其他线程锁定住的变量。
    • 对一个变量执行unlock操作之前,必须先把此变量同步回主内存中(执行store、write操作)。

    JVM运行时数据区分布图

    JVM内存模型之程序计算器

    是什么

    • 程序计数器是一块较小的内存空间,它可以看作是当前线程所执行的字节码的行号指示器
    • 线程是一个独立的执行单元,是由CPU控制执行的
    • 字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成

    为什么

    • 为了线程切换后能恢复到正确的执行位置,每条线程都需要有一个独立的程序计数器,各条线程之间计数器互不影响,独立存储,我们称这类内存区域为“线程私有”的内存

    特点

    • 内存区域中唯一一 个没有规定任何 OutOfMemoryError 情况的区

    例子

    代码:

    javac编译成class文件

     

    分析:

    getId()方法的行号是9

    setId()方法的行号是17,18。

    JVM内存模型之java虚拟机栈

    是什么

    用于作用于方法执行的一块Java内存区域

    为什么

    每个方法在执行的同时都会创建一个栈帧(Stack Framel)用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完成的过程,就对应着一个栈帧在虚拟机栈中入栈到出栈的过程

     例子:

    执行过程:

    入栈:

    出栈:

     

    后进先出,先进后出的执行顺序。

    特点

    • 局部变量表存放了编译期可知的各种基本数据类型(boolean、byte、char、short、int、float、long、double)以及对象引用(reference 类型)
    • 如果线程请求的栈深度大于虚拟机所允许的深度,将抛出 StackOverflowError 异常

    JVM内存模型之本地方法栈讲解

    是什么

    • 用于作用域本地方法执行的一块Java内存区域(方法用native修饰)
    • 本地方法是由其他语言(如C、C++ 或其他汇编语言)编写,编译成和处理器相关的代码。本地方法保存在动态连接库中,格式是各个平台专用的,运行中的java程序调用本地方法时,虚拟机装载包含这个本地方法的动态库,并调用这个方法。
    • 通过本地方法,java程序可以直接访问底层操作系统的资源,但是这么用的话,程序就变成了平台相关了,因为本地方法的动态库是与平台相关的,此外,使用本地方法还可能把程序变得和特定的java平台实现相关。
    • java的本地方法接口JNI,使得本地方法可以在特定主机系统上的任何一个java平台上实现运行。
    • 如果希望使用特定主机上的资源,而他们又无法从JAVA  API访问,那么可以写一个平台相关的java程序来调用本地资源。如果希望保证平台的无关性,那么只能通过JAVA  API 来访问底层系统的资源。

    为什么

    与Java虚拟机栈相同,每个方法在执行的同时都会创建一个栈帧(Stack Framel)用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完成的过程,就对应着一个栈帧在虚拟机栈中入栈到出栈的过程

    特点

    Hotshot将Java虚拟机栈和本地方法栈合二为一

    JVM内存模型之JAVA堆

    是什么

    Java内存区域中一块用来存放对象实例的区域,【几乎所有的对象实例都在这里分配内存】

    为什么

    此内存区域的唯一目的就是存放对象实例

    Java 堆(Java Heap)是 Java 虚拟机所管理的内存中最大的一块, Java 堆是被所有线程共享的一块内存区域

    特点

    Java 堆是垃圾收集器管理的主要区域,因此很多时候也被称做“GC 堆”(Garbage)

      Java堆可以分成新生代和老年代 新生代可分为To Space、From Space、Eden Space

    查看java进程堆内存:

    JVM内存模型之方法区

    是什么

    是各个线程共享的内存区域,它用于存储已被虚拟机加载的类信息(类的版本号,方法,常量等)、常量、静态变量、即时编译器编译后的代码等数据

    为什么

    内存中存放类信息、静态变量等数据,属于线程共享的一块区域

    Hotspot使用永久代来实现方法区 JRockit、IBM J9VM Java堆一样管理这部分内存,目的是为了使用java的垃圾回收机制

    特点

    并非数据进入了方法区就如永久代的名字一样“永久”存在了。这区域的内存回收目标主要是针对常量池的回收和对类型的卸载

    方法区也会抛出OutofMemoryError,当它无法满足内存分配需求时

  • 相关阅读:
    正则表达式
    JS逻辑算法
    js函数
    JS运算符的应用
    JS课堂笔记
    json模块学习
    什么是面向对象,以及如何定义对象,实例化对象
    什么是面向过程,以及代码展示
    什么是元类,以及用type类来产生类.
    python下载安装
  • 原文地址:https://www.cnblogs.com/woxbwo/p/11489467.html
Copyright © 2011-2022 走看看