Java 虚拟机 - JIT 优化


在本章中,我们将学习 JIT 优化。

方法内联

在这种优化技术中,编译器决定用函数体替换函数调用。下面是一个相同的例子 -

int sum3;

static int add(int a, int b) {
   return a + b;
}

public static void main(String…args) {
   sum3 = add(5,7) + add(4,2);
}

//after method inlining
public static void main(String…args) {
   sum3 = 5+ 7 + 4 + 2;
}

使用这种技术,编译器可以节省机器进行任何函数调用的开销(它需要将参数压入堆栈并弹出)。因此,生成的代码运行得更快。

方法内联只能对非虚函数(未被重写的函数)进行。考虑一下如果“add”方法在子类中被重写并且包含该方法的对象的类型直到运行时才知道,会发生什么情况。在这种情况下,编译器将不知道要内联什么方法。但是,如果该方法被标记为“final”,那么编译器很容易知道它可以是内联的,因为它不能被任何子类覆盖。请注意,根本不能保证最终方法始终是内联的。

无法访问和死代码消除

无法访问的代码是任何可能的执行流都无法访问的代码。我们将考虑以下示例 -

void foo() {
   if (a) return;
   else return;
   foobar(a,b); //unreachable code, compile time error
}

死代码也是无法访问的代码,但在这种情况下编译器确实会吐出错误。相反,我们只是收到警告。每个代码块(例如构造函数、函数、try、catch、if、while 等)都有自己的 JLS(Java 语言规范)中定义的不可访问代码规则。

不断折叠

要理解常量折叠概念,请参阅下面的示例。

final int num = 5;
int b = num * 6; //compile-time constant, num never changes
//compiler would assign b a value of 30.