JAVA Virtual Machine(JVM)에 대한 자세한 소개(7) - JVM 최적화

이 그림을 예로 들면, .java에서 .class까지의 과정이 컴파일 과정이고, .class에서 기계어 코드까지의 과정이 해석 과정입니다. 아래에서는 별도로 최적화되었습니다. 최적화 과정에서 컴파일 단계의 최적화는 주로 프런트엔드 컴파일러의 최적화이고, 실행 단계의 최적화는 주로 JIT(Just-In-Time) 컴파일러의 최적화입니다.

컴파일러 최적화

#🎜 🎜 # 컴파일 과정

위는 javac의 컴파일 과정도이고, 다음은 is javac 컴파일 프로세스의 주요 본문 코드입니다.

단계는 아래에 자세히 설명되어 있습니다

1.

어휘 분석

소스 코드의 문자 스트림을 a, =, b와 같이 컴파일 프로세스에서 가장 작은 요소인 토큰 집합으로 변환합니다. 정수 .

구문 분석

토큰 시퀀스를 기반으로 추상 구문 트리를 구성합니다. 앞으로 컴파일러는 기본적으로 더 이상 소스 코드 파일에서 작동하지 않으며 후속 작업은 추상 구문 트리를 기반으로 합니다. 추상 구문 트리는 프로그램 코드의 구문 구조를 설명하는 데 사용되는 트리 표현입니다. 노드는 수정자, 반환 값 등과 같은 코드의 구문 구조를 나타냅니다.

기호 테이블 채우기

기호 테이블은 일련의 기호 주소와 기호 정보로 구성된 테이블로, 다양한 컴파일 단계에서 사용됩니다. 예를 들어 의미 분석에서는 대상 코드 생성 단계에서 의미 확인 및 중간 코드 생성에 사용되며 주소 할당의 기초로 사용됩니다.

2. 주석 처리기 이 부분은 컴파일 중에 주석을 처리하는 플러그인 주석 처리기입니다. 구문 트리를 수정할 수 있습니다. 수정되면 컴파일러는 재처리를 위해 위의 첫 번째 단계로 돌아갑니다. 각 루프는 위 그림의 루프백 프로세스입니다.

3. 의미 분석 및 바이트코드 생성 구문 분석 후 생성된 구문 트리는 올바른 구조를 가진 소스 프로그램의 추상화이지만, 소스 프로그램이 논리적이라는 보장은 없습니다. 의미론적 분석의 임무는 구조적으로 올바른 소스 프로그램의 상황에 맞는 특성을 조사하는 것입니다. 예를 들어, 다음 코드의 오류는 의미 분석 단계에서만 확인할 수 있습니다.

boolean a=false;
char b=2;
int c=a+b

이 단계는 다음 4단계로 구성됩니다.

Annotation check

이전에 변수가 선언되었는지 여부 use , 변수와 할당 간의 데이터 유형이 일치할 수 있는지 여부 등 a=1+2를 a=3으로 바꾸는 상수 접기도 있습니다. 따라서 코드에서 a=1+2 및 a=3은 프로그램 실행 중에 CPU 명령 연산량을 증가시키지 않습니다.

데이터 및 제어 흐름 분석

사용하기 전에 프로그램의 로컬 변수에 값이 할당되어 있는지 확인하고, 프로그램의 각 경로가 메소드에는 확인된 모든 예외가 올바르게 처리되었는지 여부 및 기타 문제가 반환 값이 있습니다. 클래스 로딩 중 데이터 및 제어 흐름 분석도 기본적으로 목적은 동일하지만 검증 범위가 다릅니다. 일부 검증 항목은 컴파일 또는 런타임 중에만 실행될 수 있습니다.

Solution to syntactic sugar

Syntactic sugar는 컴퓨터 언어에 일종의 구문을 추가하는 것입니다. 언어의 기능을 향상시킬 수 있습니다. 구문 설탕에는 제네릭, 자동 언박싱 등이 포함됩니다. 이러한 구문은 가상 머신 런타임에서 지원되지 않으며 컴파일 단계 중에 기본 구문 구조로 되돌아갑니다. 이 프로세스를 구문 설탕 디코딩이라고 합니다.

바이트코드 생성

이전 단계에서 생성된 정보(구문 트리, 심볼 테이블)를 바이트코드로 변환하여 디스크에 쓰고, 그런 다음 소량의 코드를 추가하고 변환했습니다. 예를 들어 문자열 추가 작업을 StringBuffer 또는 StringBuilder의 추가() 작업으로 바꿉니다.

이때 Class 파일이 생성됩니다.

语法糖

语法糖是java中添加某种语法，对语言的功能没有影响，但是可以增加程序的可读性。包括泛型、内部类、枚举类等。

1、泛型与类型擦除
泛型可用于类、接口和方法的创建中，用于对放入集合元素的类型的约束。泛型只在程序源码中存在，在编译阶段有解语法糖的步骤，所以在.Class文件中，已经变为了原来的原生类型了。这个过程叫做类型擦除。
泛型擦除前：

public static void main(String[] args){
    Map<String,String> map=new HashMap<>();
    map.put("姓名","小明");
    map.put("性别","男");
    sout(map.get("姓名"));
    sout(map.get("性别"));
}

泛型擦除后：

public static void main(String[] args){
    Map map=new HashMap();
    map.put("姓名","小明");
    map.put("性别","男");
    sout((String)map.get("姓名"));
    sout((String)map.get("性别"));
}

所以ArrayList和ArrayList在运行期时是同一个类。

2、自动拆装箱、循环遍历
这些是java中使用最多的语法糖。编译前：

public static void main(String[] args){
      List<Integer> list=Arrays.asList(1,2,3,4);
      int sum=0;
      for(int i:list){
              sum +=i;
      }
      System.out.println(sum);
}

编译后：

public static void main(String[] args){
      List list=Arrays.asList(new Integer[] {
                Integer.valueOf(1),
                Integer.valueOf(2),
                Integer.valueOf(3),
                Integer.valueOf(4)})；
      int sum=0;
      for(Iterator localIterator=list.iterator();localIterator.hasNext();){
                   int i=((Integer)localIterator.next()).intValue();
                   sum +=i;
      }
      System.out.println(sum);
}

可见，自动拆装箱在编译后被转化为了对应的包装和还原方法，如Integer.valueOf()和Integer.intValue()。
遍历循环则把代码还原为了迭代器的实现。

3、条件编译
根据布尔常量值的真假，编译器会把分支中不成立的代码块消除掉。

public static void main(String[] args){
      if(true){
            sout("block 1");
      }else{
           sout("block 2");
     }
}

编译后，代码变为：

public static void main(String[] args){
     sout("block 1");
}

运行期优化

一般情况下，我们将.java编译成.class，.class再解释成机器码。但是也有特殊的情况。有些代码调用比较频繁，比如某个方法或代码块的运行特别频繁，为了提高程序的执行效率，在运行时，虚拟机会把这个代码直接编译成机器码，并进行各种层次的优化。这样的代码称为热点代码。完成这个任务的编译器被称为即时编译器。但是其并不是虚拟机必需的部分。

即时编译器的概述

（1）为什么虚拟机要使用解释器和编译器并存的架构？

虚拟机里包含着解释器和编译器。当程序需要迅速启动和执行的时候，解释器可以首先发挥作用，省去编译的时间，立即执行。在程序运行后，随着时间的推移，编译器逐渐发挥作用，把越来越多的代码编译成本地代码之后，可以获取更高的执行效率。

当程序运行环境中内存资源限制较大，可以使用解释执行节约内存，反之可以使用编译来提升效率。

（2）为什么虚拟机要实现两个不同的即时编译器？

虚拟机中内置了两个即时编译器，分别为Client Compiler和Server Compiler，又称为C1和C2。

默认只使用其中的一个，至于选择哪个，取决于虚拟机会根据自身版本和宿主机器的硬件性能自动选择运行模式。用户也可以使用“-client”、“-server”进行指定。

（3）程序何时使用解释器执行？何时使用编译器执行？

虚拟机有一个分层编译策略。

第0层：程序解释执行，解释器不开启性能监控功能，可触发第1层编译

第1层：也称为C1编译，将字节码编译为本地代码，进行简单、可靠的优化，如有必要将加入性能监控的逻辑。

第2层：也称为C2编译，将字节码编译为本地代码，但是会启用一些编译耗时较长的优化，甚至会根据性能监控信息进行一些不可靠的激进优化。

（4）哪些程序代码会被编译为本地代码？如何编译为本地代码？

热点代码包括如下两类，其均把整个方法作为编译对象。

a、被多次调用的方法

b、被多次执行的循环体

热点探测是用来判断一段代码是否为热点代码，其方式有两种：

a、基于采样

b、基于计数器。HotSpot使用的是这种。它为每个方法准备了两类计数器：统计方法被调用次数的方法调用计数器和统计一个方法中循环体代码执行次数的回边计数器。

（5）如何从外部观察及时编译器的编译过程和编译结果？

可以使用 -xx:+PrintCompilation 查看哪些方法被即时编译器编译了。

优化技术有哪些？

虚拟机的即时编译器在生成代码时，采用了如下的代码优化技术。

（1）公共子表达式消除

如果一个表达式E已经计算过了，那如果再次出现E时就不会再对它进行计算。比如：

int d=(a*b)*12+c+(c+b*a)

如果这段代码交给javac编译器，则不会进行任何优化。如果交给即时编译器，会被进行如下步骤的优化：

第一步：消除公共子表达式

int d=E*12+c+(c+E)

第二步：代数化简：

int d=E*13+c*2

（2）数组边界检查消除

数组边界检查是什么？
如果有一个数组foo[]，在java语言中访问数组元素foo[i]的时候，系统将会自动进行上下界的范围检查，检查i是否满足0≤i≤foo.length这个条件。

那怎么进行消除呢？
a、把运行期检查提到编译期完成。如foo[3]，只要在编译期根据数据流分析来确定foo.length的值，并判断下标“3”没有越界，执行的时候就不用判断了。
b、隐式异常处理。这种思路通常用于空指针检查和算符运算中除数为零的情况。

if(foo!=null){
  return foo.value;
}else{
  throw new NullPointException();
}

被隐式异常处理优化后，变为如下代码：

try{
  return foo.value;
}catch(segment_fault){
  uncommon_trap();
}

除了数组边界检查消除，还有自动装箱消除、安全点消除、消除反射等。

（3）方法内联

把目标方法的代码“复制”到发起调用的方法之中，避免发生真实的方法调用。

public int add(int x1, int x2, int x3, int x4) {  
        return add1(x1, x2) + add1(x3, x4);  
 }  

public int add1(int x1, int x2) {  
        return x1 + x2;  
    }

运行一段时间后JVM会把add1方法去掉，并把代码翻译成：

public int add(int x1, int x2, int x3, int x4) {  
        return x1 + x2 + x3 + x4;  
}

（4）逃逸分析

当一个对象在方法中被定义后，它可能被外部方法所引用，比如作为调用参数传递到其它方法中，这称为方法逃逸。同理，如果被外部线程访问到，它就称为线程逃逸。

对变量进行相应分析就叫做逃逸分析。如果能证明别的方法或线程无法通过任何途径访问到这个对象，则可以为这个变量进行一些优化。

优化的手段有栈上分配、同步消除、标量替换等。以同步消除为例，如果逃逸分析能够确定一个变量不会逃逸出线程，即无法被其它线程访问到，那对这个变量实施的同步措施就可以消除掉了。

以上内容便是关于JAVA虚拟机中JVM优化的全部介绍，更多相关问题请访问PHP中文网：JAVA视频教程

위 내용은 JAVA Virtual Machine(JVM)에 대한 자세한 소개(7) - JVM 최적화의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!