热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

java堆的内存规整_java内存分配与溢出

Java程序而言,Java虚拟机有自动内存管理机制,不需要开发人员去手动释放内空间,也不容易出现内存泄漏和溢出的问题,一切看

Java程序而言,Java虚拟机有自动内存管理机制,不需要开发人员去手动释放内空间,也不容易出现内存泄漏和溢出的问题,一切看起来都很完美。一旦出现内存泄漏和溢出方面的问题,如果不了解Java虚拟机是怎么样使用内存的,那么排查起来将困难。以往对内存的理解仅仅停留在栈、堆这两个部分,其实Java虚拟机的还有其他分区远比这复杂。接下来将介绍Java虚拟机主要的几个区域及其作用、内存溢出。

java虚拟机在执行Java程序时会把其管理的内存划分为若干个不同的数据区域,这些区域都有各自的用途、创建和销毁时间。线程共享区域的数据区域随着虚拟机启动而存在,线程隔离的数据区域依赖线程的启动而创建、线程结束而销毁。

b9252ae652aa0db4da827866ff43b95e.png

Java虚拟机运行时数据区

程序计数器

程序计数器是一块较小的内存空间,它可以看成是当前线程执行的字节码的行号指示器。其实程序计数器就是一个寄存器用来存放当前正在被执行的指令,也可以存放下一个要被执行的指令。

在虚拟机的概念模型中,字节码解释器工作时就是通过改变这个计数器的值来选择下一条需要执行的字节码指令,由于Java虚拟机的多线程是通过线程轮流切换并分配处理执行时间的方式实现的,在任何一个确定的时刻,一个处理器(一个内核)都只会执行一条线程中的指令。因此,为了线程切换后还能恢复到正确的执行位置,每条线程都需要拥有一个独立的程序计数器,各条线程之间计数器互不影响,独立存储,所以这部份内存区域我们称之为线程私有内存,即线程隔离。

Java虚拟机栈

和程序计数器一样,Java虚拟机栈也是线程私有的,它的生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型:每个方法在执行时都会创建一个栈帧用来存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完成的过程,就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。

局部变量表存放了编译期可知的各种基本数据类型(boolean-1、byte-1、char-2、short-2、int-4、float-4、long-8、double-8),对象引用(reference类型,可能是一个对象起始地址的引用指针,也可能是指向一个代表对象的句柄或其他与此对象相关的位置)和returnAddress类型(指向一条字节码指令的地址)。局部变量表所需要的内存空间在编译时期完成分配。进入一个方法时,这个方法需要在帧中分配多大的局部变量空间是完全确定的,在方法运行期间不会改变局部变量表的大小。

本地方法栈

本地方法栈是与虚拟机栈所发挥的作用是非常相似的,他们之间的区别就是虚拟机栈为虚拟机执行Java方法(也就是字节码)服务,而本地方法栈则为虚拟机使用到的Native方法服务。虚拟机规范中对本地方法栈中方法所使用的语音、使用方式以及数据结构 都没有强制规定,因此具体的虚拟机可以自由地实现它。甚至在有的虚拟机中直接将虚拟机栈和本地方法栈合并为一个。和虚拟机栈一样,本地方法栈区也会抛出StackOverflowError和OutOfMemory异常。

Java 堆

对应大多数应用来说,Java堆是Java虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的一块内存区域,在虚拟机启动时候创建。此内存区域的唯一目的就是存放对象实例,几乎所有的内存实例都在这里分配内存。Java虚拟机规范中的描述是:所有的对象实例以及数组都要在堆上分配,但随着JIT编译器的发展与逃逸分析技术逐渐成熟,栈上分配、标量替换优化技术将会导致一些微妙的变化 ,所哟的对象都分配在堆上也渐渐变得不是那么“绝对”了。

Java堆是垃圾收集器管理的主要区域,因此很多时候也被称为GC堆,现在收集器基本采用分代收集算法,所以Java堆中还可以细分为:新生代和老年代。根据Java虚拟机规范的规定,Java堆可以处于物理上不连续的内存空间中,只要逻辑上是连续的即可,就像我们的磁盘空间一样。在实现时,可以固定大小,也可是可拓展的,主流的虚拟机都是按照可拓展来实现的(通过-Xmx和-Xms来控制)。如果在堆中没有内存完成实例分配,并且堆也无法继续拓展时,将会抛出OutOfMemortError异常。

方法区

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

Java虚拟机规范对方法区的限制非常松,除了和Java堆一样,不需要连续的内存和可以选择固定大小或者可扩展外,还可以选择不实现垃圾收集。相对而言,垃圾收集在这个区域是比较少出现的,这个区域内存回收的主要目标是针对常量池的回收和对类型的卸载。根据Java规范的规定,当方法区无法满足内存分配需要时,将抛出OutOfMemoryError异常。

运行时常量池

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

运行时常量池具备动态性,Java语音并不要求常量一定只有编译期才能产生,也就是并非预置入class文件中常量池的内容才能进入方法区运行时常量池,运行时期也可能将新的常量放入池中,这种特性被开发人员利用得比较多的便是String类的intern()方法。既然运行时常量池是方法区的一部分,自然受到方法区内存的限制,当常量池无法再申请到内存时会抛出OutOfMemoryError异常。

直接内存

由于直接内存(Direct Memory)并不是虚拟机运行时数据区的一部分,也不是Java虚拟机规范中定义的内存区域。但是这部分内存也被频繁地使用,而且也可能导致内存溢出异常(OutOfMemoryError)出现,所以也放到这部分进行介绍。显然,本机直接内存的分配不会受到Java堆大小的限制。但是肯定还是会受到本机总内存大小以及处理器寻址空间的限制。管理员在配置虚拟机参数时,会根据实际内存设置-Xmx等参数信息,但经常忽略直接内存,使得各个内存区域总和大于物理内存限制(包括物理的和操作系统级的限制),从而导致动态拓展时出现OutOfMemoryError异常。

对象的创建方式

虚拟机遇到一条new指令时,首先去检查这个指令的参数能否在常量池中定位到一个类的符合引用。并且检查这个符号引用代表的类是否已经被加载、解析和初始化过。如果没有,那就先执行加载过程。在类加载完成后,虚拟机将为新生对象分配内存。对象所需要的内存大小在类加载完成之后便可完全确定,为对象分配空间的任务等同于把一块确定大小的内存从Java堆中划分出来。

为对象分配内存空间有两种方式:

指针碰撞:假设Java堆中内存是规整的,所有用过的内存都放在一边,空闲的内存放在另一边,中间放着一个指针作为分界点的指示器,那分配内存就是将指针往空间空间挪动一段与对象大小相等的距离,这种分配内存的方式就被称为指针碰撞;

空闲列表:如果Java堆中的内存并不是规整的,已经使用的内存和空闲内存相互交错,那就没有办法简单地使用指针碰撞的方法进行内存分配了。虚拟机此时必须维护一个列表用来记录哪些内存块是可用的,在分配的时候从列表中找到一块足够大的空间为分配给对象实例,并且更新列表上的记录,这种分配方式就被称为空闲列表。

选择哪一种分配方式由Java堆是否规整决定,而Java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定。

对象的内存布局

HotSpot虚拟机中,对象在内存中存储的布局分为3块区域:对象头、实例数据、对齐填充。

对象头由两部分信息组成,第一部分用于存储对象自身运行时的数据,如哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等。第二部分是类型指针,即对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例,并不是所有的虚拟机实现都必须在对象数据上保留类型指针,换句话说,查找对象的元数据信息并不一定要经过对象本身。另外,如果对象是一个Java数组,那在对象头中还必须有一块用于记录数组长度的数据,因为虚拟机可以通过普通Java对象的元数据信息确定Java对象的大小,但是从数组的元数据中却无法确定数组的大小。

实例数据是对象真正存储的有效信息,也是在程序代码中所定义的各种类型的字段内容。无论是从父类继承下来的,还是在子类中定义的,都需要记录起来。这部分的存储顺序会受到虚拟机分配策略参数和字段在Java源码中定义顺序的影响。

对齐填充并不是必然存在的,也没有特别的含义,它仅仅起着占位符的作用。由于HotSpot VM的自动内存管理系统要求对象起始地址必须是8个字节的整数倍,换句话说,就是对象对象的大小必须是8字节的整数倍。而对象头部分正好是8字节的整数倍,因此,当对象实例数据部分没有对齐时,就需要通过补齐填充来补全。

对象的访问定位

建立对象是为了使用对象,我们的Java程序需要通过栈上的reference数据来操作堆上的具体对象。由于reference类型在Java虚拟机规范中只规定了一个指向对象的引用,并没有定义这个引用应该通过何种方式去定位、访问堆中的对象的具体位置,所以对象访问方法也是取决于虚拟机的实现而决定的。目前主流的访问方式有使用句柄和直接指针两种。

如果使用句柄的话,那么Java堆中将会划分一块内存来作为句柄池,reference中存储的就是对象的句柄地址,而句柄中存储的就是对象实例数据与类型数据具体地址信息。优点:reference存储的是稳定的句柄地址,在对象被移动时只会改变句柄中的实例数据指针,而reference本身不需要修改。缺点:增加了一次指针定位的时间开销。

74985f5f15f4e4aedabbe144d5125eee.png

通过句柄访问对象

如果使用直接指针访问方式最大的好处就是速度更快,它节省了一次指针定位的时间开销,由于对象的访问在Java中非常频繁,因此这类开销积少成多后也是一项非常可观的执行成本。缺点:在对象被移动时reference本身需要被修改。

a03d3e135c343534d08225f17ccff559.png

通过直接指针访问对象

内存溢出

堆溢出

Java堆唯一的作用就是存储对象实例,只要保证不断创建对象并且对象不被回收,那么对象数量达到最大堆容量限制后就会产生内存溢出异常了。

虚拟机栈和本地方法栈溢出

Java虚拟机规范中描述了如果线程请求的栈深度太深(换句话说方法调用的深度太深),就会产生栈溢出了。那么,我们只要写一个无限调用自己的方法,自然就会出现方法调用的深度太深的场景了。

如果线程请求的栈深度大于虚拟机所允许的最大深度,将抛出StackOverflowError异常;

如果虚拟机在扩展栈时无法申请到足够的内存空间,则抛出OutOfMemoryError异常。

这里把异常分为两种情况,看似较为严谨,但却存在着一些互相重叠的地方:当栈空间无法继续分配时,到底是已使用的栈空间太大,还是内存太小,其本质上都只是对同一件事情的两种描述而已。



推荐阅读
  • 深入解析Java虚拟机(JVM)架构与原理
    本文旨在为读者提供对Java虚拟机(JVM)的全面理解,涵盖其主要组成部分、工作原理及其在不同平台上的实现。通过详细探讨JVM的结构和内部机制,帮助开发者更好地掌握Java编程的核心技术。 ... [详细]
  • 深入解析动态代理模式:23种设计模式之三
    在设计模式中,动态代理模式是应用最为广泛的一种代理模式。它允许我们在运行时动态创建代理对象,并在调用方法时进行增强处理。本文将详细介绍动态代理的实现机制及其应用场景。 ... [详细]
  • 利用jstack进行死锁检测与线程堆栈分析
    本文介绍了如何使用jstack工具进行Java应用中的死锁检测及高CPU使用率线程的堆栈分析,帮助开发者快速定位并解决性能瓶颈。 ... [详细]
  • 本文探讨了在Java中如何正确地将多个不同的数组插入到ArrayList中,避免所有数组在插入后变得相同的问题。我们将分析代码中的问题,并提供解决方案。 ... [详细]
  • 本文详细介绍了如何在PHP中进行数组删除、清空等操作,并提供了在Visual Studio Code中创建PHP文件的步骤。 ... [详细]
  • 本文介绍如何从字符串中移除大写、小写、特殊、数字和非数字字符,并提供了多种编程语言的实现示例。 ... [详细]
  • 探讨如何修复Visual Studio Code中JavaScript的智能感知和自动完成功能在特定场景下无法正常工作的问题,包括配置检查、语言模式选择以及类型注释的使用。 ... [详细]
  • 在高并发需求的C++项目中,我们最初选择了JsonCpp进行JSON解析和序列化。然而,在处理大数据量时,JsonCpp频繁抛出异常,尤其是在多线程环境下问题更为突出。通过分析发现,旧版本的JsonCpp存在多线程安全性和性能瓶颈。经过评估,我们最终选择了RapidJSON作为替代方案,并实现了显著的性能提升。 ... [详细]
  • 深入解析ArrayList与LinkedList的差异
    本文详细对比了Java中ArrayList和LinkedList两种常用集合类的特性、性能及适用场景,通过代码示例进行测试,并结合实际应用场景分析其优缺点。 ... [详细]
  • 本文探讨了在 SQL Server 中使用 JDBC 插入数据时遇到的问题。通过详细分析代码和数据库配置,提供了解决方案并解释了潜在的原因。 ... [详细]
  • 深入剖析JVM垃圾回收机制
    本文详细探讨了Java虚拟机(JVM)中的垃圾回收机制,包括其意义、对象判定方法、引用类型、常见垃圾收集算法以及各种垃圾收集器的特点和工作原理。通过理解这些内容,开发人员可以更好地优化内存管理和程序性能。 ... [详细]
  • CentOS 6.8 上安装 Oracle 10.2.0.1 的常见问题及解决方案
    本文记录了在 CentOS 6.8 系统上安装 Oracle 10.2.0.1 数据库时遇到的问题及解决方法,包括依赖库缺失、操作系统版本不兼容、用户权限不足等问题。 ... [详细]
  • 本文详细介绍了C语言中的基本数据类型,包括整型、浮点型、字符型及其各自的子类型,并探讨了这些类型在不同编译环境下的表现。 ... [详细]
  • Java多重继承的替代方案及设计考量
    本文探讨了Java为何不支持多重继承,并深入分析了其背后的原理和替代方案。通过理解Java的设计哲学,开发者可以更好地利用接口和其他特性来实现复杂的类结构。 ... [详细]
  • Java 中重写与重载的区别
    本文详细解析了 Java 编程语言中重写(Override)和重载(Overload)的概念及其主要区别,帮助开发者更好地理解和应用这两种多态性机制。 ... [详细]
author-avatar
严重孤独症患者_855
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有