C를 중간 언어로 사용하는 이유

많은 프로그래밍 언어 구현체들이 C를 중간 언어(intermediate language)로 채택한다. C 컴파일러의 최적화 엔진을 활용하면서도, 직접 컴파일러를 구현하는 부담을 덜 수 있기 때문이다. Andy Wingo는 이를 "실용적인 국소 최적점(pragmatic local optimum)"이라고 표현한다.

6가지 핵심 패턴

1. Static Inline 함수로 제로코스트 추상화

static inline에 __attribute__((always_inline))을 결합하면 데이터 추상화의 성능 페널티를 완전히 제거할 수 있다. 저자는 "추상화 비용이 완전히 소각된다"고 표현하며, 안전한 캡슐화를 런타임 오버헤드 없이 달성할 수 있다고 강조한다.

2. 명시적 정수 변환

C의 암묵적 타입 변환에 의존하지 말고, 전용 변환 함수를 사용하고 -Wconversion을 활성화해야 한다. 이는 정의되지 않은 동작(undefined behavior)의 함정을 피하기 위한 필수 전략이다.

3. 의도가 담긴 래핑된 포인터

struct gc_ref처럼 단일 멤버 구조체로 포인터를 래핑하면, 용도별로 포인터 타입을 분리할 수 있다. 컴파일러 개발에서 이는 타입 안전성을 통해 residualization 오류를 조기에 잡아내는 데 특히 유용하다.

4. Unaligned Access에 memcpy 활용

WebAssembly의 unaligned 메모리 로드는 memcpy로 깔끔하게 번역된다. 현대 컴파일러가 이를 효율적인 unaligned 명령어로 최적화한다는 것을 신뢰할 수 있다.

5. 수동 레지스터 할당으로 ABI 호환성 보장

매개변수나 반환 값이 많은 함수의 경우, 스택 규약을 우회하여 글로벌 변수와 신중한 prologue/epilogue 관리를 사용한다. 이는 안정적인 tail call을 보장한다.

6. 한계 인정하기

스택 내부 검사(introspection), 정밀한 예외 처리, 소스 레벨 디버깅은 C를 생성할 때 여전히 어려운 영역이다. 이는 근본적인 설계 트레이드오프를 나타낸다.

실전적 가치

이 글은 Hacker News에서 107점을 받으며 컴파일러 개발 커뮤니티의 주목을 받았다. WebAssembly와 Scheme 같은 고수준 언어를 C로 컴파일하는 과정에서 얻은 실전 경험을 바탕으로, 이론이 아닌 실무에서 바로 적용 가능한 패턴들을 제시한다.

특히 static inline과 구조체 래핑을 통한 타입 안전성 확보는, 생성된 코드가 방대해지더라도 유지보수 가능성과 정확성을 동시에 달성하는 핵심 기법이다. C의 강력한 최적화 능력과 현대적 타입 시스템의 안전성을 동시에 누리는 방법을 보여준다.

#webassembly

C 코드 생성의 실전 노하우: 컴파일러 개발자를 위한 6가지 패턴