Java虚拟机总结上篇

Java虚拟机一直是Java的重难点,一方面由于系统封装得太好,你平常写程序的时候几乎感觉不到它的存在,另一方面了解必要的Java虚拟机工作原理才能对真实工作环境下的bug进行对症下药,另外虚拟机这一部分也一直是面试考官爱问的问题。于是这篇博客就针对Java虚拟机的各个知识点进行归纳。

一.Java内存区域

运行时数据区域

程序计数器

程序计数器是当前线程执行的字节码的行号指示器,线程私有,独立存储

Java虚拟机栈

Java虚拟机栈是线程私有,与Java的方法执行模型有关,描述Java方法执行的内存模型:方法执行时创建栈帧用于储存局部变量表等信息,方法调用返回对应栈帧再虚拟机中的入栈出栈。

既然是栈那么深度就是一定的,若线程请求栈深度大于虚拟机所规定的深度,则抛出StackOverflowError异常。若虚拟机栈请求扩展时无法申请到足够的内存,则抛出OOM异常。

###本地方法栈

就是Native方法所用到的栈,与虚拟机栈作用类似。

Java堆

Java堆是被所有线程共享的一块内存区域,属于线程共享区,在虚拟机启动时创建。它主要作用是存放对象实例和进行垃圾收集管理。

方法区

方法区也是各个线程共享的内存区域,用于储存已被虚拟机加载的类信息,常量,静态变量,即时编译器编译后的代码等数据。

运行时常量池

运行时常量池其实属于方法区,它主要用于存放编译期生成的各种字面量和符号引用,并且具有动态的特点。

new关键字的创建流程

  1. 检查指令的参数能否在常量池中定位到一个类的符号引用
  2. 检查是否已经加载解析和初始化
  3. 从Java堆中划分内存给新生对象,使用CAS保证分配的原子性
  4. 将内存空间初始化为零值
  5. 对对象进行设置,存放在对象头中
  6. 执行方法,按照程序员的意愿进行初始化

分配方式

  1. 指针碰撞

    若Java堆中的内存都是规整的,用过的内存都在左边,没用过的都在右边,中间指针指向临界点,分配内存就很简单,只用把指针往右移动和待分配对象一样的内存区域就行了。

  2. 空闲列表

    如果内存不是规整的,用过的和没用过的内存交错在一起,就不能使用指针碰撞了,需要维护一个列表记录可用的内存块,分配内存时就从列表中找一块足够大的内存记录下来。

对象的内存布局

对象头

储存对象自身的运行时数据,eg:哈希码,GC分代年龄,锁状态标志等。还有类型指针指向它的类元数据的指针,通过这个指针确定这个对象是哪个类的实例。若是Java数组则对象头还有一块记录数组长度的数据。

实例数据

程序代码中所定义的各种类型的字段内容,相同宽度的字段分配到一起

对象访问定位

虚拟机通过栈上的reference数据来操作堆上的具体对象。

访问方式

  1. 使用句柄

    包含对象实例数据与类型数据各自的地址信息,reference中储存的就是对象的句柄地址。句柄地址稳定,对象移动时只改变句柄中的实例数据指针,reference本身不修改。

  2. 直接指针

    reference中储存的就是对象地址,速度更快

二.垃圾收集器与内存分配策略

引用计数算法

给对象添加一个引用计数器,有一个地方引用它时,计数器值就加一,引用失效时就减一,任何时刻计数值为0的对象就死了。这个算法虽然简单但是有一个致命的缺点就是无法解决对象之间相互循环引用的关系。可达性分析算法应运而生。

可达性分析算法

GC Roots作为起点向下搜索,若一个对象到GC Roots没有引用链的话,则证明此对象不可用,可以回收。搜索的对象有:

  • 虚拟机栈中引用的对象
  • 方法区中静态属性引用的对象
  • 方法区中常量引用的对象
  • 本地方法栈中Native 方法引用的对象

对象的回收经历

对象在没有引用链通往GC Roots时,需要经过两次标记才能真正死亡。

  1. 对象在进行可达性分析后如果没有与GC Roots相连接的引用链,会被第一次标记并筛选,若对象没有覆盖finalize方法或者已经调用过了则不会调用finalize。如果需要调用finalize方法,则对象被放在F-Queue队列中,等待线程执行。
  2. 对象如果想存活下去,finalize方法是最后的机会,否则GC对F-Queue队列进行第二次标记后对象真正死亡。

垃圾回收算法

###标记-消除算法

首先标记出所有需要回收的对象,在标记完成后统一回收,缺点是效率低下而且产生大量的内存碎片。

复制算法

将内存划分为大小相等的两块,每次只使用其中的一块,当这一块的内存用完了,就将还存活的对象复制到另外一块上面,然后把已经使用的内存空间一次清理掉。缺点是将内存缩小为了原来的一半,代价较高,对象存活率较高时效率低。

HotSpot实际使用(回收新生代)则是将内存划分为较大的Eden区和两块较小的Survivor区,一块Eden区和一块Survivor区大小比例为8:1,垃圾回收时就将Eden区和已使用的Survivor区中还存活的对象移到另一块Survivor区中,由于根据统计,98%的对象都是很快死亡的,所以按照8:1:1的比例来划分内存明显比1:1划分内存效率要高很多。

标记-整理算法

标记出需要回收的对象,然后让所有存活的对象都向一段移动,将另一端的内存区域清除掉。

分代收集算法

根据新生代和老年代的不同特点选择不同的算法,新生代使用复制算法,老年代使用标记清楚或标记整理算法,虚拟机实际使用这种算法。

内存分配与回收策略

###对象优先在Eden上分配

###GC分类

  1. Monior GC,新生代GC,指发生在新生代的垃圾收集动作,因为Java对象大多都具备朝生夕灭的特点,所以Monior GC很频繁,速度也很快
  2. 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条。