[JavaScript] 자바스크립트 컴파일과 인터프리팅

• 자바스크립트 엔진은 load된 script를 해석, 실행하는 역할이다.
• 가장 많이 사용되고 있는 엔진은 크롬과 node의 V8이다.

자바스크립트 엔진 내부에는 컴파일 과정이 있다.

 

과정

1. 렌더링 엔진은 HTML을 읽다가 script 태그를 만나면 잠시 작업을 일시 중단
2. 이때부터 JS코드를 자바스크립트 엔진에서 해석 실행한다.

 

자바스크립트 코드 해석

• 해당 과정을 컴파일레이션이라고 부른다.
• 엔진은 이때 컴파일 과정을 거친다.

컴파일 과정은 총 3단계로 이루어져 있다.

1. 코드를 의미 있는 조각으로 나누는 렉싱, 토크나이징 (이때 스코프가 결정된다. - 렉시컬 스코프라 부르는 이유)
2. 코드를 트리구조로 나타내는 AST로 만드는 파싱
3. VM이 실행할 수 있도록 트리를 가지고 바이트코드로 변환하는 컴파일 과정

여기서 AST를 바이트코드로 변환하는 것은 Ignition이라는 이름의 Interpreter이다.

Interpreter가 VM이 실행할 수 있는 기계어로 번역하는 것을 여기선 컴파일이라고 표현했다.

 

코드 실행

컴파일된 결과를 실행한다.

Ignition이라는 Interpreter가 바이트코드를 만들고, 실행함으로써 코드가 동작된다.

위의 그림 순서대로 보면

• 자바스크립트 코드가 파서를 통해 AST로 파싱된다.
• AST는 Ignition으로 넘어가는데, 이때 Ignition이 자바스크립트를 바이트 코드로 변환하는 인터프리터이다.
• 그 중 자주 사용되는 코드는 TurboFan으로 보내져서 Optimized Machine Code, 즉 최적화된 코드로 다시 컴파일 된다.
  • 사용이 덜된다 싶으면 Deoptimizing되기도 한다.

 

Ignition이 Interpreter고 TurboFan이 JIT Compiler인 셈이다.

 

 

💡 JIT란?

만약 같은 연산을 100번 실행하는 코드가 있을 때, 인터프리터 방식은 같은 줄을 100번 재번역 해야한다. 이런 비효율성을 없애기 위해 JIT컴파일 방식을 혼합해, 반복되는 코드를 미리 기계어로 번역해두고 캐싱해서 최적화를 할 수 있다.

최근 자바스크립트 엔진들은 adaptive compilation 방식을 택해서, 반복이 많이되면 유동적으로 JIT, 아니면 Interpreter로 mode를 나눠 수행한다.

 

 

 

Refs.

https://evan-moon.github.io/2019/06/28/v8-analysis/

V8 엔진은 어떻게 내 코드를 실행하는 걸까?