ZJIT, 새로운 레지스터 할당기로 성능 향상!

레지스터 할당기(Register Allocator)는 컴파일러가 생성한 코드에서 변수의 값을 저장할 레지스터를 결정하는 역할을 한다. ZJIT는 Christian Wimmer의 논문을 기반으로 한 선형 스캔(Linear Scan) 방식을 채택했다. 이 방식은 각 변수의 수명(Lifetime)을 계산하고, 레지스터 풀에서 가용 레지스터를 할당하며, 레지스터가 부족할 경우 메모리에 스필(Spill)하는 방식으로 작동한다. 선형 스캔(Linear Scan) 방식은 구현이 비교적 간단하면서도 효율적인 성능을 제공한다.

ZJIT는 SSA 형태(SSA Form)를 사용하여 변수의 할당을 최적화한다. SSA 형태는 각 변수가 한 번만 할당되도록 제한하여, 데이터 흐름 분석을 용이하게 한다. 이를 통해 컴파일러는 변수의 수명(Lifetime)을 정확하게 파악하고, 레지스터 할당 효율을 높일 수 있다. 예를 들어, `v1 = Const(123)`와 같이 각 변수에 고유한 식별자를 부여하여 변수의 중복 할당을 방지하고, 코드의 가독성(Code Readability)을 향상시킨다.

ZJIT는 기존의 로컬 할당기(Local Allocator)에서 글로벌 할당기(Global Allocator)로 전환하여 블록 경계에서의 성능 저하를 개선했다. 글로벌 할당기는 전체 함수를 분석하여 변수가 여러 블록에 걸쳐 사용될 경우, 동일한 레지스터를 할당할 수 있다. 이는 블록 간의 불필요한 메모리 접근을 줄여 성능 향상(Performance Improvement)을 가져온다. 특히, 루프(Loop)와 같이 빈번하게 실행되는 코드에서 효과적이다.

현재 ZJIT는 수명 구멍(Lifetime Holes) 문제를 해결하기 위한 작업을 진행 중이다. 수명 구멍은 변수가 특정 조건에서만 사용되고, 다른 조건에서는 사용되지 않는 경우 발생한다. 이러한 경우, 레지스터 할당기는 변수가 항상 사용되는 것으로 간주하여 레지스터를 낭비할 수 있다. 수명 구멍을 정확하게 파악하면, 레지스터를 더욱 효율적으로 활용하여 성능을 극대화(Performance Maximization)할 수 있다. 커뮤니티에서는 이 문제 해결에 대한 기대가 높다.