知识总结——JVM

最新推荐文章于 2024-10-08 15:43:24 发布

韩建鑫院长

最新推荐文章于 2024-10-08 15:43:24 发布

阅读量127

点赞数

分类专栏： jvm 文章标签： jvm java

本文链接：https://blog.csdn.net/hscch/article/details/107941196

版权

jvm 专栏收录该内容

4 篇文章 0 订阅

订阅专栏

内存区域

Java虚拟机在执行Java程序的过程中把它管理的内存划分为若干个不同的数据区。

程序计数器：当前线程所执行的字节码的行号指示器，字节码解释器工作时通过改变这个计数器的值来选取下一条需要执行的字节码指令。分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖它；多线程场景下，程序计数器用于记录本线程执行位置情况，方便下次切换回来继续执行。此区域是唯一一个不会出现OutOfMemoryError的区域，生命周期随线程
虚拟机栈：生命周期跟线程一样，描述的是Java方法执行的内存模型，每个方法在执行的同时创建一个栈帧，用于存放局部变量表、操作数栈、动态链接、方法出口等信息。
局部变量表：存放了编译期可知的基本数据类型、对象引用和returnAddress类型。它所需的内存大小在编译期完成分配，在方法的运行期不改变。注：线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError；如果虚拟机栈可以动态扩展，扩展的时候申请不到足够内存则抛出OutOfMemoryError。
本地方法栈：与虚拟机作用相似，但是它执行的是Native方法。
堆：Java虚拟机管理内存最大的一块，线程共享，在虚拟机启动时创建，几乎所有的对象实例都在这里分配内存。它是垃圾收集器管理的主要区域，因此也叫做GC堆。从内存回收的角度来看，由于现在的收集器基于分代收集算法，所以堆还可以细分为新生代和老年代。Java堆可以是物理上不连续的内存空间，逻辑连续即可。如果在堆中没有内存完成实力分配，并且堆也无法扩展时，抛出OutOfMemoryError异常。
方法区：线程共享。存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。因为GC分代收集扩展至方法区，所以一部分人称方法区为永久代。它还可以选择不实现垃圾收集，内存回收的主要目标是针对常量池的回收和对类型的卸载。当方法区无法满足内存分配需求时，将抛出OutOfMemoryError异常。

运行时常量池：方法区的一部分。class文件中除了有类的版本、字段、方法、接口等描述信心外，还有一项信息是常量池，用于存放编译期生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放。相对于class文件的常量池特征是具有动态性，也可以将新的常量放入池中（String类的intern方法），无法申请到内存时抛出OutOfMemoryError异常。JDK1.7后运行时常量池放在了堆中。
直接内存：非运行时数据区，但是会发生OutOfMemoryError异常，会被频繁使用。NIO类可以使用native函数库直接分配堆外内存，然后存储在堆中的DirectByteBuffer对象会直接引用这块内存，避免了java堆和native堆来回复制数据。它的大小受本机总内存的影响。

内存分配与回收策略

对象优先在Eden分配：大多数情况下对象在Eden上分配，当Eden没有足够的空间时，虚拟机发起一次Minor GC。

Minor GC：发生在新生代的垃圾收集动作，因为Java大多数对象朝生夕灭，所以Minor GC比较频繁，一次回收速度比较快。

Major GC/Full GC：老年代GC，出现则至少伴有一次Minor GC，Major GC速度比Minor GC慢10倍以上。
大对象直接进老年代：需要大量连续内存空间的对象，如长字符串及数组。经常出现大对象容易提前触发垃圾收集。
长期存活的对象进老年代：虚拟机每个对象定义一个对象年龄计数器。当对象在Eden出生并经过一次Minor GC后仍然存活，并能被Survivor容纳则将被移动到Survivor空间中，并且对象年龄设为1.对象在Survivor每熬过一次Minor GC，年龄加一，到达一定程度，默认15岁，就会被晋升到老年代。如果在Survivor空间相同年龄所有对象的大小总和大于空间的一半，年龄大于或等于该年龄的对象进入老年代。没必要等默认的15岁或者设置的值。

Java对象创建过程

大概过程：类加载检查、分配内存、初始化零值、设置对象头、执行init方法。

类加载检查：虚拟机遇到new指令后，首先检查这条new指令的参数在常量池中是否有类引用，并检查这个类引用是否被加载、解析和初始化，如果没有则先执行类加载过程。
分配内存：虚拟机为新生对象分配内存，对象所需的内存大小在类加载完后确定，划分方式根据内存是否规整有两种：

a.内存规整：指针碰撞（分配内存就是移动指针）

b.内存不规整：空闲列表（虚拟机维护一个列表，记录可用的内存块，分配的时候找到大小合适的内存块并更新列表记录）

注：分配内存时Java堆是否规整取决于GC算法是否是标记整理算法。分配内存在并发场景下线程不安全，解决方法有两种：

a.对分配内存的动作进行同步处理，采用CAS+失败重试保证更新操作的原子性。

b.TLAB：把内存分配的动作按照线程划分在不同的空间中进行，即每个线程在Java堆中预先分配一小块内存，TLAB。分配内存时先在TLAB上分配，TLAB不够或用完时采用方式a。
初始化零值：分配完内存后虚拟机需要将分配到的内存空间都初始化为零值，不包括对象头，如果使用TLAB，这一操作可以提前到TLAB分配时进行。这步操作保证了对象的实例字段在Java代码中可以不赋初始值就可以使用。
设置对象头：虚拟机设置对象的必要信息，如类实例信息、元数据信息、对象的哈希码、对象的GC分代年龄，是否使用偏向锁
执行init方法：执行完new指令后执行init方法。

对象的内存布局

对象在内存布局中划分为3块区域：对象头、实例数据、对齐填充。

对象头：存储对象的运行时数据、如哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳，长度为32bit或64bit，不固定；另一部分为类型指针，虚拟机通过这个指针来确定这个对象是哪个类的实例。
实例数据：代码中定义的各种类型的字段内容。父类中的变量会出现的子类之前，但是CompactFields为true时，子类中较窄的变量可能会插入父类变量的空隙中。
对齐填充：起占位符作用。对象大小必须是8的整数倍，没对齐时填充。

对象的访问定位

对象的访问方式取决于虚拟机实现。目前主流的有句柄和直接指针两种。

句柄：reference中存储对象的句柄地址，句柄中包含对象的实例数据与类型数据各自的具体地址。

优点：移动对象后不需要改变引用本身，只需要改句柄中的实例数据指针。

直接指针：reference中存储的就是对象实例数据指针，优点是访问速度快，节省了一次指针定位的开销。

判断对象死亡

垃圾收集之前要判断对象的存亡情况。对象死亡是指对象不可能再被使用。

引用计数算法：给对象中添加一个引用计数器，有引用加1，引用失效减1，为0时对象不可再被使用。
可达性分析算法：通过一系列的称为GC Roots的对象作为起始点开始向下搜索，走过的路径称为引用链，当一个对象到GC Roots没有任何引用链相连，则证明对象不可用。

注：判断为不再引用的对象暂处缓刑阶段。

引用

强引用：类似User u = new User()，只要强引用还在，垃圾收集器永远不会回收被引用的对象。
软引用：描述有用但非必须的对象。在系统将要发生内存溢出异常之前，将会把这些对象列进回收范围内进行二次回收。如果还不够才溢出。
弱引用：描述非必须对象，比软引用更弱。被弱引用关联的对象只能生存到下一次垃圾收集发生之前，当进行回收时，就会被回收掉。
虚引用：最弱的引用。无法通过虚引用获取对象实例，作用就是被垃圾回收前收到系统通知。

方法区的回收

回收废弃常量和无用类。无用类同时满足三个条件：

该类所有实例被回收。
加载该类的classLoader被回收。
该类对应的java.lang.Class对象没有任何地方被引用，无法在任何地方通过反射访问该类的方法。

垃圾收集算法

标记-清除算法Mark-Sweep：分为标记和清除两个阶段，先标记出所有要被回收的对象，完成后统一回收。

缺点：效率低；空间碎片化严重。

复制算法Copying：将可用内存划分为大小相等的两块，每次只用其中一块，当这一块用完，就将还存活的对象复制到另一块上，把已用的空间一次性清理掉。

缺点：将内存缩小为原来的一半，成本高。

标记-整理算法：标记过程与标记清除算法一样，后续不是直接清理内存，而是让还存活的对象移向一端，然后直接清理端边界以外的内存。
分代收集算法：根据对象存活周期不同划分内存。一般把堆内存划分为新生代和老年代，各代根据特点采用最适当的算法。新生代对象存活率低采用复制算法，成本小。老年代对象存活率高、没有额外的空间对它进行分配担保，采用标记清除或标记整理。