摘要：于是这篇博客就针对虚拟机的各个知识点进行归纳。若虚拟机栈请求扩展时无法申请到足够的内存，则抛出异常。类索引用于确定类的全限定名，父类索引用于确定父类的全限定名。字节码指令操作码长度为一个字节，所以总数最多不超过条。
Java虚拟机一直是Java的重难点，一方面由于系统封装得太好，你平常写程序的时候几乎感觉不到它的存在，另一方面了解必要的Java虚拟机工作原理才能对真实工作环境下的bug进行对症下药，另外虚拟机这一部分也一直是面试考官爱问的问题。于是这篇博客就针对Java虚拟机的各个知识点进行归纳。
一.Java内存区域 运行时数据区域 程序计数器程序计数器是当前线程执行的字节码的行号指示器，线程私有，独立存储
Java虚拟机栈Java虚拟机栈是线程私有，与Java的方法执行模型有关，描述Java方法执行的内存模型:方法执行时创建栈帧用于储存局部变量表等信息，方法调用返回对应栈帧再虚拟机中的入栈出栈。
既然是栈那么深度就是一定的，若线程请求栈深度大于虚拟机所规定的深度，则抛出StackOverflowError异常。若虚拟机栈请求扩展时无法申请到足够的内存，则抛出OOM异常。
本地方法栈就是Native方法所用到的栈，与虚拟机栈作用类似。
Java堆Java堆是被所有线程共享的一块内存区域，属于线程共享区，在虚拟机启动时创建。它主要作用是存放对象实例和进行垃圾收集管理。
方法区方法区也是各个线程共享的内存区域，用于储存已被虚拟机加载的类信息，常量，静态变量，即时编译器编译后的代码等数据。
运行时常量池运行时常量池其实属于方法区，它主要用于存放编译期生成的各种字面量和符号引用，并且具有动态的特点。
new关键字的创建流程检查指令的参数能否在常量池中定位到一个类的符号引用
检查是否已经加载解析和初始化
从Java堆中划分内存给新生对象，使用CAS保证分配的原子性
将内存空间初始化为零值
对对象进行设置，存放在对象头中
执行
指针碰撞
若Java堆中的内存都是规整的，用过的内存都在左边，没用过的都在右边，中间指针指向临界点，分配内存就很简单，只用把指针往右移动和待分配对象一样的内存区域就行了。
空闲列表
如果内存不是规整的，用过的和没用过的内存交错在一起，就不能使用指针碰撞了，需要维护一个列表记录可用的内存块，分配内存时就从列表中找一块足够大的内存记录下来。
对象的内存布局 对象头储存对象自身的运行时数据，eg：哈希码，GC分代年龄，锁状态标志等。还有类型指针指向它的类元数据的指针，通过这个指针确定这个对象是哪个类的实例。若是Java数组则对象头还有一块记录数组长度的数据。
实例数据程序代码中所定义的各种类型的字段内容，相同宽度的字段分配到一起
对象访问定位虚拟机通过栈上的reference数据来操作堆上的具体对象。
访问方式使用句柄
包含对象实例数据与类型数据各自的地址信息，reference中储存的就是对象的句柄地址。句柄地址稳定，对象移动时只改变句柄中的实例数据指针，reference本身不修改。
直接指针
reference中储存的就是对象地址，速度更快
二.垃圾收集器与内存分配策略 引用计数算法给对象添加一个引用计数器，有一个地方引用它时，计数器值就加一，引用失效时就减一，任何时刻计数值为0的对象就死了。这个算法虽然简单但是有一个致命的缺点就是无法解决对象之间相互循环引用的关系。可达性分析算法应运而生。
可达性分析算法GC Roots作为起点向下搜索，若一个对象到GC Roots没有引用链的话，则证明此对象不可用，可以回收。搜索的对象有：
虚拟机栈中引用的对象
方法区中静态属性引用的对象
方法区中常量引用的对象
本地方法栈中Native 方法引用的对象
对象的回收经历对象在没有引用链通往GC Roots时，需要经过两次标记才能真正死亡。
对象在进行可达性分析后如果没有与GC Roots相连接的引用链，会被第一次标记并筛选，若对象没有覆盖finalize方法或者已经调用过了则不会调用finalize。如果需要调用finalize方法，则对象被放在F-Queue队列中，等待线程执行。
对象如果想存活下去，finalize方法是最后的机会，否则GC对F-Queue队列进行第二次标记后对象真正死亡。
垃圾回收算法 标记-消除算法首先标记出所有需要回收的对象，在标记完成后统一回收，缺点是效率低下而且产生大量的内存碎片。
复制算法将内存划分为大小相等的两块，每次只使用其中的一块，当这一块的内存用完了，就将还存活的对象复制到另外一块上面，然后把已经使用的内存空间一次清理掉。缺点是将内存缩小为了原来的一半，代价较高，对象存活率较高时效率低。
HotSpot实际使用（回收新生代）则是将内存划分为较大的Eden区和两块较小的Survivor区，一块Eden区和一块Survivor区大小比例为8:1，垃圾回收时就将Eden区和已使用的Survivor区中还存活的对象移到另一块Survivor区中，由于根据统计，98%的对象都是很快死亡的，所以按照8:1:1的比例来划分内存明显比1:1划分内存效率要高很多。
标记-整理算法标记出需要回收的对象，然后让所有存活的对象都向一段移动，将另一端的内存区域清除掉。
分代收集算法根据新生代和老年代的不同特点选择不同的算法，新生代使用复制算法，老年代使用标记清楚或标记整理算法，虚拟机实际使用这种算法。
内存分配与回收策略 对象优先在Eden上分配 GC分类Monior GC，新生代GC，指发生在新生代的垃圾收集动作，因为Java对象大多都具备朝生夕灭的特点，所以Monior GC很频繁，速度也很快
Major GC/Full GC，老年代GC，指发生在老年代的垃圾回收动作，一般比Monior GC慢十倍以上。
大对象直接进入老年代大对象指需要大量连续内存空间的Java对象，如很长的字符串以及数组。直接进入老年代避免频繁的GC活动。
长期存活的对象将进入老年代对象在新生代区域每熬过一次Minor GC，年龄就增加一岁（Age Count），超过15岁（默认），就会被晋升到老年代中。
动态年龄判定如果相同年龄的对象所占内存大于Survivor空间的一半，年龄大于等于该年龄的对象就可以直接进入老年代。
三.类文件结构 Class类文件的结构一组以八位字节为基础的二进制流，各个数据项目严格按照顺序紧凑地排列在Class文件之中，中间没有任何分隔符。
储存结构无符号数，用来描述数字，索引引用，数量值或UTF-8编码的字符串
表，多个无符号数+表=表，_info结尾，Class实际上就是一张表
魔数每个Class文件的头4个字节，确定这个文件是否为一个能被虚拟机接受的Class文件。class文件的魔数是0XCAFEBABE。
Class文件的版本号紧跟魔数的四个字节确定版本号：5，6字节为次版本号，7，8字节为主版本号。jdk向下兼容，不向上兼容。
常量池紧随主次版本号之后包含：
字面量文本字符串，申明为final的常量值。
符号引用
类和接口的全限定名
字段的名称和描述符
方法的名称和描述符
动态连接各个字段的内存信息，从常量池中获得对应的读出引用，再在类创建时或运行解析翻译到具体的内存地址之中。
每一项常量都是一个表，每个表的第一位都是一个是一个u1类型的标志位，代表这个常量属于哪种常量类型。
访问标志紧随常量池后面，两个字节代表访问标志，标识类或接口的访问信息。如这个Class是类还是接口，public类型等。
类索引，父类索引，接口索引集合除了接口索引是集合外，其他索引都只有一个，用这三个索引确定类的继承关系。类索引用于确定类的全限定名，父类索引用于确定父类的全限定名。
字段表集合用于描述类或接口中声明的变量，字段包括类级变量和实例级变量，不包括方法中声明的局部变量，描述字段的属性如public，static，final等用一个布尔变量表示，刚好使用一个标志位，通过引用常量池中的常量来确定。
方法表集合与字段表相似。
属性表集合Class文件，字段表，方法表都可以携带自己的属性表集合，用于描述某些场景专有的信息。
字节码指令操作码长度为一个字节，所以总数最多不超过256条。
文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。
转载请注明本文地址：https://www.ucloud.cn/yun/68628.html
摘要：本篇博客主要针对虚拟机的晚期编译优化，内存模型与线程，线程安全与锁优化进行总结，其余部分总结请点击虚拟总结上篇，虚拟机总结中篇。 本篇博客主要针对Java虚拟机的晚期编译优化，Java内存模型与线程，线程安全与锁优化进行总结，其余部分总结请点击Java虚拟总结上篇 ，Java虚拟机总结中篇。 一.晚期运行期优化 即时编译器JIT 即时编译器JIT的作用就是热点代码转换为平台相关的机器码...
摘要：验证过程验证过程的目的是为了确保文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。二虚拟机字节码执行引擎虚拟机的执行引擎自行实现，可以自行制定指令集与执行引擎的结构体系。 本篇博客主要针对Java虚拟机的类加载机制，虚拟机字节码执行引擎，早期编译优化进行总结，其余部分总结请点击Java虚拟总结上篇 。 一.虚拟机类加载机制 概述 虚拟机把描述类的数据从Clas...
摘要：与都继承自类，在中也是使用字符数组保存字符串，，这两种对象都是可变的。采用字节码的好处语言通过字节码的方式，在一定程度上解决了传统解释型语言执行效率低的问题，同时又保留了解释型语言可移植的特点。 String和StringBuffer、StringBuilder的区别是什么？String为什么是不可变的？ String和StringBuffer、StringBuilder的区别 可变性...
摘要：最近在备战面试的过程中，整理一下面试题。成员变量如果没有被赋初值，则会自动以类型的默认值而赋值一种情况例外被修饰但没有被修饰的成员变量必须显示地赋值而局部变量则不会自动赋值。 最近在备战面试的过程中，整理一下面试题。大多数题目都是自己手敲的，网上也有很多这样的总结。自己感觉总是很乱，所以花了很久把自己觉得重要的东西总结了一下。 面向对象和面向过程的区别 面向过程： 优点：性能比面...
摘要：编译器只需面向，生成能理解的代码或字节码文件。源文件经编译器，编译成字节码程序，通过将每一条指令翻译成不同平台机器码，通过特定平台运行。涨见识，字节码执行过程分析。解决办法减少默认栈的容量来换取更多的线程支持。 前言 JVM是java的核心和基础，在java编译器和os平台之间的虚拟处理器。它是一种基于下层的操作系统和硬件平台并利用软件方法来实现的抽象的计算机，可以在上面执行java的...
阅读 856·2023-04-26 03:02
阅读 937·2023-04-25 19:18
阅读 2385·2021-11-23 09:51
阅读 2398·2021-11-11 16:55
阅读 2422·2021-10-21 09:39
阅读 1503·2021-10-09 09:59
阅读 1786·2021-09-26 09:55
阅读 3264·2021-09-26 09:55
