1、JVM与Java体系结构
1.1 跨语言的平台
1.2 字节码与多语言混合编程
- Java字节码(jvm字节码):
- 用Java语言编译成的字节码
- 多语言混合编程:
- 各语言之间的交互不存在任何困难,就像使用自己的语言的原生API一样方便,因为他们最终都运行在一个虚拟机上
1.3 Java虚拟机
- 概述
- Java虚拟机是一台执行Java字节码的虚拟计算机,他拥有独立的运行机制,其运行的Java字节码也未必由Java语言编译而成
- JVM平台的各种语言可以共享Java虚拟机带来的跨平台性,优秀的垃圾回收器,以及可靠的即时编译器
- Java技术的核心就是Java虚拟机,因为所有的Java程序都运行在Java的虚拟机内部
- 作用
- Java虚拟机就是二进制字节码的运行环境,负责装载字节码到其内部,解释/编译为对应平台上的机器指令执行
- 每一条Java指令,Java虚拟机规范中都有详细的定义,如怎么去取数据,怎么操作数,处理结果放在哪里
- 特点
- 一次编译,到处运行
- 自动内存管理
- 自动垃圾回收功能
1.4 JVM的整体结构
1.5 Java代码的执行流程
1.6 JVM的架构模型
- 区分栈的指令集架构和寄存器的指令集架构
- 总结
- 由于跨平台性的设计,Java的指令都是根据栈来设计的,不同平台的CPU架构不同,所以不能设计为寄存器架构
- 优点:跨平台,指令集小,编译器容易实现
- 缺点:性能下降,实现同样多的功能需要更多的指令
1.7 JVM的生命周期
- 虚拟机的启动
- Java的虚拟机的启动是通过 引导类加载器 创建的一个初始类来完成的,这个类是由虚拟机的具体实现指定的
- 虚拟机的执行
- 一个运行中的Java虚拟机有一个清晰的任务,执行Java程序
- 程序开始走时他才运行,程序结束时他就停止
- 执行一个所谓的Java程序的时候,真真正正执行的是一个叫做Java虚拟机的进程
- 虚拟机的退出
1.8 JVM的发展历程
- sun classic VM
- 内部只提供解释器
- 如果使用JIT编译器,就需要进行外挂。一旦使用了JIT,JIT就会接管虚拟机的执行系统。解释器就不再工作
- 解释器和编译器不能配合工作
- Exact VM
- 准确式内存管理、编译器和解释器混合工作
- HotSpot VM
- 热点代码探测技术
-(1)通过计数器找到最具编译价值代码,触发即时编译和栈上替换
-(2)通过编译器和解释器协同工作,在最优化的程序响应时间与最佳执行性能中取得平衡
- BEA的JRockit
- 专注于服务器端
- JRockit JVM是世界上最快的JVM
-
IBM的J9
-
JVM和CDC/CLDC Hotspot
-
Azul VM
-
Liqud VM
-
Apache Harmony
-
Microsoft VM
-
TaoBao JVM
-
Dalvik VM
-
Graal VM
2、类加载器子系统
2.1 内存结构概述
- 通过类加载器子系统获取字节码文件中的类的信息,使其有组织的分配到内存中
- 执行引擎,逐条的解释指令
2.2 概述类的加载器及类加载的过程
- 类加载器子系统作用
- 类加载器子系统负责从文件系统或者网络中加载Class文件,class文件在文件开头有特定的文件标示
- ClassLoader只负责class文件的加载,至于他是否正常运行,由Execution Engine决定
- 加载的类信息存放于一块称为方法区的内存空间。除了类的信息外,方法区中还会存放运行时常量池信息,可能还包括字符串字面量和数字常量(这一部分常量信息是Class文件中常量池部分的内存映射)
- 加载过程
2.3 详解类加载过程
- Loading
- 通过一个类的全限定名获取定义此类的二进制字节流
- 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构
- 在内存中生成一个代表这个类的Java.lang.Class对象,作为方法区这个类的各种数据的访问
- 加载.Class的方式:
- Linking
- 验证
- 准备
- 解析
- initalization(初始化)
- 初始化阶段就是执行类构造器方法< clinit >() 的过程
- 此方法不需要定义,是JavaC编译器自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并而来
- 构造器方法中指令按语句在源文件中出现的顺序执行
- < clinit >() 不同于类的构造器
- 若该类具有父类,JVM会保证子类的()执行前,父类的() 已经执行完毕
- 虚拟机必须保证一个类的() 方法在多线程下被同步加锁
2.4 类加载器的分类
- 引导类加载器
- Bootstrap ClassLoader
- 自定义类加载器
- 一般指的是程序中由开发人员自定义的一类类加载器,
- 将所有派生于 ClassLoader的类加载器都划分为自定义的类加载器
- 其他
- 对于用户自定义类来说:默认使用类加载器进行加载
- Java的核心类库都是使用引导类加载器进行加载的
2.5 类加载器详解
- 引导类加载器(启动类加载器,Bootstrap ClassLoader)
- c/c++实现,嵌套在jvm内部
- 用来加载Java的核心库,用于提供JVM自身所需要的类
- 并不继承自 Java.lang.ClassLoader,没有父加载器
- 加载扩展类和应用程序类加载器,并指定为他们的父类加载器
- 出于安全考虑,Bootstrap启动类加载器只加载包名为Java、Javax、sun等开头的类
- 扩展类加载器(Extension ClassLoader)
- Java实现
- 派生于ClassLoader
- 父类加载器为启动类加载器
- 应用程序类扩展器(系统类加载器)
- Java实现
- 派生于ClassLoader
- 父类加载器为扩展类加载器
- 负责加载环境变量ClassPath或系统属性Java.class.path指定路径下的类库
- 该类加载器是程序中默认的类加载器,一般来说,Java应用的类都是由他来完成加载的
- 通过ClassLoader.getSystemClassLoader()方法可以获取的到该类加载器
- 用户自定义类加载器
- 在日常开发中都是前面三种类加载器配合执行
- 作用:
- (1)隔离加载器
- (2)修改类加载的方式
- (3)扩展加载源
- (4)防止源码泄漏
- 实现步骤:
2.6 ClassLoade类的常用方法及获取方法
- 概述:
- ClassLoader:是一个抽象类,其后的所有类加载器都继承自ClassLoader,但不包括启动类加载器
- 继承关系:
- 获取ClassLoader的途径
2.7 双亲委派机制
- 工作原理
![在这里插入图片描述](https://img-blog.csdnimg.cn/20200729160518925.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0 - 举例:
输出:
- 优势:
- 避免类被重复加载
- 保护程序安全,防止核心API被随意篡改
2.8 沙箱安全机制
- 保证对Java核心源代码的保护
- 双亲委派机制中的例子
2.9 其他
- JVM中的两个类为同一类的条件
- 类的完整类名必须一致
- 加载这个类的ClassLoader必须相同
- 对类加载器的引用
- 类的主动使用和被动使用
3、运行时数据区概述及线程
3.1 内存
- 内存是非常重要的系统资源,是cpu和硬盘之间的桥梁,承载着操作系统和应用程序的实时运行
- JVM内存布局规定了Java在运行过程中内存申请、分配、管理等策略,保证了JVM的高效稳定的运行
- 不同的JVM对于内存的划分方式和管理机制存在部分差异
3.2 结构图
3.3 私有线程、线程共享
- Java虚拟机定义了若干种程序运行期间会使用到的运行时数据区
- 其中一些会随着虚拟机的启动而创建,随着虚拟机退出而销毁
- 另外一些则是与线程一一对应,这些与线程对应的数据区域会随着线程的开始和结束而创建和销毁
- 灰色为线程私有的,红色为多个线程共享的,即:
- 每个线程:包括程序计数器、栈、本地栈
- 线程间共享:堆、堆外内存(永久代、元空间、代码缓存)
3.4 关于线程间共享的说明
- 每一个JVM只有一个Runtime实例,即为运行时环境,相当于内存结构中间部分:运行时环境(运行时数据区)
3.5 JVM中的线程说明
- 线程是一个程序中的运行单元JVM允许一个应用有多个线程并行执行
- 在Hotspot JVM中,每个线程都与操作系统与本地线程直接映射
- 在当一个Java线程准备好执行之后,此时一个操作系统的本地线程也被创建。Java线程执行终止之后,本地线程也会回收
- 操作系统负责所有线程的安排调度到任何一个可用的CPU上。一旦本地线程初始化成功之后,他就会调用Java线程中的run() 方法
- JVM系统线程
4、程序计数器(PC寄存器)
4.1 寄存器概述
- JVM中的PC寄存器是对物理PC寄存器的一种抽象模拟
- 寄存器存储指令相关的现场信息,CPU只有把数据装载到寄存器才可以运行
- JVM中的寄存器是对物理中的PC寄存器的一种抽象模拟
4.2 程序计数器概述
- 作用
- 程序计数器的作用是用来存储指向下一条指令的地址,也即将要执行的指令代码。由执行引擎读取下一条指令
2、介绍 - (1)它是很小的一块内存空间,几乎可以忽略不计,也是运行速度最快的内存区域
- (2)在JVM规范中,每个线程都有自己的程序计数器,是线程私有的生命周期与线程的生命周期保持一致
- (3)任何时间一个线程都只有一个方法在执行,也就是所谓的当前方法。程序计数器会存储当前线程正在执行的Java方法的JVM指令地址;或者,如果是在执行native方法,则是未指定值
- (4)它是程序控制流的指示器,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成
- (5)字节码解释器工作时,就是通过改变这个计数器的值来选取下一条需要执行的字节码指令
- (6)它是唯一一个在Java虚拟机规范中没有规定任何OutOfMemoryError情况的区域
4.3 实例
4.4 两个常见问题
- 使用PC寄存器存储字节码指令地址有什么用?为什么使用PC寄存器记录当前线程的执行地址吗?
- 因为CPU需要来回的切换各个线程,这时候切换回来之后,就需要知道程序需要从什么位置开始执行
- JVM的字节码解释器就需要通过改变PC寄存器的值来明确下一条应该执行怎样的字节码指令
- 为什么程序计数器被设定为线程私有?
- 多线程在一个特定的时间段中会执行其中的某一个线程方法,CPU会不停的做任务切换,这样必然会导致该线程经常中断或者恢复
- 为了准确的记录各个线程正在执行的当前字节码指令的地址,最好的办法就是为每一个线程分配一个PC寄存器,这样一来每个线程可以独立计算,且不会出现相互干扰的情况
5、虚拟机栈
5.1 虚拟机栈概述
- 出现背景
- 由于跨平台性的设计,Java的指令都是根据栈来设计的。
- 不同平台的CPU架构不同,所以不能设计为基于寄存器的
- 根据栈设计的优、缺点
- 优点:跨平台、指令集小、编译器容易实现
- 缺点:性能下降、实现同样的功能需要更多的指令
- 内存中的堆和栈
- 栈是运行时的单位、堆是存储的单位:
- (1)栈解决的是程序运行问题,即程序如何执行,或者说如何处理数据
- (2)堆解决的是数据存储的问题,即数据应该如何放、放在哪
- 虚拟机栈的基本内容
- Java虚拟机栈是什么?
(1)Java虚拟机栈也叫Java栈,每个线程在创建时都会创建一个虚拟机栈,其内部保存一个个的栈帧
(2)是线程私有的
- 生命周期
生命周期和线程一致
- 作用
主管Java程序的运行,它保存方法的局部变量(8种基本的数据类型、对象的引用地址)、部分结果,并参数方法的调用和返回
- 栈的特点
- 栈是一种快速有效的分配存储方式,访问速度仅次于程序计数器
- JVM直接对栈的操作只有两个:
- (1)每个方法执行,伴随着进栈(入栈、压栈)
- (2)执行结束后的出栈
- 对于栈来说,不存在垃圾回收的问题
- 虚拟机栈中可能出现的异常
- Java虚拟机规范 允许Java栈的大小是动态的或者是固定不变的:
- (1)如果采用固定大小的Java虚拟机栈,那么每一个线程的Java虚拟机栈容量可以在线程创建的时候独立选定。如果线程请求分配的栈容量超过Java虚拟机栈允许的最大容量,Java虚拟机栈则会抛出一个StackOverflowError异常
- (2)如果Java虚拟机栈可以动态扩展,并且在尝试扩展的时候无法申请到足够的内存,或者在创建新的线程的时候没有足够的内存去创建对应的虚拟机栈,那Java虚拟机将会抛出一个OutOfMemoryError异常
- 设置栈内存的大小
- 使用参数 -Xss 选项来设置线程的最大栈空间
- 栈的大小直接决定了函数调用的最大可达深度
5.2 栈的存储单位(栈帧)
- 栈中存储什么?
- 每个线程都有自己的栈,栈中的数据都是由栈帧的格式存在的
- 在这个线程上正在执行的每一个方法都对应一个栈帧
- 栈帧是一个内存区块,是一个数据集,维系着方法执行过程中的各种数据信息
- 栈运行的原理
- (1)在一条活动线程中,一个时间点上,只会有一个活动的栈帧。
- (2)即只有当前正在执行的方法的栈帧(栈顶栈帧)是有效的,这个栈帧被称为: 当前栈帧
- (3)与当前栈帧对应的方法就是 当前方法,定义这个方法的类就是当前类
- (4)执行引擎运行的所有字节码指令只针对当前栈帧进行操作
- (5)如果在该方法中调用了其他的方法,对应的新的栈帧会被创建出来,放在栈的顶端,成为新的当前栈
- (6)不同的栈帧中所包含的栈帧是不允许相互引用的,即不可能在一个栈帧中引用另外一个线程的栈帧
- (7)如果当前方法调用了其他方法,方法返回之际,当前栈帧会传回此方法的执行结果,给前一个栈帧,接着虚拟机栈会丢弃当前的栈帧,使前一个栈帧重新称为当前栈帧
- (8)Java方法有两种返回函数的方式:一中是正常的函数返回,一种是抛异常。不管使用哪种方式,都会导致栈帧被弹出
- 栈帧的内部结构
- 局部变量表
- 操作数栈
- 动态链接
- 方法返回地址
5.3 栈帧-局部变量表
- 局部变量表
- (1)局部变量表也被称为局部变量数组或本地变量表
- (2)定义为一个 数字数组 ,主要用于存储方法参数和定义在方法体内的局部变量,这些数据类型包括基本数据类型、对象引用、以及returnAddress类型
- (3)由于局部变量表建立在线程的栈上,是线程的私有数据,因此不存在线程的安全问题
- (4)局部变量表所需要的容量大小是在编译期确定下来的,并且保存在方法的Code属性的maxinum local variables数据项中。在方法运行期间是不会改变局部变量表的大小
- (5)方法嵌套调用的次数由栈的大小决定。一般来说,栈越大,方法调用嵌套的层数越多。对于一个函数而言,他的参数和局部变量越多,使得局部变量表膨胀,他的栈帧就越大,以满足方法调用所需要传递的信息增大的需求。进而函数调用就会占用更多的栈空间,导致其嵌套调用的次数就会减少
- (6)局部变量表中的变量只在当前的方法调用中有效。在方法执行时,虚拟机通过使用局部变量表完成参数值到参数变量列表的传递过程。当方法调用结束之后,随着方法栈帧的销毁,局部变量表也会随之销毁。
- 关于Slot的理解
- (1)参数值的存放总是在局部变量数组的index0开始,到数组长度-1的索引结束
- (2)局部变量表,最基本的存储单元的slot(变量槽)
- (3)局部变量表中存放编译期可知的各种基本数据类型(8种),引用类型,returnAddress类型的变量
- (4)在局部变量表中,32位以内的类型只占用一个slot(包括returnAddress类型),64位的类型(long和double)占用两个slot
- (5)JVM会为局部变量表中的每一个slot都分配一个访问索引,通过这个索引即可以成功访问到局部变量表中指定的局部变量
- (6)当一个实例方法被调用的时候,它的方法参数和方法体内部定义的局部变量都***会按照顺序被复制***到局部变量表中的每一个slot上
- (7)如果需要访问局部变量表中一个64bit的局部变量值时,只需要使用前一个索引即可
- (8)如果当前帧是由构造方法或者实例方法创建的,那么该对象引用this将会存放在index为0的slot处,其余的参数按照参数表顺序继续排列
- (9)栈帧中局部变量表中的槽位是可以重用的,如果一个局部变量过了其作用域,那么在其作用域之后申明的新的局部变量就很有可能会复用过期的局部变量的槽位,从而达到节省资源的目的
- (10)在方法执行时,虚拟机使用局部变量表完成方法传递
- (11)局部变量表中的变量也是重要的垃圾回收根节点,只要被局部变量表中直接或者间接引用的对象都不会被回收
5.4 栈帧-操作数栈
5.4.1 概述
- 每一个独立的栈帧中除了包含局部变量表之外,还包含一个后进先出的操作数栈,也可以称为表达式栈
- 操作数栈,在方法执行的过程中,根据字节码指令,往占中写入数据或者提取数据,即入栈、出栈(执行复制、交换、求和等操作)
- Java虚拟机的解释引擎是基于栈的执行引擎,其中的栈指的是操作数栈
- 操作数栈主要用于保存计算过程中的中间结果,同时作为计算过程中变量的临时的存储空间
- 操作数栈就是JVM执行引擎的一个工作区,当一个方法开始执行的时候,一个新的栈帧也会被创建出来,这个方法的操作数栈是空的
- 每一个操作数栈都会拥有一个明确的栈深度用于存储数值,其所需要的最大的深度在编译期就定义好了,保存在方法的code属性中,为max_stack值
- 栈中的任何一个元素都可以是任意的Java数据类型(32bit的类型占用一个栈单位深度、64bit的类型占用两个栈单位深度)
- 操作数栈并非采用访问索引的方式来进行数据访问的,只能通过标准的入栈和出栈的操作来完成数据访问
5.4.2 代码追踪
5.5 栈顶缓存技术
5.5.1 概述
- 基于栈式架构的虚拟机所使用的零地址指令更加紧凑,但完成一项操作的时候必然需要使用更多的入栈和出栈的指令,这同时也是意味着将需要更多的指令分派次数和内存读/写次数
- 由于操作数栈是存储在内存中的,因此频繁的执行内存读写操作必然会影响执行的速度,为了解决这个问题,HotSpot JVM设计出了栈顶缓存技术 ---- 将栈顶元素全部缓存在物理的cpu的寄存器中,以此降低对内存的读/写次数,提升执行引擎的执行效率
5.6 栈帧-动态链接(指向运行时常量池的引用)
5.6.1 概述
- 每一个栈帧内部都包含一个指向运行时常量池中该栈帧所属方法的引用。包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接
- 在Java源文件被编译到字节码文件中时,所有的变量和方法的引用都作为符号引用保存在class文件的常量池中。(例如:描述一个方法调用了另外的其他方法时,就是通过常量池中指向方法的符号引用来表示的,那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用)
5.6.2 运行时常量池
- 运行时常量池在方法区中
- 常量池的作用就是为了提供一些符号和常量,便于指令的识别
5.7 方法的调用:解析与分派
5.7.1 概述
- 在JVM中,将符号引用转换为调用方法的直接引用与方法绑定的机制相关
- 静态链接(早期绑定):当一个字节码文件被装载进JVM内部时,如果被调用的目标方法在编译器可知,且运行期保持不变时。这种情况下将调用方法的符号引用转换为直接引用的过程称之为静态链接
- 动态链接(晚期绑定):如果被调用的方法在编译期无法被确定下来,也就是说,只能够在程序运行期将调用方法的符号引用转换为直接引用,由于这种引用转换过程具备动态性,因此也被称为动态链接
5.8 方法的调用
5.8.1 虚方法和非虚方法
- 如果方法在编译期就确定了具体的调用版本,这个版本在运行时是不可变的,这样的方法称为非虚方法
- 静态方法、私有方法、final方法、实例构造器、父类方法都是非虚方法
- 其他方法都称为虚方法
- 子类对象的多态性的使用前提:类的继承关系、方法的重写
5.8.2 invokedynamic指令
- Java为了实现动态类型语言支持而做的一种改进
5.8.3 动态类型语言和静态类型语言
5.8.4 虚方法表
5.9 栈帧-方法返回地址
5.9.1 概述
- 存放调用该方法的PC寄存器(程序计数器)的值
- 一个方法的结束,有两种方式:正常执行完成、出现未处理的异常,非正常退出
- 方法正常退出时,调用者的程序计数器的值作为返回地址,即调用该方法的指令的下一条指令的地址。而通过异常退出的,返回的地址是要通过异常表来确定的,栈帧中一般不会保存这部分信息
- 正常完成出口和异常完成出口的区别在于:通过异常完成出口退出的不会给他的上层调用者产生任何的返回值
5.10 栈帧-一些附加信息
5.10.1 概述
- 栈帧中还允许携带与Java虚拟机实现相关的一些附加信息。例如对于程序的调试提供支持的信息
5.11 栈的相关面试题
- 举例栈溢出的情况(StackOverFlowError)?
- 通过 -Xss 设置栈的大小 :OOM
- 调整栈的大小,就能保证不出现溢出吗?
- 不能
- 分配的栈内存越大越好吗?
- 不是
- 垃圾回收是否涉及到虚拟机栈
- 不是
- 方法中定义的局部变量是否线程安全
6、本地方法栈
6.1 概述
- Java虚拟机栈用于管理Java方法的调用,而本地方法栈用于管理本地方法的调用
- 本地方法栈也是线程私有的
- 允许被实现成固定或者是可动态扩展的内存大小(在内存溢出方面是相同的)
- 如果线程请求分配的栈容量超过本地方法栈允许的最大容量,Java虚拟机将会抛出一个StackOverFlowError异常
- 如果本地方法栈可以动态扩展,并且在尝试扩招的时候无法申请到足够的内存,或者在创建新的线程时没有足够的内存去创建对应的本地方法栈,那么Java虚拟机将会抛出一个OutOfMemoryError
- 底层为C语言实现
- 他的具体做法为Native Method Stack中登记native方法,在Execution Engine 执行加载本地库
6.2 特点
- 当某个线程调用一个本地方法时,他就进入了一个全新的并且不再受虚拟机限制的世界。他和虚拟机拥有同样的权限:
- (1)本地方法可以通过本地方法接口来访问虚拟机内部的运行时数据区
- (2)他甚至可以直接使用本地处理器中的寄存器
- (3)直接从本地内存的堆中分配任意数量的内存
- 并不是所有的JVM都支持本地方法。因为Java虚拟机规范并没有明确要求本地方法栈的使用语言、具体实现方式、数据结构等。如果JVM产品不打算支持native方法,也可以无需实现本地方法栈。
- 在Hotspot虚拟机中,直接将本地方法和虚拟机栈合二为一
7、堆
7.1 堆的核心概述
7.1.1 概述
- 一个JVM实例只存在一个堆内存,堆也是Java内存管理的核心区域
- Java堆区在JVM启动的时候被创建,其空间大小也就确定了。是JVM管理的最大的一块内存空间
- 堆内存的大小是可以调节的
- 《JVM虚拟机规范》规定,堆可以处于***物理上不连续***的内存空间中,但是在逻辑上他应该被视为连续的
- 所有线程共享Java堆,在这里还可以划分线程私有的缓冲区(Thread Local Allocation Buffer,TLAB)
- 数组和对象永远不会存储在栈上,因为栈中保存引用,这个引用指向对象或者数组在堆中的位置
- 在方法结束之后,堆中的对象不会被马上移除,仅仅在垃圾回收的时候被移除
- 堆,是GC(垃圾收集器)执行垃圾回收的重点
- 《JVM虚拟机规范》中对Java堆的描述是:所有的对象实例以及数组都应当在运行时分配在堆上
7.1.2 现代垃圾收集器大部分都基于分代收集理论设计,堆空间细分为:
- Java 7及之前堆内存逻辑上分为三部分:新生区+养老区+永久区
- Java 8及之后堆内存逻辑上分为三部分:新生区+养老区+元空间
- 新生区又被划分为 Eden区和Survivor区(S0、S1)
- 约定:
- 新生区 《=》新生代《=》年轻代
- 养老区 《=》老年代 《=》老年代
- 永久区 《=》永久代
- -PrintGCDetails
7.2 设置堆内存大小与OOM
7.2.1. 堆空间大小设置
- "-Xms"用于表示堆区的起始内存(年轻代+老年代),等价于 -XX:InitialHeapSize
- -X是jvm的运行参数
- ms是 memory start
- "-Xmx"用于表示堆区的最大内存,等价于-XX:MaxHeapSize
- 一旦堆区的内存大小超过"-Xmx"所指定的最大内存时,将会抛出OutOfMemoryError异常
- 通常会将 -Xms和 -Xmx两个参数配置相同的值,其目的是为了能够在Java垃圾回收机制清理完成堆区之后不需要重新分隔计算堆区的大小,从而提高性能
- 默认情况下:
- 初始内存大小:物理电脑内存大小 / 64
- 最大内存大小:物理电脑内存大小 / 4
public static void main(String[] args) {
// 返回Java虚拟机中的堆内存总量
long initialMemory = Runtime.getRuntime().totalMemory() /1024/1024;
// 返回Java虚拟机试图使用的最大内存量
long maxMemory = Runtime.getRuntime().maxMemory() /1024/1024;
System.out.println(initialMemory + " M");
System.out.println(maxMemory + " M" );
}
- 查看参数的设置:jps / jstat -gc 进程 / jinfo -flag xxxxProgrem 进程
7.2.2 OOM说明
- 老年代满则 报错误: java.lang.OutOfMemoryError
7.3 年轻代和老年代
7.3.1 划分:
- 存储在JVM中的Java对象可以呗划分为两类:
- 一类是生命周期较短的瞬时对象,这类对象的创建和消亡都非常迅速
- 另外一类对象的生命周期却非常长,在某些极端的情况喜爱还能够与JVM的生命周期保持一致
- Java堆进一步划分的话,可以划分为老年代和年轻代
- 其中年轻代又可以划分为Eden空间、Survivor0空间和Survivor1空间(有时也称作from区和to区)
7.3.2 新生代和老年代的结构占比:
- 默认 -XX:NewRatio=2,表示新生代占1,老年代占2,新生代占整个堆的 1/3
- 可以修改 -XX:NewRatio=4,表示新生代占1,老年代占4,新生代占整个堆的1/5
7.3.3 Eden空间和另外两个Survivor空间缺省所占的比例:
- 8:1:1
- 可以通过"-XX:SurvivorRatio=8"调整这个空间比例
- 几乎所有的Java对象都是在Eden区被new出来的
- 绝大部分Java对象的销毁都在新生代进行了
- 可以使用选项 "-Xmn"设置新生代最大内存大小(一般使用默认值)
- 自适应机制默认比例为:6:1:1
- 关闭自适应机制:XX:-UseAdaptiveSizePolicy
7.4 图解对象的分配过程
7.4.1 概述
- 为新对象分配内存严谨且复杂,JVM的设计者们要考虑内存如何分配、在哪里分配等问题,并且由于内存分配算法与内存回收算法密切相关,所以还需要考虑GC执行完内存回收后是否会在内存空间中产生内存碎片
- new的对象先放在Eden区,此区域有大小限制。
- 当Eden的空间填满时,程序又需要创建对象,JVM的垃圾回收器将对Eden区进行垃圾回收(Minor GC),将Eden中不再被其他对象所引用的对象进行销毁。再加载新的对象放到Eden区
- 然后将Eden中的剩余对象移动到S0区
- 如果再次触发垃圾回收,此时上次幸存下来的放到S0区的对象,如果没有回收,就会放在S1区
- 如果再次经历垃圾回收,此时会重新到S0区,接着再去S1区
- 啥时候能去养老区呢?
- 默认为15次
- 可以设置次数:-XX:MaxTenuringThreshold=进行设置
7.4.2 触发GC
- Eden区满会触发
- Survivor区满不会触发
- Eden区的GC会引发Survivor区的GC
- Survivor区满之后,有可能 直接晋升到老年代
- Eden区的对象也有可能直接到老年代
7.4.3 总结
- 针对幸存者S0、S1区的总结:复制之后有交换,谁空谁是to
- 关于垃圾回收,频繁在新生代收集,很少在老年代收集,几乎不在永久区、元空间收集
7.4.4 对象分配的特殊情况
7.5 Minor GC、Major GC、Full GC
7.5.1 分类
- JVM在进行GC时,并非每次都对上面三个内存区域一起回收的,大部分时候回收的都是指新生代
- 针对HotSpot VM实现,它里面的GC按照回收区域又分为两大类:
-
部分收集:不是完整的瘦的整个Java堆的垃圾收集,其中又分为:
(1)新生代收集(Minor GC / Young GC):只是新生代的垃圾收集
(2)老年代收集(Major GC / Old GC):只是老年代的垃圾收集 -
目前只有 CMS GC会有单独的收集老年代的行为
-
很多时候Major GC和Full GC会混合使用,需要具体分辨是老年代回收还是整堆回收
(3)混合收集(Mixed GC):收集整个新生代及部分老年代的垃圾收集
-
目前只有G1 GC又这种行为
-
整堆收集(Full GC):收集整个Java堆和方法区的垃圾收集
7.5.2 Minor GC触发机制(Young GC)
- 当年轻代空间不足时,就会触发Minor GC,这里的年轻代满指的是Eden代满,Survivor满不会引发GC(每次Minor GC会清理年轻代内存)
- 因为Java对象大多处于 朝生夕灭 的特性,所以Minor GC十分频繁,一般回收的速度也比较快
- Minor GC会引发 STW ,暂停其他用户线程,等垃圾回收结束,用户线程才恢复运行
7.5.3 Major GC、Full GC 触发机制(老年代GC)
- 指发生在老年代的GC,对象从老年代消失时,我们说 Major GC和Full GC 发生了
- 出现了 Major GC,经常会伴随至少一次的Minor GC(非绝对的,在Parallel Scavenge收集器的收集策略里就有直接进行 Major GC的策略选择过程)
- 也就是在老年代空间不足时,会尝试Major GC。如果之后空间还不足,则触发Major GC
- Major GC的速度一般会比Minor GC满10倍以上,STW的时间更长
- 如果Major GC后,内存还不足,就报OOM了
7.5.4 Full GC触发机制
- 调用System.gc()时,系统建议执行Full GC,但是不必然执行
- 老年代空间不足
- 方法区空间不足
- 通过Minor GC进入老年代的平均大小大于老年代的可用内存
- 由 Eden 区、S0 区向 S1区复制时,对象大小大于To Space可用内存,则把该对象转到老年代,且老年代的可用内存小于该对象的大小
- 注意:
- full GC 是在开发或者调优过程中尽量避免的,这样 STW的时间会短一些
7.6 堆空间的分代思想
7.6.1 为什么要将Java堆分代?不分代就不可以正常工作了吗?
- 不同对象的生命周期不同,70%-99%的对象是临时对象
- 新生代:eden区、from\to区,to中总为空
- 老年代:存放新生代中经历多次GC仍然存活下来的对象
- 分代目的是优化GC性能
7.7 内存分配的策略
7.7.1 针对不同年龄段的对象分配原则如下:
- 优先分配到Eden
- 大对象直接分配到老年代
- 尽量避免程序中过多的出现大对象
- 长期存活的对象分配到老年代
- 动态对象年龄判断:
- 如果Survivor区中相同年龄的所有对象大小总和大于Survivor区空间大小的一般,年龄大小或等于该年龄的对象可以直接进入老年代,无需等到MaxTenuringThreshold中要求的年龄
- 空间分配担保
- -XX:HandlePromotionFailure
7.8 为对象分配内存:TLAB
7.8.1 为什么有Thread Local Allocation Buffer(线程私有的分配缓冲区)?
- 堆区是线程共享区域,任何线程都可以访问到堆区的共享数据
- 由于对象实例的创建在JVM中很频繁,因此在并发环境下从堆区中划分内存空间是线程不安全的
- 为避免多个线程操作同一地址,需要使用加锁等机制,进而影响分配速度
7.8.2 什么是TLAB?
- 从内存模型而不是垃圾收集的角度,对Eden区继续进行划分,JVM为每一个线程分配了一个私有的缓存区域,它包含在Eden空间中
- 多线程同时分配内存时,使用TLAB可以避免一系列的非线程安全的问题,同时还能够提升内存分配的吞吐量,因此我们将这种内存分配方式称之为快速分配策略
- 所有的openJDK衍生出来的JVM都提供了TLAB的策略
7.8.3 TLAB的再说明
- 尽管不是所有的对象实例能够在TLAB中成功分配内存,但JVM确实是将TLAB作为内存分配的首选
- 在程序中,开发人员可以通过选项 ’ -XX:UseTLAB’,设置是否开启TLAB空间
- 默认情况下,TLAB空间的内存非常小,仅占有整个Eden空间的1%,我们也可以通过选项 ‘-XX:TLABWasteTargetPercent’设置TLAB空间所占用Eden空间的百分比大小
- 一旦对象在TLAB空间分配内存失败时,JVM就会尝试着通过使用加锁机制确保数据操作的原子性,从而直接在Eden空间中分配内存
7.8.4 分配过程
7.9 堆空间的参数设置
7.9.1 常用参数
- -XX:+PrintFlagsInitial — > 查看所有的参数的默认初始值
- -XX:+PrintFlagsFinal — > 查看所有的参数的最终值
- jps查看当前运行中的进程
- jinfo -flag class名称 进程id
- -Xms:初始堆空间内存(默认为物理内存的 1/64)
- -Xmx:最大堆空间内存(默认为物理内存的 1/4)
- -Xmn:设置新生代的大小(初始值及最大值)
- -XX:NewRatio:配置新生代与老年代在堆结构的占比
- -XX:SurvivorRatio:设置新生代中Eden和S0\S1空间比例
- -XX:+PrintGCDetails:输出详细的GC处理日志
- 打印GC简要信息:
- -XX:+PrintGC
- -verBose:gc
- -XX:HandlePromotionFailure:是否设置空间分配担保
7.10 堆是分配对象的唯一选择吗
7.10.1 概述
- 《深入理解Java虚拟机》中关于Java堆内存的描述:
- 随着JIT编译期的发展与 逃逸分析技术 逐渐成熟,***栈上分配、标量替换优化***技术将会导致一些微妙的变化,所有的对象都分配到堆上也变得不那么绝对了
- 在Java虚拟机中,对象是在Java堆中分配内存的,这是一个普遍的常识。但是,有一种特殊情况,那就是 经过逃逸分析后发现,一个对象并没有逃逸出方法的话,那么就可能被优化成栈上分配。这样就无需在堆上分配内存,也无需进行垃圾回收了。这也是***最常见的堆外存储技术***。
- 举例:
7.10.2 逃逸分析概述
- 如何将堆上的对象分配到栈,则需要使用逃逸分析手段
- 这是一种可以有效减少Java程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法
- 通过逃逸分析,Java HotSpot编译器能够分析出一个新的对象的引用的使用范围从而决定是否要讲这个对象分配到堆上
- 逃逸分析的基本行为就是分析对象动态的作用域:
- 当一个对象在方法中被定义后,对象只在方法内部使用,则认为没有发生逃逸
- 当一个对象在方法中被定义后,他被外部方法所引用,则认为发生逃逸,例如作为调用参数传递到其他方法中
- 没有发生逃逸的对象,则可以分配到栈上,随着方法执行的结束,栈空间就被移除
7.10.3 参数设置
- 在JDK 6u23版本之后,HotSpot中默认开启逃逸分析
- 如果使用的是较早的版本,开发人员可以通过:
- 选项’-XX:+DoEscapeAnalysis’显示开始逃逸分析
- 通过选项‘-XX:+PrintEscapeAnalysis’查看逃逸分析的筛选结果
7.10.4 结论
- 开发中能使用局部变量的,就不要在方法外定义
7.10.5 逃逸分析并不成熟
7.11 代码优化
7.11.1 栈上分配
- 概述:
- 将堆分配转化为栈分配。如果一个对象在子程序中被分配,要使指向该对象的指针永远不会逃逸,对象可能是栈分配的候选,而不是堆分配
- JIT编译器在编译期间根据逃逸分析的结果,如果发现一个对象并没有逃逸出方法的话,就可能被优化成栈上分配。分配完成之后,继续在调用栈内执行,最后线程结束,栈空间被回收,局部变量对象也被回收。这样就无须进行垃圾回收了
- 常见的栈上分配的场景
- 在逃逸分析中,已经说明了。分别是给成员变量赋值、方法返回值、实例引用传递
7.11.2 同步省略
- 概述:
- 如果一个对象被发现只能从一个线程被访问到,那么对于这个对象的操作可以不考虑同步
- 线程同步的代价很高,同步的后果是降低并发性和性能
- 在动态编译同步块时,JIT编译器可以借助逃逸分析来判断同步块所使用的锁对象是否只能够被一个线程访问而没有被发布到其他的线程。如果没有,那么JIT编译器在编译这个同步块的时候就会取消对这部分代码的同步,这样就可以大大提高并发性和性能。这个取消同步的过程就叫***同步省略***,也叫***锁消除***
- 举例
7.11.3 分离对象或标量替换
- 概述:
- 有的对象可能不需要作为一个连续的内存结构存在也可以被访问到,那么对象的部分(或全部)可以不存储在内存(堆),而是存储在CPU的寄存器(栈)中。
- 标量替换
- 标量(Scalar):指一个无法分解成更小的数据的数据。Java中的原始数据类型就是标量。
- 聚合量:相对的,那些还可以分解的数据叫做聚合量,Java中的对象就是聚合量,因为他可以分解成其他聚合量和标量
- 在JIT阶段,如果进行逃逸分析,发现一个对象不会被外界访问的话,那么经过JIT优化,就会把这个对象拆解成若干个其中包含若干个成员变量来替换。这个过程就是标量替换
- 开启标量替换
7. 12 本章小结
8、方法区
8.1 栈、堆、方法区的交互关系
8.1.1 运行时数据区结构图-从线程是否共享的角度看
8.1.2 三者的交互关系
8.2 方法区的理解
8.2.1 概述
- 方法区与Java堆一样,是各个线程的共享的内存区域
- 方法区在JVM启动的时候被创建,并且他的实际的内存空间中和Java堆区一样,都是不可以连续的
- 方法区的大小和堆空间一样,可以选择固定大小或者可扩展
- 方法区的大小决定了系统可以保存多少个类,如果系统保存了过多的类,导致方法区溢出,虚拟机同样会抛出内存溢出错误:Java.lang.OutOfMemoryError:PermGen space / Metaspace
- 加载大量的第三方的jar包;Tomcat部署的工程过多;大量动态的生成反射类
- 关闭JVM就会释放这个区域的内存
8.2.2 永久代和元空间
- 元空间与永久代类似,都是对于Java规范中方法区的实现
- 元空间与永久代的最大的区别在于,元空间不在虚拟机设置的内存中,而是使用本地内存
- 永久代元空间二者并不是名字变了,内部结构也调整了
- 如果方法区无法满足新的内存分配需求的时候,将抛出OOM异常
8.2.3 补充
- 方法区可以看作是独立于Java堆的内存空间
- 《Java虚拟机中明确说明》:尽管所有的方法区在逻辑上属于堆的一部分,但一些简单的实现可能不会选择去进行垃圾收集或者进行压缩。但对于HotSpotJVM而言方法区还有一个别名叫做Non-Heap(非堆),目的就是要和堆分开
8.3 设置方法区大小与OOM
8.3.1 概述
- 方法区的大小不必是固定的,JVM 根据应用的需要动态调整
8.3.2 JDK 7 及以前
- 通过 -XX:Permsize 来设置永久代初始分配空间。默认值是20.75M
- -XX:MaxPerSize 来设置永久代最大可分配的空间。32位机器默认是64M,64位机器模式是82M
- 当JVM加载的类的信息容量超过了这个值,会报异常OutOfMemoryError:PerGenSpace
- 查看过程:
- jps
- jinfo -flag PermSize 10856
- jinfo -flag MaxPermSize 10044
8.3.3 JDK 8 及以后
8.5 方法区使用举例
8.5.1 设置
8.5.2 如何解决这些OOM
- 要解决OOM异常或者heap space的异常,一般的手段是首先通过内存映像分析工具对 dump的堆转储快照进行分析,重点是确认内存中的对象是否是必要的,也就是要先分清楚到底是出现了内存泄漏还是内存溢出
- 如果是内存泄漏,可以进一步通过工具查看泄漏对象到GC Roots的引用链。于是就能找到泄漏对象是通过怎样的路径与GC Roots相关联并导致垃圾收集器无法自动回收他们的。掌握了泄漏对象的类型信息,以及GC Roots 引用链的信息,就可以比较准确的定位出泄漏代码的位置
- 如果不存在内存泄漏,换句话说就是内存中的对象确实都还必须存活着,那就应当检查虚拟机的堆参数,与机器物理内存对比看看是否可以调大,从代码上检查是否存在某些对象生命周期过长、持有状态时间过长的情况,尝试减少程序运行期的内存消耗
8.6 方法区内部结构
8.6.1 方法区存储什么?
- 它用于存储已经被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存
- Javap -v -p xxxx.class
- Javap -v -p xxxx.class > test.txt
8.6.2 类型信息
- 对每个加载的类型(class、interface、enum、annotation),JVM必须在方法区中存储以下类型的信息
- 这个类完成有效名称(全名 = 包名.类名)
- 这个类型直接父类的完整有效名(对于interface和java.lang.Object都没有父类)
- 这个类型的修饰符(public、abstract、final的某个子集)
- 这个类型直接接口的一个有序列表
8.6.3 域信息(Field)
- JVM必须在方法区中保存类型的所有域相关信息以及域的声明顺序
- 域的相关信息包括:域名称、域类型、域修饰符
8.6.4 方法信息
- 方法名称
- 方法的返回类型
- 方法参数的数量和类型
- 方法的修饰符
- 方法的字节码、操作数栈、局部变量表及大小
- 异常表
- 每个异常处理的开始位置、结束位置、代码处理在程序计数器中的偏移地址、被捕获的异常类的常量池索引
8.6.5 记录classLoader
8.6.6 non-final的类变量
- 静态变量和类关联在一起,随着类的加载而加载,他们成为类数据在逻辑上的一部分
- 类变量被类的所有实例共享,即使没有类实例时你也可以访问他
public class static_class_test {
public static void main(String[] args) {
Order order = null;
order.fun();
System.out.println(order.num);
System.out.println(order.name);
}
}
class Order{
public static int num = 10;
public static String name = "li";
public static void fun(){
System.out.println("hello");
}
}
// 运行结果
hello
10
li
8.6.7 全局常量:static final
- 被声明为final的类变量的处理方法则不同,每个全局常量在编译的时候就会被分配了
8.7 运行时常量池
8.7.1 class(字节码文件)中常量池的理解
- 方法区,内部包含了运行时常量池
- 字节码文件,内部包含了常量池
- 要弄清楚方法区,需要理解ClassFile,因为加载类的信息都在方法区
- 要弄清楚方法区的运行时常量池,需要理解清楚ClassFile中的常量池
- 字节码中的常量池 通过 类加载子系统加载到 方法区中,对应的就是运行时常量池
- 一个有效的字节码文件中除了包含类的版本信息、字段、方法以及接口等描述信息外,还包含一项信息那就是***常量池表***,包含各种字面量(字符串,数据)和对类型、域和方法的符号引用
8.7.2 为什么需要提供常量池?
- 一个Java源文件中的类、接口、编译后产生一个字节码文件。而Java中的字节码需要数据支持,通常这种数据会很大以至于不能直接存储到字节码中,换一种方式,可以存储到常量池,这个字节码包含了指向常量池的引用。在动态链接的时候会运行常量池。
- 举例
- 小结:
- 常量池,可以看作是一张表,虚拟机指令根据这张常量表找到要执行的类名、方法名、参数类型、字面量等类型
8.7.3 运行时常量池理解
- 运行时常量池是方法区的一部分
- 常量池表(Constant Pool Table)是Class文件的一部分,用于存放编译器生成的各种字面量与符号引用,这部分内容将在类加载之后存放到方法区的运行时常量池中
- 运行时常量池,在加载类和接口到虚拟机之后,就会创建对应的运行时常量池
- JVM为每个已加载的类型(类或接口都维护一个常量池),池中的数据项像数组项一样,都是通过索引访问的
- 运行时常量池中包含多种不同的常量,包括编译期就已经明确的数值字面量,也包括到运行期解析之后才能获得的方法或者字段的引用,此时不再是常量池中的符号地址了,这里换为真实的地址
- 运行时常量池,相对于Class文件常量池的另外一种重要的特征是:具备动态性
- 运行时常量池类似于传统编程语言中的符号表,但是他所包含的数据却比符号表要更加丰富一些
- 当创建类或接口的运行时常量池时,如果构造运行时常量池所需要的内存空间超过了方法区所能提供的最大值,则JVM 会抛出OutOfMemoryError异常
8.8 方法区的演进细节
8.8.1 永久代、元空间
- 只有HotSpot才有永久代
- BEA、JRockit、IBM、J9是不存在永久代的概念的。原则上如何实现方法区属于虚拟机实现细节,不受《Java虚拟机规范》管束,并不要求统一
- Hotspot中方法区的变化:
8.8.2 元空间为什么要代替永久代
- 随着Java 8 的到来,HotSpot VM中再也见不到永久代了。并不意味着元数据信息消失。这些数据被移动到了一个与堆不相连的本地内存区域,这个区域叫做元空间
- 由于类的元数据分配在本地内存中,元空间的最大可分配空间就是系统可用内存空间
- 改动的必要性:
- 为永久代设置的空间大小是很难确定的,在某些场景下,如果动态加载的类过多,容易产生Perm区的OOM。而元空间和永久代之间的最大区别在于:元空间并不在虚拟机中,而是使用本地内存。因此,默认情况下,元空间的大小仅受本地内存限制
- 对永久代调优很困难
8.8.3 补充
- 在JDK 7以前,习惯上把方法区成为永久代
- JDK 8开始,使用元空间取代了永久代,本质上,永久代和方法区并不等价
- 到了JDK 8,终于完全废弃了永久代的概念,改用与JRockit、J9一样在本地内存中实现的元空间来代替
- 元空间与永久代相似,都是堆Java规范中方法区的实现。不过元空间与永久代最大的区别在于,元空间不在虚拟机所设置的内存中,而是在本地内存中,其两者的内部结构也变了
- 根据《Java虚拟机规范》中规定,如果方法区无法满足新的内存分配的需求,将抛出OOM异常
8.8.4 StringTable(字符串常量池)为什么要调整?
- 在JDK 7中将StringTable放到了堆空间中,因为永久代的回收效率很低,在full gc的时候才会触发,而full gc是老年代空间不足、永久代空间不足时才会触发
- 这就会导致StringTable回收效率不高,而且我们在开发的过程中会有大量的字符串被创建,回收效率低,导致永久代内存不足,放到堆中可以及时回收
8.8.5 静态变量存在哪?
- 静态引用的对象实体始终存在于堆空间中(new 的对象)
8.9 方法区的垃圾收集
8.9.1 收集内容
- 常量池中废弃的常量和不再使用的类型
- 一般来说这个区域的回收效果比较难令人满意,尤其是类型的卸载,条件相当苛刻,但是这个区域的回收有时候是相当必要的
8.9.2 两大类常量
- 字面量和符号引用
- 字面量指的大概是Java中的常量:文本字符串、被声明为final的常量值等
- 符号引用属于编译原理方面的概念,包含下面三类常量:
- 类和接口的全限类名
- 字段和名称的描述符
- 方法的名称和描述符
- HotSpot虚拟机对常量池的回收策略是很明确的,只要常量池中的常量没有被任何地方引用,就可以被回收
- 回收废弃的常量与回收Java堆中的对象十分类似
8.9.3 判断回收的条件
9、对象的实例化、内存布局和访问定位
9.1 对象的实例化
9.1.1 判断对象对应的类是否加载、链接、初始化
- 虚拟机遇到一条new指令,首先会去检查这个指令的参数能否在MetaSpace的常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已经被加载、解析和初始化(即判断类的信息是否存在),如果没有,那么在双亲委派模式下,使用当前类加载器以ClassLoader+包名+类名为Key进行查找对应的.class文件。如果没有找到文件,则抛出ClassNotFoundException异常,如果找到,则进行类加载,并生成对应的Class类对象
9.1.2 为对象分配内存
- 首先计算对象占用空间的大小,接着在堆中划分一块内存给新对象
- 如果实例成员变量为引用变量,仅分配引用变量空间即可,即四个字节大小
- 选择哪种分配方式由Java堆是否规整决定,而Java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定
9.1.3 设置对象的对象头
- 将对象的所属类(即类的元数据信息)、对象的HashCode和对象的GC信息、锁信息等数据存储在对象的对象头中。这个过程的具体设置方式取决于JVM实现
9.1.4 执行init方法进行初始化
- 在Java程序的视角来看,初始化才正式开始,初始化成员变量,执行实例化的代码块,调用类的构造方法,并把堆内对象的首地址复制给引用变量
- 因此一般来说(由字节码中是否跟随有invokespecial指令所决定),new指令之后会接着就是执行方法,把对象按照程序员的意愿进行初始化,这样一个真正可用的对象才算完全的创造出来
9.1.5 测试对象实例化的过程
- 加载类元信息
- 为对象分配内存
- 处理并发问题
- 属性的默认初始化
- 设置对象头信息
- 属性的显示初始化、代码块中初始化、构造器中初始化
9.1.6 给对象的属性赋值操作
- 属性的默认初始化
- 显示初始化
- 代码块中初始化
- 构造器中初始化
9.1.7 创建对象的方式
- new:最常见的方式
- 变形1:Xxx的静态方法
- 变形2:XxxBuilder/XxxFactory的静态方法
- Class的newInstance():反射的方式,只能调用空参数的构造器,权限必须是public
- Constructor的newInstance(Xxx):反射的方式,可以调用空参、带参的构造器,权限没有要求
- 使用clone():不调用任何构造器,当前类需要实现Cloneable接口,实现clone()
- 使用反序列化:从文件中、从网络中获取一个对象的二进制流
- 第三方库Objenesis
9.2 对象的内存布局
9.2.1 主要内容
9.2.2 图示对象的内存布局
![在这里插入图片描述](https://img-blog.csdnimg.cn/20200908171151369.png?x-oss- process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzMxODUyMjA1,size_16,color_FFFFFF,t_70#pic_center)
9.3 对象的访问定位
9.3.1 主要内容
9.3.2 JVM是如何通过栈帧中的对象引用访问到其内部的对象实例的?
- 定位,通过栈上reference访问
- 对象访问主要有两种:
- 句柄访问
优点:reference中存储稳定句柄地址,对象被移动(垃圾收集时移动对象很普遍)时只会改变句柄中实例数据指针即可,reference本身不需要被修改 - 直接指针(Hotspot采用)
10、直接内存
10.1 直接内存概述
- 不是虚拟机运行时数据区的一部分,也不是《Java虚拟机规范》中定义的内存区域
- 直接内存是在Java堆外的、直接向系统申请的内存区间
- 来源于NIO,通过存在于堆中的DirectByteBuffer操作Native内存
- 通常,访问直接内存的速度会优于Java堆。即读写性能高
- 因此出于性能考虑,读写频繁的场合可能会考虑使用直接内存
- Java的NIO库允许Java程序使用直接内存,用于数据缓冲区
- ByteBuffer buffer = ByteBuffer.allocateDirect(BUFFER) ; // BUFFER 为 需要分配的空间的大小
- System.gc()
10.2 直接内存和Java堆的读性能比较
- 传统
- 直接缓冲区
10.3 内容补充
- 直接内存也有可能导致OutOfMemoryError异常
- 由于直接内存在Java堆外,因此它的大小不会直接受限于-Xmx指定的最大堆大小,但是系统内存是有限的,Java堆和直接内存的总和依然受限于操作系统能给出的最大内存
- 缺点:
- 分配回收的成本很高
- 不受JVM内存回收管理
- 直接内存大小可以通过MaxDirectMemorySize设置
- 如果不指定,默认与堆的最大值-Xmx参数一致
11、执行引擎
11.1 执行引擎概述
11.1.1 概述
- 执行引擎是Java虚拟机核心的组成部分之一
- 虚拟机是一个相对于物理机的概念,这两种机器都有代码执行能力,其区别是物理机的执行引擎是直接建立在处理器、缓存、指令集和操作系统层面上的。而虚拟机的执行引擎则是由软件自行实现的,因此可以不受物理条件制约地定制指令集与执行引擎的结构体系,能够执行那些不被硬件直接支持的指令集格式
- JVM的主要任务是负责装载字节码到其内部,但字节码并不能够直接运行在操作系统上,因为字节码指令并非等价于本地机器指令,它的内部包含的仅仅是一些能够被JVM所识别的字节码指令、符号表、以及其他的辅助信息
- 那么如果想要让一个Java程序运行起来,执行引擎的任务就是***将字节码指令解释、编译为对应平台上的本地机器指令***才可以。简单的说,JVM中的执行引擎充当了将高级语言翻译为机器语言的译者
11.1.2 执行引擎的工作过程
- 执行引擎在执行的过程中究竟需要执行什么样的字节码指令完全依赖于PC寄存器
- 每当执行完成一项指令操作之后,PC寄存器就会更新下一条需要被执行的指令地址
- 当然方法在执行过程中,执行引擎有可能会通过存储在局部变量表中 的对象引用准确定位到存储在Java堆区中的对象实例信息,以及通过对象头中的元数据指针定位到目标对象的类型信息
11.1.3 总结
- 从外观上看,所有的Java虚拟机的执行引擎输入、输出都是一致的:输入的是字节码二进制流,处理过程是字节码解析执行的等效过程,输出的是执行结果
11.2 Java代码编译和执行过程
11.2.1 什么是解释器,什么是JIT编译器?
- 解释器:当Java虚拟机启动时会根据预定义的规范对 字节码采用逐行解释的方式执行,将每条字节码文件中的内容“翻译”为对应平台的本地机器指令执行
- JIT编译器:就是虚拟机将源代码直接编译成和本地机器平台相关的机器语言
11.2.2 为什么说Java是半编译半解释型语言?
- JDK 1.0 时代,将Java语言定位为”解释执行“还是比较准确的。再后来,Java也发展出可以直接生成本地代码的编译器
- 现在JVM在执行Java代码的时候,通常都会将解释执行与编译执行二者相结合来进行
11.3 机器码、指令、汇编语言
11.3.1 机器码
- 各种用二进制编码方式表示的指令
- CPU直接读取运行,执行速度快
- 机器指令与CPU密切相关,所以不同种类的CPU对应的机器指令也就不同
11.3.2 指令
- 指令就是把机器码中特定的0和1序列,简化成对应的指令(一般为英文简写,如mov、inc等),可读性稍好
- 由于不同的硬件平台,执行同一个操作,对应的机器码也可能不同,所以不同的硬件平台的一种指令,对应的机器码也可能不同
11.3.3 指令集
- 不同的硬件平台,各自支持的指令,是有差别的。因此每个平台所支持的指令,称为对应平台的指令集
- x86指令集、ARM指令集
11.3.4 汇编语言
- 在汇编语言中,用助记符代替机器指令的操作码,用地址符号或者标号 代替指令或操作数的地址
- 在不同硬件平台,汇编语言对应着不同的机器语言指令集,通过汇编过程转换成机器指令
- 由于计算机只认识指令码,所以用汇编语言编写的程序还必须翻译成机器指令码,计算机才能识别和执行
11.3.5 字节码
- 字节码是一种中间的状态的二进制代码文件,它比机器码更抽象,需要直接转译后才能成为机器码
- 字节码主要为了实现特定的软件运行和软件环境、与硬件环境无关
- 字节码的实现方式是通过编译器和虚拟机器。编译器将源码编译成字节码
- 特定平台上的虚拟机器将字节码转译成为可以直接执行的指令
11.4 解释器
- 解释器的真正意义上所承担的角色就是一个运行时的 翻译者 ,将字节码文件中的内容翻译成对应平台的本地机器指令执行
- 当一条字节码指令被执行完成之后,接着再根据PC寄存器中记录的下一条需要被执行的字节码指令执行解释操作
11.5 JIT编译器
11.5.1 概述
- 第一种是将源代码编译成字节码文件,然后在运行时通过解释器将字节码转换为机器码执行
- 第二张是编译执行(直接编译成机器码)。现代虚拟机为了提高执行效率,会使用即时编译技术,将方法编译成机器码之后再运行
11.5.2 HotSpot
- 是目前市面上高性能虚拟机的代表作之一。它采用解释器与即时编译器并存的架构。在Java虚拟机运行时,解释器和即时编译器能够互相协作,各自取长补短,选择合适的方式来权衡编译本地代码的时间和直接解释执行代码的时间
- 当虚拟机启动的时候,解释器可以首先发挥作用,而不必等待即时编译器全部编译完成在执行,这样可以省去许多不必要的编译时间。并且随着程序运行时间的推移,即时编译器逐渐发挥作用,再根据热点探测功能,将有价值的字节码编译成为本地机器指令,以换取更高的程序执行效率
11.5.3 JRockit
- 不包含解释器、字节码全部都依靠即时编译器编译后执行
- 服务器端