JVM(基础篇)
写在前面
上周老大给安排几个面试的任务,我一般问两方面:
- 项目经验中解决过的比较有意思的问题又哪些?
- HashMap使用的时候需要注意些什么?
大部分情况下都是希望从第二个问题中挖出来一些东西,和其他同事问的一些JVM相关的问题比还是太弱了,所以一定要学习一下。这篇文章主要想搞明白:
- 内存管理
- 代码执行
Java虚拟的内容太多了,不是随便看看书就能学会的,这里将要总结的都只是皮毛而已,应付一般面试是够了。
内存管理
Java虚拟机在执行的过程中会把它所管理的内存划分为若干个不同的数据区域,大致如下:
内存模型各部分的功能如下:
区域 | 功能 |
---|---|
程序计数器 | 可以看做当前线程执行字节码的行号 |
虚拟机栈 | 存放局部变量、操作栈等 |
本地方法栈 | 与虚拟机栈类似,不过是服务于本地方法 |
堆 | 存放对象 |
方法区 | 存放类信息、常量、静态变量、JIT编译后的代码等 |
运行时常量池 | 编译时生成的各种字面量和符号使用 |
直接内存 | 通过NIO分配的对外内存 |
在内存管理部分比较大的一块内容是GC(垃圾回收),所谓垃圾回收就是将垃圾占用的内存回收掉。那么第一个问题:什么是垃圾?
- 引用计数算法:被引用次数为0的对象。
- 根搜索算法:从GC Roots沿着引用找不到的对象。
这里都提到了引用,在JDK 1.2之后Java就已经对引用的概念进行了扩充,那么第二个问题:有哪些类型的引用?
- 强引用:Object o = new Object()这种都是强引用。
- 弱引用:还有用但非必须的,在OOM之前被回收。
- 软引用:更弱的引用,在下次GC的时候被回收。
- 虚引用:最弱的,唯一的作用是在对象被回收的时候可以收到通知。
这里只有强引用才能对对象的生命周期造成影响。在虚拟机发展的过程中进化出不少垃圾回收算法,比如:
- 标记-清除算法
- 复制算法
- 标记-整理算法
- 分代收集算法
在实际中用到的回收器都是这几种算法的组合,比如从VisualVM中看到的内存是这样的(需要明白各部分都是怎样互相配合的):
分代回收整体上来看是分代收集算法,而S0、S1这两部分可以看做是标记-整理算法。那么第三个问题:常见的CMS垃圾回收器的执行流程是怎样的?
- 初始标记:GC Roots直接关联的对象。
- 并发标记:Root Tracing。
- 重新标记:修复由于程序运行导致标记产生变动。
- 并发清除
具体如下图所示:
CMS执行流程可以看到只有在初始标记和重新标记的时候才需要Stop The World,其他都是和用户线程一起执行,并行执行的过程会消耗掉一些CPU资源。
代码执行
把Java源码丢给JVM肯定是不能执行的,需要先用javac编译成class文件才行,那么第一个问题:class文件的结构是怎样的?
- 常量池
- 访问标志
- 类索引、父类索引和接口索引
- 字段表
- 方法表
- 属性表
虚拟机规范并没有规定在什么时候要加载类,但是规定了在遇到new、反射、父类、Main的时候需要初始化完成。整个类的生命周期如下:
类的生命周期在虚拟机中通过ClassLoader来进行类的加载,这地方需要明白:
- 两个类是否相同,除了类名外还需要判断ClassLoader是否相同。
- 双亲委派模式并不是一个强制约束。
在类加载完成之后就可以开始执行了,和线程运转相关的东西都放在栈帧中,其结构如下:
属性 | 作用/含义 |
---|---|
局部变量表 | 方法参数及方法内部定义的局部变量 |
操作数栈 | 用来被指令操作 |
动态连接 | 指向运行时常量池中该栈帧所属方法的引用 |
方法返回地址 | 上层方法调用本方法的位置 |
附加信息 | 调试信息等 |
执行中具体调用哪个方法是个头疼的问题,需要处理:
- 静态分派:相同名称、不同参数类型的方法。
- 动态分派:继承中复写的方法。
字节码中的指令都是基于栈的操作,比如要完成1+1这样的计算,对应的指令如下:
iconst_1 // 将常量1压入栈
iconst_1
iadd // 把栈顶的两个值相加并出栈,然后把结果放回栈
istore_0 // 将栈顶的值放到局部变量表第0个Solt
解释执行的好处是下载后启动速度快,但是确定也非常明显:运行速度慢。JIT正是用来解决这个问题的,能够将多次调用的方法、多次执行的循环体编译成本地代码。
优化是个很好玩的题目,记得在参加一次变成比赛的时候用gcc -O3编译之后的代码把printf()都没输出了。。在JIT中比较常见的优化手段有:
手段 | 描述 |
---|---|
公共子表达式消除 | 如果一个表达式已经计算过了,那么后面不需要重复计算 |
数组范围检查消除 | 并不是必须一次不漏地检查 |
方法内联 | 把代码复制到调用方法中 |
逃逸分析 | 判断对象是否可能被方法外引用到 |
程序执行一定会涉及到内存操作,在Java中定义了八种操作来完成:
操作 | 含义 |
---|---|
lock | 把一个变量标识为线程独占状态 |
unlock | 释放变量 |
read | 将变量从主存读取到工作内存 |
load | 将read到的变量值放入工作内存中的副本 |
use | 将工作内存中的变量传递给执行引擎 |
assign | 引擎返回的值传递给工作内存中的副本 |
store | 将工作内存中的变量传递给主存 |
write | 把从工作内存得到的变量写入主存对应的变量中 |
这里有必要讲一下volatile的作用,在使用到的时候能明白下面两条即可:
- 保证变量对所有线程是可见的。
- 禁止指令重排优化。
如果Java中所有的操作都需要程序员来控制的话,会有大量的重复代码,而且写起来很累,那么我们可以通过先行发生原则来判断并行的两个操作是否存在冲突:
- 程序次序规则:单线程内按照程序书写顺序。
- 管程锁定规则:unlock必须在lock之前。
- volatile变量规则:写操作先行发生于读操作。
- 线程启动规则:Thread.start()先于线程的其他任意方法。
- 线程终止规则:线程中所有的操作都先于对此线程的终止检测。
- 线程中断规则:interrupt()先于中断检测。
- 对象终结规则:对象的初始化完成先于它的finalize()方法。
- 传递规则:如果A先于B、B先于C,那么A先于C。
Thread的底层实现还是比较麻烦的,但是最起码应该知道Thread的状态是如何进行转换:
线程状态转换图最后,常见的同步方式是synchronized或者aqs的各种实现,这里就不讲了,因为每个都足够写一大篇。