Java虚拟机之内存区域,今天这篇文章来深入理解一下把

简介: Java虚拟机之内存区域,今天这篇文章来深入理解一下把深入理解Java虚拟机之Java内存区域Java 虚拟机在执行 Java 程序的时候会把它所管理的内存分为多个不同的区域,每个区域都有不同的作用,以及由各自的生命周期,有些随着虚拟机进行的 启动而存在,有些区域则依赖于用户线程的启动或结束而建立或销毁等。

Java虚拟机之内存区域,今天这篇文章来深入理解一下把

深入理解Java虚拟机之Java内存区域

QQ_20190825204159

Java 虚拟机在执行 Java 程序的时候会把它所管理的内存分为多个不同的区域,每个区域都有不同的作用,以及由各自的生命周期,有些随着虚拟机进行的 启动而存在,有些区域则依赖于用户线程的启动或结束而建立或销毁等。在《Java虚拟机规范(Java SE7版)》中规定,Java 内存分为以下一种,如图所示:

QQ_20190825205338

1、程序计数器

程序计数器(Program Counter Register)是一个内存较小的区域,它可以被看作是当前线程所执行到的字节码的行号的指示器,字节码解释器在执行下一条指令,比如分支,跳转,循环,异常处理等都需要依赖这个计数器来完成的。

由于 Java 多线程是通过不断的切换分配处理器时间片的方式来实现的,在任何一个确定的时刻,一个处理器都只会执行一条指令。也就是说,在多线程中每个线程都可以抢到 cpu 的时间片,那么别抢去的线程会立即停止下来,直到它再一次获得 cpu 的时间片。那么, Java 虚拟机是如何确保再一次获得处理器时间片的时候能够在正确的位置上继续执行指令?

Java 虚拟机就是通过当前线程的程序计数器保证的,因为保存了当前线程上次执行结束的位置,因此,程序计数器是每个线程独有的,各线程之前的程序计数器互不影响,独立存储,我们称这类内存区域为“线程私有”的内存。

如果线程正在执行 Java 方法,这个计数器记录的是正在执行的虚拟机字节码指令的地址,如果正在执行的是 native 方法,那么这个计数器值则为空(Undefined);因为程序计数器记录的是当前线程字节码执行指令的地址,所以它的内存大小是不会随着线程的执行而发生变化,因此,该内存区域是唯一一个在 Java虚拟机规范中没有规定任何 OutOfMemeryError (内存溢出)的情况的区域。

  1. Java虚拟机栈

Java 虚拟机栈与程序计数器一样都是线程私有的,它的生命周期与线程一致,每当创建一个新的线程时都会产生一个新的的虚拟机栈,线程销毁时虚拟机栈也随即销毁。每个方法的执行都会创建一个栈帧用于存储局部变量、操作数栈、动态链表,方法的出口等信息。每个方法的执行到结束就对应着一个栈帧在虚拟机中入栈和出栈的过程。

我们在日常开发的过程的中经常会把 Java 内存分为堆内存和栈内存,这个说法是不准确的,因为 Java 内存区域的划分远比这个复杂的多,这种划分的方法只能说明程序员最关注的,与对象内存分配关系最密切的内存区域这两块,这里所说的栈其实指的是虚拟机中的局部变量表。

局部变量表中存放了编译期可知的基本数据类型(char,byte,int,boolean,short,float,long,double)、对象的引用(reference类型,指的是对象地址的引用指针或是句柄)、returnAddress类型(指向字节码指令的地址)。

局部变量表所需的内存空间在编译期完成分配,当进入一个方法时,这个方法所需要的栈帧的大小就已经确定了,在运行期间不会改变局部变量表的大小。其中64位长度的 long 和 double 类型的数据会占用两个局部变量空间(Slot),其余的数据类型只能占用1个。

在 Java虚拟机规范中,对虚拟机栈定义了两种异常:第一,如果线程请求的深度大于虚拟机栈所允许的最大深度,将抛出 StackoverflowError 异常,第二,如果虚拟机栈可以动态的扩展,当扩展时无法申请到足够的内存,则会抛出 OutOfMemoryError 异常。

2.1、运行时栈帧

栈帧是 Java 虚拟机用来进行方法的调用和方法的指定的数据结构,它是虚拟机运行时数据库的 Java 虚拟机栈的栈元素。

每一个栈帧都包含局部变量表、操作数栈、动态链接、方法返回地址和一些额外的附加信息。
__20190825202010

局部变量:

方法的参数和方法中声明的局部变量都存储在局部变量中。在 Class 编译的时候就已经确定了的局部变量表的最大容量,声明在方法的 Code 属性的max_locals 数据项中。变量槽(Slot)是局部变量表的最小单位,可以存储32位和64位的数据,64位的数据则需要两个连续的变量槽来表示。

操作数栈:也成为操作栈,是一个后进先出的结构。方法执行过程中的算术运算或者调用其它方法的参数传递的时候都是在操作数栈中进行的。

动态链接:Class 文件中存放了大量的符号引用,字节码中的方法调用指令就是以常量池中指向方法的符号引用作为参数。这些符号引用一部分会类第一次加载或第一次引用的时候转化为直接引用,这种转化称为静态解析。另一部分将在每一次运行期转化为直接引用,这部分称为动态连接。

返回地址:当一个方法执行完成后的出口,有两个情况:一是正常情况退出,会将返回值传递给上一个方法的调用者,另一种是异常情况,此时是没有返回值的。

3.本地方法栈

本地方法栈和 Java 虚拟机栈的作用是差不多的,他们的唯一区别在于: Java 虚拟机栈为虚拟机执行 Java 方法(字节码)服务,而本地方法栈则为虚拟机中 Native 方法服务。在虚拟机规范中并没有明确的规定本地方法栈使用何种语言与数据结构,可有具体的虚拟机去实现它。本地方法栈和 Java 虚拟机栈一样,也会抛出 StackoverflowError 和 OutOfMemoryError 两个异常。

4.Java堆

Java 堆是 Java 内存管理区域中最大的一块,Java 堆是所有线程共享的一块内存区域,在虚拟机启动时创建。 Java 堆是用来存放对象,几乎所有的 Java 对象和数组都存放在Java堆中,都在堆中分配空间。

Java 堆是立即回收器管理的主要区域,因此有人也会把 Java 堆称为“GC堆”。从垃圾回收的角度来看,由于现在大多数的收集器都是采用分代收集算法,所以 Java 堆还可以细分为:新生代和老年代;再细致一点有可以分为Eden 空间, From Survivor 空间、To Survivor 空间等;从内存分配的角度来看,线程共享的java堆中可能划分为多个线程私有的分配缓冲区(TLAB)。

这样分配是为了更好的回收内存和创建内存等,与存放的区域无关,都是存放 Java 对象。根据Java虚拟机规范的规定,Java 堆可以是物理上不连续的内存空间,只要逻辑上连续就可以了。在实现时可以设置固定大小的空,也可以动态扩展的,不过当前流程的虚拟机都是可以动态来扩展的。如果在堆中没有足够的空间来分配实例对象,或者无法扩展堆空间,那么就会抛出 OutOfMemoryError 异常。

5.方法区

方法区和 Java 堆一样,都是线程共享的内存区域,它主要用于存储已被虚拟机加载的类信息,常量,静态变量,即时编译器编译后的代码等数据。虽然 Java 虚拟机规范把方法区描述为 Java 堆的一部分,但是它却有一个别名叫做 Non-Heap(非堆),目的是与 Java 堆分开。

Java 虚拟机规范对方法区的限制非常的宽松,除了和 Java 堆一样不需要物理上连续的内存和可以选择固定大小空间或动态扩展为,还可以选择不实现垃圾回收。相对而言,垃圾回收是比较少在这个区域中出现的,但并非进入到方法区的数据都能永久的存在的。这块区域的的内存回收目标主要是针对常量池的回收和对类型的卸载,但是回收的效果并不是非常明显,特别是对类型的卸载,条件非常的苛刻,但这块内存的回收是非常必要的。在 SUN 公司的 BUG列表中,曾经出现过若干个非常严重的 BUG ,就是由于低版本中 Hotspot 虚拟机没有对此内存区域进行回收造成的。

根据 Java 虚拟机规范的规定,当方法区无法满足内存分配的需求时,将抛出 OutOfMemoryError 异常。

6.运行时常量池

运行时常量池是属于方法区的一部分。 Class 文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池,用于存放编译期生成的各种字面量和符号引用,这部分的内容将在类加载完成 后进入到方法区的运行时常量池中存放。

运行时常量池相对于 Class 文件常量池的另一个特征是具备动态性,Java 语言并不要求常量一定只有编译期才能产生,也就是并非预置入 Class 文件中的常量池的内容才可以进入方法区的运行时常量池,运行期间也可以将新的常量放入到池中,比如 String 类的 intern 方法。

既然运行时常量池是存在于方法区中的,那么在无法分配到足够的内存是也会抛出 OutOfMemoryError 异常。

最后福利来咯。有很多不了解想要学习的朋友们,小编也准备了一些学习资料,可以免费分享给大家,有视频还有面试题,面试题都整理成了pdf,需要的话可以关注我的公众号 Java周某人 就可以免费领取拉

相关文章
|
6天前
|
安全 Java 程序员
深入理解Java内存模型与并发编程####
本文旨在探讨Java内存模型(JMM)的复杂性及其对并发编程的影响,不同于传统的摘要形式,本文将以一个实际案例为引子,逐步揭示JMM的核心概念,包括原子性、可见性、有序性,以及这些特性在多线程环境下的具体表现。通过对比分析不同并发工具类的应用,如synchronized、volatile关键字、Lock接口及其实现等,本文将展示如何在实践中有效利用JMM来设计高效且安全的并发程序。最后,还将简要介绍Java 8及更高版本中引入的新特性,如StampedLock,以及它们如何进一步优化多线程编程模型。 ####
14 0
|
1月前
|
存储 Java 编译器
Java内存模型(JMM)深度解析####
本文深入探讨了Java内存模型(JMM)的工作原理,旨在帮助开发者理解多线程环境下并发编程的挑战与解决方案。通过剖析JVM如何管理线程间的数据可见性、原子性和有序性问题,本文将揭示synchronized关键字背后的机制,并介绍volatile关键字和final关键字在保证变量同步与不可变性方面的作用。同时,文章还将讨论现代Java并发工具类如java.util.concurrent包中的核心组件,以及它们如何简化高效并发程序的设计。无论你是初学者还是有经验的开发者,本文都将为你提供宝贵的见解,助你在Java并发编程领域更进一步。 ####
|
8天前
|
存储 监控 算法
Java内存管理深度剖析:从垃圾收集到内存泄漏的全面指南####
本文深入探讨了Java虚拟机(JVM)中的内存管理机制,特别是垃圾收集(GC)的工作原理及其调优策略。不同于传统的摘要概述,本文将通过实际案例分析,揭示内存泄漏的根源与预防措施,为开发者提供实战中的优化建议,旨在帮助读者构建高效、稳定的Java应用。 ####
21 8
|
14天前
|
Java
java内存区域
1)栈内存:保存所有的对象名称 2)堆内存:保存每个对象的具体属性 3)全局数据区:保存static类型的属性 4)全局代码区:保存所有的方法定义
20 1
|
26天前
|
Arthas 监控 Java
JVM进阶调优系列(9)大厂面试官:内存溢出几种?能否现场演示一下?| 面试就那点事
本文介绍了JVM内存溢出(OOM)的四种类型:堆内存、栈内存、元数据区和直接内存溢出。每种类型通过示例代码演示了如何触发OOM,并分析了其原因。文章还提供了如何使用JVM命令工具(如jmap、jhat、GCeasy、Arthas等)分析和定位内存溢出问题的方法。最后,强调了合理设置JVM参数和及时回收内存的重要性。
|
28天前
|
缓存 算法 Java
本文聚焦于Java内存管理与调优,介绍Java内存模型、内存泄漏检测与预防、高效字符串拼接、数据结构优化及垃圾回收机制
在现代软件开发中,性能优化至关重要。本文聚焦于Java内存管理与调优,介绍Java内存模型、内存泄漏检测与预防、高效字符串拼接、数据结构优化及垃圾回收机制。通过调整垃圾回收器参数、优化堆大小与布局、使用对象池和缓存技术,开发者可显著提升应用性能和稳定性。
45 6
|
24天前
|
Java Linux Windows
JVM内存
首先JVM内存限制于实际的最大物理内存,假设物理内存无限大的话,JVM内存的最大值跟操作系统有很大的关系。简单的说就32位处理器虽然可控内存空间有4GB,但是具体的操作系统会给一个限制,这个限制一般是2GB-3GB(一般来说Windows系统下为1.5G-2G,Linux系统下为2G-3G),而64bit以上的处理器就不会有限制。
19 1
|
5天前
|
存储 监控 算法
Java内存管理的艺术:深入理解垃圾回收机制####
本文将引领读者探索Java虚拟机(JVM)中垃圾回收的奥秘,解析其背后的算法原理,通过实例揭示调优策略,旨在提升Java开发者对内存管理能力的认知,优化应用程序性能。 ####
19 0
|
1月前
|
存储 缓存 安全
Java内存模型(JMM):深入理解并发编程的基石####
【10月更文挑战第29天】 本文作为一篇技术性文章,旨在深入探讨Java内存模型(JMM)的核心概念、工作原理及其在并发编程中的应用。我们将从JMM的基本定义出发,逐步剖析其如何通过happens-before原则、volatile关键字、synchronized关键字等机制,解决多线程环境下的数据可见性、原子性和有序性问题。不同于常规摘要的简述方式,本摘要将直接概述文章的核心内容,为读者提供一个清晰的学习路径。 ####
40 2
|
1月前
|
存储 安全 Java
什么是 Java 的内存模型?
Java内存模型(Java Memory Model, JMM)是Java虚拟机(JVM)规范的一部分,它定义了一套规则,用于指导Java程序中变量的访问和内存交互方式。
68 1