빠른 동적 언어 인터프리터를 만드는 방법

Context

동적 언어 인터프리터의 고질적인 병목인 프로퍼티 접근 시 Dynamic Dispatch 비용 해결 필요. 일반적인 AST-walking 방식은 매번 노드를 탐색하므로 실행 속도가 현저히 낮은 구조적 한계 존재.

Technical Solution

• Dynamic Object Shapes 포기를 통한 Copy-down Inheritance 구현 및 메서드 조회 단순화
• Specialized AST 노드를 Generic 노드 위에 In-place로 교체하는 Self-modifying Code 방식의 Inline Caching 적용
• Argument 개수에 따른 Zero/One/Two Arguments 분리 설계를 통한 Arity Specialization 구현
• Mutable AST Node 구조 채택으로 런타임 중 최적화된 경로로의 빠른 전환 가능케 설계
• Hidden-class Object Model 도입으로 V8/JSC 수준의 프로퍼티 접근 성능 최적화 지향

Impact

• CPython 3.15 JIT 대비 x86_64 기준 기본 인터프리터보다 약 5% 빠른 성능 지표 확인
• N-body 시뮬레이션 기반 벤치마크에서 sqrt 최적화만으로 1.6% 성능 개선 달성

Key Takeaway

인터프리터 성능의 핵심은 단순한 최적화보다 언어 설계 단계에서 Dynamic 성격(Monkey Patching 등)을 제한하여 컴파일러가 정적 타입을 추론할 수 있는 공간을 확보하는 것임.