今天分析JVM中 Java 方法调用的底层实现:
我们写的代码,经过编译、经过类加载的各种阶段,进入了
JVM
的运行时数据区。
但作为程序员真正关心是代码的执行,代码的执行其实本质上是方法的执行,站在
JVM
的角度归根到底还是字节码的执行。
main
函数是
JVM
指令执行的起点,
JVM
会创建
main
线程来执行
main
函数,以触发
JVM
一系列指令的执行,真正地把
JVM
跑起来。
接着,在我们的代码中,就是方法调用方法的过程,所以了解方法在
JVM
中的调用是非常必要的。
1、方法调用的字节码指令
关于方法的调用,
Java
字节码 共提供了
5
个指令,来调用不同类型的方法:
invokestatic
用来调用静态方法;
invokespecial
用于调用私有实例方法、构造器及
super
关键字等;
invokevirtual
用于调用非私有实例方法,比如
public
和
protected
,大多数方法调用属于这一种;
invokeinterface
和上面这条指令类似,不过作用于接口类;
invokedynamic
用于调用动态方法。
2、非虚方法
如果方法在编译期就确定了具体的调用版本,这个版本在运行时是不可变的,这样的方法称为
非虚方法。
只要能被
invokestatic
和
invokespecial
指令调用的方法,都可以在解析阶段中确定唯一的调用版本,
Java
语言里符合这个条件的方法共有静态方法、私有 方法、实例构造器、父类方法 4
种,再加上被
final
修饰的方法
(
尽管它使用
invokevirtual
指令调用
)
,这
5
种方法调用会在类加载的时候就可以把符号引用 解析为该方法的直接引用。不需要在运行时再去完成。
invokestatic
用来调用静态方法:
这个方法调用在编译期间就明确以常量池项的形式固化在字节码指令的参数之中了。
invokespecial
用于调用私有实例方法、构造器及
super
关键字等;
3、虚方法
与非虚方法相反,不是虚方法的方法就是
虚方法
。主要包括以下字节码中的两类
invokevirtual
用于调用非私有实例方法,比如
public
和
protected
,大多数方法调用属于这一种(排除掉被
final
修饰的方法);
invokeinterface
和上面这条指令类似,不过作用于接口类;
为什么叫做虚方法呢?就是方法在运行时
是可变的
。
很多时候,
JVM
需要根据调用者的动态类型,来确定调用的目标方法,这就是动态绑定的过程;相对比,
invokestatic
指令加上
invokespecial
指令,就属
于静态绑定过程。 因为 invokeinterface
指令跟
invokevirtual
类似,只是作用与接口,所以我们只要熟悉
invokevirtual
即可。
4、分派
要了解虚方法我们必须了解以下基础:
Java
是一门面向对象的程序语言,因为
Java
具备面向对象的
3
个基本特征
:
继承、封装和多态。
分派调用过程将会揭示多态性特征的一些最基本的体现,如“重载”和“重写”在
Java
虚拟机之中是如何实现的
1)静态分派
多见于方法的重载。(
重载
:一个类中允许同时存在一个以上的同名方法,这些方法的参数个数或者类型不同)
“
Human
”称为变量的静态类型(
Static Type
),或者叫做的外观类型(
Apparent Type
),后面的“
Man
”则称为变量的实际类型(
Actual Type
)。 静态类型和实际类型在程序中都可以发生一些变化,区别是静态类型的变化仅仅在使用时发生,变量本身的静态类型不会被改变,并且最终的静态类型 是在编译期可知的;而实际类型变化的结果在运行期才可确定,编译器在编译程序的时候并不知道一个对象的实际类型是什么。 代码中定义了两个静态类型相同但实际类型不同的变量,但虚拟机(准确地说是编译器)在重载时是通过参数的静态类型而不是实际类型作为判定 依据的。并且静态类型是编译期可知的,因此,在编译阶段,Javac
编译器会根据参数的静态类型决定使用哪个重载版本,所以选择了
sayHello
(
Human
) 作为调用目标。所有依赖静态类型来定位方法执行版本的分派动作称为静态分派。 静态分派的典型应用是方法重载。
静态分派发生在编译阶
段,因此确定静态分派的动作实际上不是由虚拟机来执行的。
所以代码运行结果如下:
总结:例子很简单,方法会根据你送入的参数有不同的表现形式,这个就是分派。
举个简单的例子:你在酒吧遇到一个你心动的人,但这个人看上去不男不女,你怎么去与他
/
她打招呼?这个时候我至少知道是一个人, 所以 King
老师打招呼说:地球人!你好,我是来自火星的
King
老师(
hello guy
!)。
我调用它最原始的外观类型(至少是个人)
2)动态分派
多见于方法的重写。(
重写
:在子类中将父类的成员方法的名称保留,重新编写成员方法的实现内容,更改方法的访问权限,修改返 回类型的为父类返回类型的子类。)
另外一个例子:
重写也是使用
invokevirtual
指令,只是这个时候具备多态性。
invokevirtual
指令有多态查找的机制,该指令运行时,解析过程如下:
找到操作数栈顶的第一个元素所指向的对象实际类型,记做
c
;
如果在类型
c
中找到与常量中的描述符和简单名称都相符的方法,则进行访问权限校验,如果通过则返回这个方法直接引用,查 找过程结束,不通过则返回 java.lang.IllegalAccessError
;
否则,按照继承关系从下往上依次对
c
的各个父类进行第二步的搜索和验证过程;
如果始终没找到合适的方法,则抛出
java.lang.AbstractMethodError
异常,这就是
Java
语言中方法重写的本质。
另外一点,这个时候我如果结合之前课程中讲过虚拟机栈中栈中的内容,我就知道动态链接是干嘛的:
invokevirtual
可以知道方法
call()
的符号引用转换是在运行时期完成的,在方法调用的时候。部分符号引用在运行期间转化为直接引 用,
这种转化就是
动态链接。
栈帧执行对内存区域的影响
4、方法表
动态分派会执行非常频繁的动作,
JVM
运行时会频繁的、反复的去搜索元数据,所以
JVM
使用了一种优化手段,这个就是在
方法区中建立一个虚方法表
。
使用虚方法表索引来替代元数据查找以提高性能
。
在实现上,最常用的手段就是为类在方法区中建立一个虚方法表。虚方法表中存放着各个方法的实际入口地址。如果某个方法在子类中没有被重写,那 子类的虚方法表里面的地址入口和父类相同方法的地址入口是一致的,都指向父类的实现入口。如果子类中重写了这个方法,子类方法表中的地址将会 替换为指向子类实现版本的入口地址。
PPT
图中,Son 重写了来自
Father
的全部方法,因此
Son
的方法表没有指向
Father
类型数据的箭头。但是
Son
和
Father
都没有重写来自
Object
的方法,所以它们的方法表中所有从
Object
继承来的方法都指向了
Object
的数据类型。
5、接口调用
invokeinterface
和
invokevirtual
指令类似,不过作用于接口类;
6、Lambda
表达式
invokedynamic
这个字节码是比较复杂。和反射类似,它用于一些动态的调用场景,但它和反射有着本质的不同,效率也比反射要高得多。
invokedynamic 这个指令通常在 Lambda
语法中出现,我们来看一下一小段代码:
使用
javap -p -v
命令可以在
main
方法中看到
invokedynamic
指令:
另外,我们在
javap
的输出中找到了一些奇怪的东西:
BootstrapMethods
属性在
Java 1.7
以后才有,位于类文件的属性列表中,这个属性用于保存
invokedynamic
指令引用的引导方法限定符。 和上面介绍的四个指令不同,invokedynamic
并没有确切的接受对象,取而代之的,是一个叫
CallSite
的对象。
7、方法句柄(
MethodHandle
)
官方文档解释:
https://docs.oracle.com/javase/7/docs/api/java/lang/invoke/MethodHandles.html
invokedynamic
指令的底层,是使用方法句柄(
MethodHandle
)来实现的。方法句柄是一个能够被执行的引用,它可以指向静态方法和实例方法,以及虚 构的 get
和
set
方法,从以下案例中可以看到
MethodHandle
提供的一些方法。
MethodHandle
是什么?简单的说就是方法句柄,通过这个句柄可以调用相应的方法。
用
MethodHandle
调用方法的流程为:
(1)
创建
MethodType,
获取指定方法的签名(出参和入参)
(2)
在
Lookup
中查找
MethodType
的方法句柄
MethodHandle
(3)
传入方法参数通过
MethodHandle
调用方法
MethodType
MethodType
表示一个方法类型的对象,每个
MethodHandle
都有一个
MethodType
实例,
MethodType
用来指明方法的返回类型和参数类型。其有多个工厂方法的重载。
STATIC
M
ETHOD
T
YPE METHOD
T
YPE
(C
LASS
<?>
RTYPE
)
STATIC
M
ETHOD
T
YPE METHOD
T
YPE
(C
LASS
<?>
RTYPE
, C
LASS
<?>
PTYPE
0)
STATIC
M
ETHOD
T
YPE METHOD
T
YPE
(C
LASS
<?>
RTYPE
, C
LASS
<?>[]
PTYPES
)
STATIC
M
ETHOD
T
YPE METHOD
T
YPE
(C
LASS
<?>
RTYPE
, C
LASS
<?>
PTYPE
0, C
LASS
<?>...
PTYPES
)
STATIC
M
ETHOD
T
YPE METHOD
T
YPE
(C
LASS
<?>
RTYPE
, L
IST
<C
LASS
<?>>
PTYPES
)
STATIC
M
ETHOD
T
YPE METHOD
T
YPE
(C
LASS
<?>
RTYPE
, M
ETHOD
T
YPE PTYPES
)
Lookup
MethodHandle.Lookup
可以通过相应的
findxxx
方法得到相应的
MethodHandle
,相当于
MethodHandle
的工厂方法。查找对象上的工厂方法对应于方法、 构造函数和字段的所有主要用例。
findStatic
相当于得到的是一个
static
方法的句柄(类似于
invokestatic
的作用),
findVirtual
找的是普通方法(类似于
invokevirtual
的作用)
invoke
其中需要注意的是
invoke
和
invokeExact,
前者在调用的时候可以进行返回值和参数的类型转换工作,而后者是精确匹配的
所以一般在使用是,往往
invoke
使用比
invokeExact
要多,因为
invokeExact
如果类型不匹配,则会抛错。
Lambda
表达式的捕获与非捕获
当
Lambda
表达式访问一个定义在
Lambda
表达式体外的非静态变量或者对象时,这个
Lambda
表达式称为“捕获的”
那么“非捕获”的
Lambda
表达式来就是
Lambda
表达式没有访问一个定义在
Lambda
表达式体外的非静态变量或者对象
Lambda
表达式是否是捕获的和性能悄然相关。一个非捕获的
lambda
通常比捕获的更高效,非捕获的
lambda
只需要计算一次
.
然后每次使用到它都会返 回一个唯一的实例。而捕获的 lambda
表达式每次使用时都需要重新计算一次,而且从目前实现来看,它很像实例化一个匿名内部类的实例。 lambda 最差的情况性能内部类一样, 好的情况肯定比内部类性能高。
Oracle
公司的性能比较的文档,详细而全面的比较了
lambda
表达式和匿名函数之间的性能差别。
lambda
开发组也有一篇
其中也讲到了
lambda
的性能
(
包括
capture
和非
capture
的情况
)
。
lambda
最差的情况性能内部类一样, 好的情况肯定比内部 类性能高。
https://www.oracle.com/technetwork/java/jvmls2013kuksen-2014088.pdf
http://nerds-central.blogspot.tw/2013/03/java-8-lambdas-they-are-fast-very-fast.html
总结
Lambda 语言实际上是通过方法句柄来完成的,大致这么实现(
JVM 编译的时候使用 invokedynamic 实现 Lambda 表达式,invokedynamic
的是使用 MethodHandle 实现的,所以 JVM 会根据你编写的 Lambda 表达式的代码,编译出一套可以去调用 MethodHandle 的字节码代
码
句柄类型(
MethodType
)是我们对方法的具体描述,配合方法名称,能够定位到一类函数。访问方法句柄和调用原来的指令基本一致,但它的调用异常, 包括一些权限检查,在运行时才能被发现。 案例中,我们完成了动态语言的特性,通过方法名称和传入的对象主体,进行不同的调用,而 Bike
和
Man
类,可以没有任何关系。 可以看到 Lambda
语言实际上是通过方法句柄来完成的,在调用链上自然也多了一些调用步骤,那么在性能上,是否就意味着
Lambda
性能低呢?对于 大部分“非捕获”的 Lambda
表达式来说,
JIT
编译器的逃逸分析能够优化这部分差异,性能和传统方式无异;但对于“捕获型”的表达式来说,则需要
通过方法句柄,不断地生成适配器,性能自然就低了很多(不过和便捷性相比,一丁点性能损失是可接受的)。 invokedynamic 指令,它实际上是通过方法句柄来实现的。和我们关系最大的就是
Lambda
语法,我们了解原理,可以忽略那些对
Lambda
性能高低的 争论,同时还是要尽量写一些“非捕获”的 Lambda
表达式。
下篇分析
Java
语法糖及实现