파서 아키텍처

Oxc는 자체적인 AST와 파서를 유지하고 있으며, 이는 지금까지 루스트로 작성된 가장 빠르고 표준 준수성이 높은 자바스크립트 및 타입스크립트(이상의 JSX와 TSX 포함) 파서입니다.

파서는 자바스크립트 도구에서 종종 핵심 성능 장애물이 되기 때문에, 소소한 개선 사항이라도 하류 도구에 계단식으로 영향을 미칠 수 있습니다. 자체 파서를 개발함으로써 잘 연구된 성능 기법을 탐색하고 구현할 기회를 갖게 됩니다.

AST 설계 철학

많은 기존 자바스크립트 도구들이 estree를 그들의 AST 사양으로 사용하지만, 명백한 단점은 모호한 노드가 과도하게 많다는 점입니다. 이러한 모호성은 estree를 사용할 때 개발 과정에서 혼란을 초래하기 쉽습니다.

Oxc AST는 estree AST와 달리 모호한 노드를 제거하고 명확한 유형을 도입합니다. 예를 들어, 일반적인 estree Identifier 대신에, Oxc AST는 BindingIdentifier, IdentifierReference, IdentifierName과 같은 구체적인 유형을 제공합니다.

이러한 명확한 구분은 더 엄밀한 웹 표준 사양과 일치하도록 해서 개발 경험을 크게 향상시킵니다.

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)

성능 아키텍처

얼마나 빠른가?

메모리 아레나: memory arena를 사용하여 빠른 할당 및 해제
문자열 최적화: 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");  // 힙에 할당

이는 대부분의 자바스크립트 식별자와 문자열 리터럴에 대한 메모리 할당 횟수를 줄입니다.