1.JVM架构
Java语言最重要的特点就是跨平台运行。而使用Java虚拟机是实现这一特点的关键。
在Java执行时,Java 源文件,通过编译器,能够生产相应的.Class 文件,也就是字节码文件,而字节码文件又通过 Java 虚拟机中的解释器,编译成特定机器上的机器码 。
1.1JVM简介
JVM是Java Virtual Machine(Java虚拟机)的缩写,JVM是一种用于计算设备的规范,它是一个虚构出来的计算机,是通过在实际的计算机上仿真模拟各种计算机功能来实现的。
1.2JVM总体架构
JVM包括三个子系统:
- 类加载子系统(Class Loader SubSystem):依据特定的格式,加载class文件到内存
- 运行时数据区(Runtime Data Areas):存放类加载后加载的一些数据。
- 执行引擎(Execution Engine):从数据区获取相关数据进行执行,并执行后返回。
- 本地接口(Native Interface):融合不同开发语言的原生库为Java所用。
1.3类加载(Class Loader )
ClassLoader 主要工作在Class 装载的加载阶段,其主要作用是从系统外部获得Class二进制数据流。它是Java的核心组件,所有Class都由Class Loader进行加载,Class Loader负责将Class文件里的二进制数据流加载进系统,然后交给Java虚拟机进行连接,初始化等操作。
1.3.1ClassLoader的种类
- BootStrapClassLoader:C++编写,加载核心库java.*
- ExtClassLoader:Java编写,加载扩展库javax.*
- AppClassLoader:Java编写,加载程序所在目录
- 自定义ClassLoader:Java编写,定制化加载
1.4运行时数据区
1.4.1线程独占
- 程序计数器
内存空间小,线程私有。字节码解释器工作是就是通过改变这个计数器的值来选取下一条需要执行指令的字节码指令,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖计数器完成
如果线程正在执行一个 Java 方法,这个计数器记录的是正在执行的虚拟机字节码指令的地址;如果正在执行的是 Native 方法,这个计数器的值则为 (Undefined)。此内存区域是唯一一个在 Java 虚拟机规范中没有规定任何 OutOfMemoryError 情况的区域。
- Java虚拟机栈
线程私有,生命周期和线程一致。描述的是 Java 方法执行的内存模型:每个方法在执行时都会床创建一个栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行结束,就对应着一个栈帧从虚拟机栈中入栈到出栈的过程。
局部变量表:存放了编译期可知的各种基本类型(boolean、byte、char、short、int、float、long、double)、对象引用(reference 类型)和 returnAddress 类型(指向了一条字节码指令的地址)
StackOverflowError:线程请求的栈深度大于虚拟机所允许的深度。
OutOfMemoryError:如果虚拟机栈可以动态扩展,而扩展时无法申请到足够的内存。
- 本地方法栈
区别于 Java 虚拟机栈的是,Java 虚拟机栈为虚拟机执行 Java 方法(也就是字节码)服务,而本地方法栈则为虚拟机使用到的 Native 方法服务。也会有 StackOverflowError 和 OutOfMemoryError 异常。
1.4.2内存共享
- Java堆
对于绝大多数应用来说,这块区域是 JVM 所管理的内存中最大的一块。线程共享,主要是存放对象实例和数组。内部会划分出多个线程私有的分配缓冲区(Thread Local Allocation Buffer, TLAB)。可以位于物理上不连续的空间,但是逻辑上要连续。
OutOfMemoryError:如果堆中没有内存完成实例分配,并且堆也无法再扩展时,抛出该异常。
- 方法区/永久代
属于共享内存区域,存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。
HotSpot VM把GC分代收集扩展至方法区, 即使用Java堆的永久代来实现方法区, 这样 HotSpot 的垃圾收集器就可以像管理 Java 堆一样管理这部分内存, 而不必为方法区开发专门的内存管理器(永久带的内存回收的主要目标是针对常量池的回收和类型的卸载, 因此收益一般很小)
运行时常量池(Runtime Constant Pool):是方法区的一部分。Class 文件中除了有类的版本、字段、方法、接口等描述等信息外,还有一项信息是常量池(Constant Pool Table),用于存放编译期生成的各种字面量和符号引用,这部分内容将在类加载后存放到方法区的运行时常量池中。
Java 虚拟机对 Class 文件的每一部分(自然也包括常量池)的格式都有严格的规定,每一个字节用于存储哪种数据都必须符合规范上的要求,这样才会被虚拟机认可、装载和执行
1.5Java8与元空间
在 Java8 中,永久代已经被移除,被一个称为“元数据区”(元空间)的区域所取代。元空间的本质和永久代类似,元空间与永久代之间最大的区别在于:元空间并不在虚拟机中,而是使用本地内存。因此,默认情况下,元空间的大小仅受本地内存限制。类的元数据放入 native memory, 字符串池和类的静态变量放入 java 堆中,这样可以加载多少类的元数据就不再由MaxPermSize 控制, 而由系统的实际可用空间来控制。
2.垃圾回收器与内存分配策略
程序计数器、虚拟机栈、本地方法栈3 个区域随线程生灭(因为是线程私有),栈中的栈帧随着方法的进入和退出而有条不紊地执行着出栈和入栈操作。而 Java 堆和方法区则不一样,一个接口中的多个实现类需要的内存可能不一样,一个方法中的多个分支需要的内存也可能不一样,我们只有在程序处于运行期才知道那些对象会创建,这部分内存的分配和回收都是动态的,垃圾回收期所关注的就是这部分内存。
2.1确认垃圾
2.1.1引用计数法
在 Java 中,引用和对象是有关联的。如果要操作对象则必须用引用进行。因此,很显然一个简单的办法是通过引用计数(及对象的引用数量)来判断一个对象是否可以回收。
每一个对象实例都有一个引用计数器,被引用则+1,完成引用则-1
对象如果没有任何与之关联的引用,即他们的引用计数都不为 0,则说明对象不太可能再被用到,那么这个对象就是可回收对象。
2.1.2可达性分析
假设A对象实例引用B对象,同时B对象引用A对象,就会造成循环引用的问题,因此如果仅使用引用计数法,对象A,B永远都不会被回收
所以Java使用了可达性分析通过判断对象的引用链是否可达来决定对象是否可被回收去解决这一问题
通过一系列的“GC roots”对象作为起点搜索。如果在“GC roots”和一个对象之间没有可达路径,则称该对象是不可达的。要注意的是,不可达对象不等价于可回收对象,不可达对象变为可回收对象至少要经过两次标记过程。两次标记后仍然是可回收对象,则将面临回收。
可作为GC Roots 的对象:
- 虚拟机栈(栈帧中的本地变量表)引用的对象
- 方法区中类静态属性引用的对象
- 方法区中常量引用的对象
- 本地方法栈中 JNI(即一般说的 Native 方法) 引用的对象
- 活跃线程的引用对象
2.2垃圾回收算法
2.2.1标记清除算法
- 标记: 从根集合进行扫描,对存活对象进行标记(及使用可达性分析方法)
- 清除:对堆内存从头到尾进行线性遍历,回收不可达对象
该方法效率不高并且存在一个很大的问题就是内存碎片化严重,后续可能发生大对象不能找到可利用空间的问题
2.2.2复制算法
该算法为了解决标记清除算法碎片化严重的问题,将内存容量划分为两块,记为对象面和空闲面
对象在对象面上创建,当对象面的块用完时,将存活的对象从对象面复制到空闲面,再将对象面的所有对象内存清除
这种算法虽然实现简单,内存效率高,不易产生碎片,适用于对象存活率低的场景,但是最大的问题是可用内存被压缩到了原本的一半。且存活对象增多的话,复制算法的效率会大大降低。
2.2.3标记-整理算法
标记-整理算法对上两种进行结合,一定程度上避免了两种算法的缺点
- 标记:与标记清除算法的标记类似。从根集合进行扫描,对存活的对象进行标记
- 整理:移动所有存活的对象,且按照内存地址次序依次排列,然后将末端内存地址以后的内存全部回收。
2.2.4分代收集算法
为了提高垃圾回收效率,对不同的场景使用不同的回收机制。
按照对象生命周期的不同将其划分内存堆空间区域以采用不同的垃圾回收算法
- 新生代-复制算法
每次垃圾收集都能发现大批对象已死, 只有少量存活. 因此选用复制算法, 只需要付出少量存活对象的复制成本就可以完成收集
一般将新生代划分为一块较大的 Eden 空间和两个较小的 Survivor 空间(From Space, To Space),每次使用Eden 空间和其中的一块 Survivor 空间,当进行回收时,将该两块空间中还存活的对象复制到另一块 Survivor 空间中。
- 老年代-标记整理算法
因为对象存活率高、没有额外空间对它进行分配担保, 就必须采用“标记—清理”或“标记—整理”算法来进行回收, 不必进行内存复制, 且直接腾出空闲内存.
- 对象的内存分配主要在新生代的 Eden Space 和 Survivor Space 的 From Space(Survivor目前存放对象的那一块),少数情况会直接分配到老生代(如,所需内存过大)
- 当新生代的 Eden Space 和 From Space 空间不足时就会发生一次 GC(Minor),进行 GC 后,Eden Space 和 From Space 区的存活对象会被挪到 To Space,然后将 Eden Space 和 From Space 进行清理。
- 如果 To Space 无法足够存储某个对象,则将这个对象存储到老生代。
- 在进行 GC 后,使用的便是 Eden Space 和 To Space 了,如此反复循环。
- 当对象在 Survivor 区躲过一次 GC 后,其年龄就会+1。默认情况下年龄到达 15 的对象会被移到老生代中。
- 老年代一定情况下,触发GC(Full GC)
例如:
- 老年代空间不足
- 永久代空间不足(JDK8之前)
- CMG GC时出现promotion failed(新生代放不下,放入老年代时,老年代同样放不下),concurrent mode failure
- MinorGC晋升到老年代的平均大小大于老年代的剩余空间
- 调用System.gc()
- 使用RMI来进行RPC或管理的JDK应用,每小时执行一次Full GC
2.3GC 垃圾收集器
Stop-the-World
- JVM由于要执行GC而停止了应用程序的执行
- 任何一种GC算法中都会发生
- 多数GC优化通过减少Stop-the-World发生的时间来提高程序的性能
Safepoint
- 分析过程中对象引用关系不会发生变化的点
- 产生Safepoint:方法调用;循环跳转;异常跳转等
- 安全点数量始终
2.3.1常用的垃圾收集器
2.3.2年轻代常用的垃圾收集器
2.3.2.1Serial垃圾收集器(单线程、复制算法)
Serial(英文连续)是最基本垃圾收集器,使用复制算法,曾经是JDK1.3.1 之前新生代唯一的垃圾收集器。Serial 是一个单线程的收集器,它不但只会使用一个 CPU 或一条线程去完成垃圾收集工作,并且在进行垃圾收集的同时,必须暂停其他所有的工作线程,直到垃圾收集结束。
Serial 垃圾收集器虽然在收集垃圾过程中需要暂停所有其他的工作线程,但是它简单高效,对于限定单个 CPU 环境来说,没有线程交互的开销,可以获得最高的单线程垃圾收集效率,因此 Serial垃圾收集器依然是 java 虚拟机运行在 Client 模式下默认的新生代垃圾收集器。
单线程收集,进行垃圾收集时,必须暂停所有工作线程
简单高效,Client模式下默认的年轻代收集器
2.3.2.2 ParNew 垃圾收集器(Serial、多线程、复制算法)
ParNew 垃圾收集器其实是 Serial 收集器的多线程版本,也使用复制算法,除了使用多线程进行垃圾收集之外,其余的行为和 Serial 收集器完全一样,ParNew 垃圾收集器在垃圾收集过程中同样也要暂停所有其他的工作线程。
ParNew 收集器默认开启和 CPU 数目相同的线程数,可以通 -XX:ParallelGCThreads 参数来限制垃圾收集器的线程数。
多线程收集,其余行为、特点和Serial收集器一样
单核执行效率不如Serial,在多核下执行才有优势
2.3.2.3Parallel Scavenge 收集器(多线程、复制算法、高效)
Parallel Scavenge 收集器也是一个新生代垃圾收集器,同样使用复制算法,也是一个多线程的垃圾收集器,它重点关注的是程序达到一个可控制的吞吐量(Thoughput,CPU 用于运行用户代码的时间/CPU 总消耗时间,即吞吐量=运行用户代码时间/(运行用户代码时间+垃圾收集时间)),高吞吐量可以最高效率地利用 CPU 时间,尽快地完成程序的运算任务,主要适用于在后台运算而不需要太多交互的任务。自适应调节策略也是 ParallelScavenge 收集器与 ParNew 收集器的一个重要区别
比起关注用户线程停顿时间,更关注系统的吞吐量
在多核下有优势,Server模式下的默认年轻代收集器
2.3.3 老年代常见的垃圾收集器
2.3.3.1 Serial Old 收集器(单线程、标记整理算法 )
Serial Old 是 Serial 垃圾收集器年老代版本,它同样是个单线程的收集器,使用标记-整理算法,这个收集器也主要是运行在 Client 默认的 java 虚拟机默认的年老代垃圾收集器。 在 Server 模式下,主要有两个用途:
- 在 JDK1.5 之前版本中与新生代的 Parallel Scavenge 收集器搭配使用。
- 作为年老代中使用 CMS 收集器的后备垃圾收集方案
单线程收集,进行垃圾收集时,必须暂停所有工作线程
简单高效,Client模式下默认的老年代收集器
2.3.3.2 Parallel Old 收集器(多线程、标记整理算法)
Parallel Old 收集器是Parallel Scavenge的年老代版本,使用多线程的标记-整理算法,在 JDK1.6才开始提供。
在 JDK1.6 之前,新生代使用 ParallelScavenge 收集器只能搭配年老代的 Serial Old 收集器,只能保证新生代的吞吐量优先,无法保证整体的吞吐量,Parallel Old 正是为了在年老代同样提供吞吐量优先的垃圾收集器,如果系统对吞吐量要求比较高,可以优先考虑新生代 Parallel Scavenge和年老代 Parallel Old 收集器的搭配策略
多线程,吞吐量优先
2.3.3.3 CMS 收集器(多线程、标记清除算法)
Concurrent mark sweep(CMS)收集器是一种年老代垃圾收集器,其最主要目标是获取最短垃圾回收停顿时间,和其他年老代使用标记-整理算法不同,它使用多线程的标记-清除算法。最短的垃圾收集停顿时间可以为交互比较高的程序提高用户体验
- 初始标记:
只是标记一下 GC Roots 能直接关联的对象,速度很快,仍然需要暂停所有的工作线程。
- 并发标记:
进行 GC Roots 跟踪的过程,和用户线程一起工作,不需要暂停工作线程。
- 并发预清理:
查找执行并发标记阶段从年轻代晋升到老年代的对象
- 重新标记:
暂停虚拟机,扫描CMS堆中的剩余对象
- 并发清理:
并发清理垃圾对象,程序不会停顿
- 并发重置:
重置CMS收集器的数据结构
2.3.4 G1收集器(复制算法、标记-整理算法)
G1 收集器避免全区域垃圾收集,它把堆内存划分为大小固定的几个独立区域,并且跟踪这些区域的垃圾收集进度,同时在后台维护一个优先级列表,每次根据所允许的收集时间,优先回收垃圾最多的区域。区域划分和优先级区域回收机制,确保 G1 收集器可以在有限时间获得最高的垃圾收集效率
并行和并发
分代收集
空间整合
可预测的停顿
3.Java中的四种引用类型
- 强引用:
Java 中最常见的就是强引用,把一个对象赋给一个引用变量,这个引用变量就是一个强引用。
当一个对象被强引用变量引用时,它处于可达状态,它是不可能被垃圾回收机制回收的,即使该对象以后永远都不会被用到 JVM 也不会回收。因此强引用是造成 Java 内存泄漏的主要原因之一。
通过将对象设置为null来弱化引用,使其被回收
Object obj=new Object();
- 软引用:
软引用需要用 SoftReference 类来实现,对于只有软引用的对象来说,当系统内存足够时它不会被回收,当系统内存空间不足时它会被回收。软引用通常用在对内存敏感的程序中。可以用来实现高速缓存
String str=new String("JVM");
SoftReference<String> softRef=new SoftReference<String>(str);
- 弱引用:
弱引用需要用 WeakReference 类来实现,它比软引用的生存期更短,对于只有弱引用的对象来说,只要垃圾回收机制一运行,不管 JVM 的内存空间是否足够,总会回收该对象占用的内存。
String str=new String("JVM");
WeakReference<String> weakRef=new WeakReference<String>(str);
- 虚引用:
虚引用需要 PhantomReference 类来实现,它不能单独使用,必须和引用队列联合使用。虚引用的主要作用是跟踪对象被垃圾回收的状态。必须和引用队列ReferenceQueue联合使用
String str=new String("JVM");
ReferenceQueue queue = new ReferenceQueue();
PhantomReference ref=new PhantomReference(str,queue);