程序计数器
主要功能是记录当前线程执行程序的位置,通过改变计数值来确定执行下一条指令。每个线程的创建,都会创建一个程序计数器,并且对于每个线程而言是互相独立的。比如我们在debuger模式下运行,for循环的停止,异常的抛出,都是通过改变该线程对应的计数值来确定下一个执行指令。
java虚拟机栈
主要功能是临时存储线程执行到的每个方法需要的参数,其内存空间在编译时就已确定。与程序计数器一样,每创建一个线程,则创建一个虚拟机栈,线程每执行到一个方法,对应的栈里就会创建一个栈帧,栈帧会存储局部变量表、动态链接、操作数和方法出口等信息,执行方法,栈帧入栈,方法执行完,栈帧出栈。
本地方法栈
本地方法栈与java虚拟机栈一样,只是记录native方法执行。
堆内存
堆内存是存放所有对象实例,也是jvm的GC主要对象。堆内存主要由新生代、生存代、老年代、长久代组成。不同的区域,GC的算法就不一样。新的对象实例创建,会放入到Eden,随着存储对象实例增多,消耗内存接近Eden最大值,则会触发Minor GC,Minor GC之后,则会将活下来的对象实例放入生存区域,生存区域也会被定期扫描,经过多次扫描之后,还存活下来的,则放入老年代,如果老年代内存快消耗完,就触发major GC,也就是full GC动作,将会对整个堆内存进行回收动作。
java中对堆内存设置参数说明:
-Xms:设置堆的最小空间大小。
-Xmx:设置堆的最大空间大小
-Xmn:设置年轻代大小
-XX:NewSize 设置新生代最小空间大小
-XX:MaxNewSize设置新生代最大空间大小
方法区
方法区主要存储虚拟机加载类信息、常量、静态变量。方法区也称“永久代”,是所有线程共享的资源。当永久代区域内存消耗解决上限,就会触发FullGC。
-XX:PermSize设置永久代最小空间大小
-XX:MaxPermSize设置永久代最大空间大小
垃圾回收算法
垃圾对象判定标准
jvm的GC工作主要针对的对象是堆内存,在做GC工作之前,首先要判定堆内存中的对象实例是否为垃圾,通常使用以下两种算法来定义
1. 引用计数算法
java在运行时,当有一个地方引用该对象实例,会将这个对象实例加1,引用失效时就减1,jvm在扫描内存时,发现引用计数值为0的则是垃圾对象,计数值大于0的则为活跃对象。
目前垃圾回收算法,没有采用引用计数算法,原因是在对象互相引用的情况下,无法判定两者是否为垃圾对象。
2. 根搜索算法
根搜索算法是以“GC ROOTS”为起始点往下搜索,所有经过的对象合并起来称为引用链,在这引用链里,没有的对象称为垃圾对象,(实际上jvm还做了一个筛选动作,判定当前对象是否执行finalize()方法,如果不需要执行才判定为垃圾对象,这里不做介绍),在引用链里的是活跃对象。那什么样的对象才能称为“GC ROOTS”呢?以下四种可以
虚拟机栈(栈帧中的本地变量表)中引用的对象。
方法区中的类静态属性引用的对象。
方法区中的常量引用的对象。
本地方法栈中 JNI(Native 方法)的引用对象。
垃圾回收算法
1. 标记-清除(Mark-Sweep)
jvm会扫描所有的对象实例,通过根搜索算法,将活跃对象进行标记,jvm再一次扫描所有对象,将未标记的对象进行清除,只有清除动作,不作任何的处理,这样导致的结果会存在很多的内存碎片。
2. 复制(copying)
jvm扫描所有对象,通过根搜索算法标记被引用的对象,之后会申请新的内存空间,将标记的对象复制到新的内存空间里,存活的对象复制完,会清空原来的内存空间,将新的内存最为jvm的对象存储空间。这样虽然解决了内存内存碎片问题,但是如果对象很多,重新申请新的内存空间会很大,在内存不足的场景下,会对jvm运行造成很大的影响
3. 标记-整理(Mark-compact)
标记整理实际上是在标记清除算法上的优化,执行完标记清除全过程之后,再一次对内存进行整理,将所有存活对象统一向一端移动,这样解决了内存碎片问题。
4. 分代回收
目前jvm常用回收算法就是分代回收,年轻代以复制算法为主,老年代以标记整理算法为主。原因是年轻代对象比较多,每次垃圾回收都有很多的垃圾对象回收,而且要尽可能快的减少生命周期短的对象,存活的对象较少,这时候复制算法比较适合,只要将有标记的对象复制到另一个内存区域,其余全部清除,并且复制的数量较少,效率较高;而老年代是年轻代筛选出来的对象,被标记比较高,需要删除的对象比较少,显然采用标记整理效率较高。
整理时候参考: 内存模型