파서 아키텍처

Oxc는 자체 AST와 파서를 유지하며, Rust로 작성된 JavaScript·TypeScript(JSX·TSX 포함) 파서 중 가장 빠르고 스펙 준수도가 높은 편입니다.

파서는 JS 툴링에서 흔히 핵심 병목이라, 사소한 개선도 다운스트림 도구에 연쇄 효과가 납니다. 자체 파서를 개발함으로써 잘 연구된 성능 기법을 적용·실험할 수 있습니다.

AST 설계 철학

많은 기존 도구가 AST 명세로 estree를 쓰지만, 모호한 노드가 많다는 단점이 있습니다. estree로 개발할 때 그 모호함 때문에 혼란이 자주 생깁니다.

Oxc AST는 estree와 달리 모호한 노드를 없애고 구분된 타입을 둡니다. 예를 들어 일반적인 estree Identifier 대신 BindingIdentifier, IdentifierReference, IdentifierName 같은 구체 타입을 제공합니다.

이 구분은 ECMAScript 명세와 더 잘 맞아 개발 경험을 크게 개선합니다.

AST 노드 타입

rust

// 일반 Identifier 대신
pub struct BindingIdentifier<'a> {
    pub span: Span,
    pub name: Atom<'a>,
}

pub struct IdentifierReference<'a> {
    pub span: Span,
    pub name: Atom<'a>,
    pub reference_id: Cell<Option<ReferenceId>>,
}

pub struct IdentifierName<'a> {
    pub span: Span,
    pub name: Atom<'a>,
}

의미적 명확성

이 방식은 의미를 분명히 합니다.

BindingIdentifier: 변수 선언 (let x = 1)
IdentifierReference: 변수 사용 (console.log(x))
IdentifierName: 속성 이름 (obj.property)

성능 아키텍처

왜 이렇게 빠른가

메모리 아레나: AST를 메모리 아레나에 할당해 빠른 할당·해제
문자열 최적화: 짧은 문자열은 CompactString으로 인라인
힙 사용 최소화: 위 두 가지 외 추가 힙 할당 없음
관심사 분리: 스코프 바인딩·심볼 해석·일부 구문 오류는 의미 분석기에 위임

메모리 관리 세부

아레나 할당

rust

use oxc_allocator::Allocator;

// 모든 AST 노드는 이 아레나에 할당
let allocator = Allocator::default();
let ast_node = allocator.alloc(Expression::NumericLiteral(
    allocator.alloc(NumericLiteral { value: 42.0, span: SPAN })
));

장점:

O(1) 할당: 단순 포인터 범프
O(1) 해제: 아레나 전체를 한 번에 드롭
캐시 친화: 선형 메모리 배치
단편화 없음: 연속적인 메모리 사용

CompactString 문자열 인터닝

rust

// 길이 ≤ 24바이트 문자열은 인라인 저장(힙 할당 없음)
let short_name = CompactString::from("variableName");  // 스택
let long_name = CompactString::from("a_very_long_variable_name_that_exceeds_limit");  // 힙

대부분의 JavaScript 식별자·문자열 리터럴에 대한 할당을 줄입니다.