JVM知识点

一 运行时数据区域

线程私有:程序计数器,虚拟机栈,本地方法栈
线程共享:堆,方法区,直接内存(非运行时数据区的一部分)
1. 程序计数器

程序计数器是一块比较小的内存空间,可以看作当前线程所执行的字节码的行号指示器。字节码解释器工作时通过改变计数器对值来选取下一条需要执行的字节码指令。

程序计数器主要有两个作用:

  • 字节码解释器通过程序计数器记录的行号去依次读取指令,从而实现对代码的流程控制
  • 在多线程的情况下,程序计数器用于记录当前线程执行的位置,从而当线程被切换回来的时候,可以找到之前执行的位置再去顺序执行代码
2. JAVA虚拟机栈

JAVA虚拟机栈在内存区域中是一块比较重的,它与程序计数器一样JAVA虚拟机栈也是线程私有的,其生命周期和线程相同。

JAVA虚拟机栈是存放局部变量的,JAVA虚拟机栈是有一个一个栈帧组成的,而每个栈帧中拥有:局部变量表,操作数栈,动态链接,方法出口等信息。

1.  局部变量表:主要是存放我们创建的局部变量的信息
2.  操作数栈:主要是进行操作数的赋值和运算的操作的。
3.  动态链接:指的是我们的对象变量指向堆中的实例,这个引用就是我们所说的动态链接。
4.  方法出口:一般指的是我们方法的出口,相当于一个位置的标记,标记我们方法结束后的位置,以至于可以让我们的程序向下有序的执行。
3. 本地方法栈

和虚拟机栈类似,区别是:虚拟机栈为虚拟机执行JAVA方法服务,而本地方法栈则为虚拟机使用的本地(native)方法服务。

本地方法被执行的时候,也会去创建一个一个栈帧,栈帧包含:局部变量,操作数栈,动态链接,方法出口等。

4.方法区

方法区是线程共享的,所有的线程共享一个方法区。方法区里面存放的是类的信息,运行常量池,静态变量等信息。

方法区也被成为永久代,方法区其实一种规范,就像接口和接口的实例一样,永久代也就是方法区的实现,JDK1.8之后我们用元空间去取缔永久代去实现我们的方法区。

永久代替换为元空间的原因:
1.元空间在直接内存中,而永久代原先是在JVM的内存中是一块固定的大小区域,我们使用元空间去替换,我们系统可以直接根据当前的内存的大小更加友好的去分配想对应的内存空间给方法区,让方法区有更大的空间,加载更多的类,更多的信息,提高我们效率。
2.使用直接内存可以降低原本因JVM内存大小不够而导致的OutMemoryEroor内存溢出的问题产生。
5. 堆

堆和方法区一样是线程共享的,堆在我们JVM中占据最大的一块内存空间,在虚拟机启动时创建

JAVA中的对象在堆中进行内存分配。

JAVA堆也是垃圾收集器管理的主要区域,因此也被称为GC堆。从垃圾回收的角度来说,由于现在的收集器基本都采用分代垃圾收集算法,所以JAVA堆还可以划分为:新生代,老年代。在细化有:Eden空间,From Survivor,TO Survivor空间等。

JDK1.7版本,堆内存被通常划分为下面三个部分
  • 新生代内存
  • 老年代内存
  • 永久代内存
JDK1.8版本,堆内存被通常划分为下面三个部分
  • 新生代内存
  • 老年代内存
  • 元空间

JDK 8 版本之后方法区(HotSpot 的永久代)被彻底移除了(JDK1.7 就已经开始了),取而代之是元空间,元空间使用的是直接内存

大部分情况,对象都会首先在 Eden 区域分配,在一次新生代垃圾回收后,如果对象还存活,则会进入 s0 或者 s1,并且对象的年龄还会加 1(Eden 区->Survivor 区后对象的初始年龄变为 1),当它的年龄增加到一定程度(默认为 15 岁),就会被晋升到老年代中。对象晋升到老年代的年龄阈值,可以通过参数 -XX:MaxTenuringThreshold 来设置。

二 对象的创建过程

对象的创建过程分为五步:

1. 类加载检查

虚拟机遇到一挑new的指令时,首先会去检查这个指令参数是否能在常量池里面定位到类的符号引用,然后去加载,解析类。

2. 分配内存空间

在虚拟机加载好对象类后,JVM会为新生对象分配内存空间,对象所需的内存空间的大小在类加载之后既可以进行确定,为对象分配内存空间其本质就是把一块确定大小的内存从Java堆中划分出来。

分配内存的方式:

1.指针碰撞:堆内存规整(即没有内存碎片的)的情况下,用过的内存会全部被整合到另一边,没有用过的内存会放到另一边,中间有一个指针分割线,在内存进行分配的时候,只需要将中间的指针进行向空闲区域移动对象内存大小的空间,既可以完成内存的分配。

2.空闲列表:堆内存不规则(内存碎片较多)的情况下,虚拟机会维护一个列表,该列表会记录哪些内存块是可用的,在分配的时候,找一块足够大的内存块去划分给对象实例。
3. 初始化零值

初始化零值完成之后,虚拟机要对对象分配到的内存空间进行初始化(不包含对象头),这一操作保证了对象的实例字段在java代码中可以不赋初始值就直接使用,程序可以访问到这些字段的数据类型对应的零值

4. 设置对象头

初始化零值完成之后,虚拟机要对对象进行必要的设置,例如这个对象是哪个类的实例,如何才能找到类的元数据信息,对象的哈希码,对象的GC分代年龄信息等。这些数据都是存放在我们的对象头中的。

5.执行init方法

在上面的步骤都完成之后,在JVM虚拟机的角度来看一个对象算真的完成好创建了。但是在我们的JAVA程序的视角来看的话,其init初始化方法还没有被执行,所以一般来说,执行new指令之后会接着执行init方法,把对象按照程序员所定义的init方法去执行相对应的初始化。

三 JVM垃圾回收

Java 的自动内存管理主要是针对对象内存的回收和对象内存的分配。同时,Java 自动内存管理最核心的功能是堆内存中对象的分配与回收。
Java 堆是垃圾收集器管理的主要区域,因此也被称作GC 堆(Garbage Collected Heap).从垃圾回收的角度,由于现在收集器基本都采用分代垃圾收集算法,所以 Java 堆还可以细分为:新生代和老年代:再细致一点有:Eden 空间、From Survivor、To Survivor 空间等。进一步划分的目的是更好地回收内存,或者更快地分配内存。
堆空间的基本结构:

UNqjw4.png

大部分情况下,对象首先会在Eden区进行分配,在一次新生代垃圾回收后(Miner GC),如果对象还存活,则会进入到Suvivor区(幸存者区域),并且对象的年龄会加一(Eden 区->Survivor 区后对象的初始年龄变为 1),当对象的年龄增加到一定程度15时,对象则会中新生代晋升到老年代中,对象晋升到老年代的年龄阈值,可以通过参数 -XX:MaxTenuringThreshold 来设置

Hotspot遍历所有对象时,按照年龄从小到大对其所占用的大小进行累积,当累积的某个年龄大小超过了survivor区的一半时,取这个年龄和MaxTenuringThreshold中更小的一个值,作为新的晋升年龄阈值

经过Miner GC Eden区和"From"区已经被清空。这个时候,“From"和"To"会交换他们的角色,也就是新的"To"就是上次GC前的“From”,新的"From"就是上次GC前的"To”。不管怎样,都会保证名为To的Survivor区域是空的。Minor GC会一直重复这样的过程,直到“To”区被填满,"To"区被填满之后,会将所有对象移动到老年代

UNXBo4.png

1. 如何判断对象已经死亡

堆中几乎放着所有的对象实例,对堆垃圾回收前的第一步就是要判断那些对象已经死亡(即不能再被任何途径使用的对象)
UNxzkD.png

1.1 引用计数法

我们给每一个对象都添加一个引用计数器,每当有一个地方引用它时,这个计数器就加一,反之如果对象的引用失效,那么引用计数器就减一。

这个方法实现简单,效率高,但是目前主流的虚拟机中并没有选择这个算法来管理内存,其最主要的原因是它很难解决对象之间相互循环引用的问题。 所谓对象之间的相互引用问题,如下面代码所示:除了对象 objA 和 objB 相互引用着对方之外,这两个对象之间再无任何引用。但是他们因为互相引用对方,导致它们的引用计数器都不为 0,于是引用计数算法无法通知 GC 回收器回收他们。

1.2 可达性分析法

这个算法的基本思想就是通过一系列的称为 “GC Roots” 的对象作为起点,从这些节点开始向下搜索,节点所走过的路径称为引用链,当一个对象到 GC Roots 没有任何引用链相连的话,则证明此对象是不可用的。
UU9fgJ.png

GC  Roots:
     1.     所有已加载的类(ClassLoaderDataGraph::roots_cld_do)
     2.     虚拟机栈(栈帧中的本地变量表)中引用的对象;
     3.     方法区中类静态属性引用的对象;
     4.     方法区中常量引用的对象;
     5.     本地方法栈中JNI(即一般说的Native方法)引用的对象;
1.3 不可达的对象并非“非死不可

即使在可达性分析法中不可达的对象,也并非是“非死不可”的,这时候它们暂时处于“缓刑阶段”,要真正宣告一个对象死亡,至少要经历两次标记过程;可达性分析法中不可达的对象被第一次标记并且进行一次筛选,筛选的条件是此对象是否有必要执行 finalize 方法。当对象没有覆盖 finalize 方法,或 finalize 方法已经被虚拟机调用过时,虚拟机将这两种情况视为没有必要执行。

被判定为需要执行的对象将会被放在一个队列中进行第二次标记,除非这个对象与引用链上的任何一个对象建立关联,否则就会被真的回收。

2. 垃圾收集算法
2.1 标记-清除算法

该算法分为“标记”和“清除”阶段:首先比较出所有需要回收的对象,在标记完成后统一回收掉所有被标记的对象。它是最基础的收集算法,后续的算法都是对其不足进行改进得到。这种垃圾收集算法会带来两个明显的问题:

  • 效率问题
  • 空间问题(标记清除后会产生大量不连续的碎片)
    UUlhB6.png
2.2 复制算法

为了解决效率问题,复制垃圾算法出现了。它可以将内存划分为两块大小相同的区域,每次只使用其中的一块。当这块内存被使用完后,就将还存活的对象复制到另一块区域中然后在把原先的区域一次清理掉。这样就不会产生很多的内存碎片,每次内存掉回收都是堆内存区间掉一半进行回收。

2.3 标记-整理算法

根据老年代的特点提出的一种标记算法,标记过程仍然与“标记-清除”算法一样,但后续步骤不是直接对可回收对象回收,而是让所有存活的对象向一端移动,然后直接清理掉端边界以外的内存。
UU1WGQ.png

2.4 分代收集算法

当前虚拟机掉垃圾回收都采用分代收集算法,这种算法没有什么新的思想,只是根据对象存活周期的不同将内存分为几块。一般将 java 堆分为新生代和老年代,这样我们就可以根据各个年代的特点选择合适的垃圾收集算法。

比如在新生代中,每次收集都会有大量对象死去,所以可以选择复制算法,只需要付出少量对象的复制成本就可以完成每次垃圾收集。而老年代的对象存活几率是比较高的,而且没有额外的空间对它进行分配担保,所以我们必须选择“标记-清除”或“标记-整理”算法进行垃圾收集。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值