GCC 플러그인 개발을 위한 고성능 DSL MELT

초록

MELT는 GCC 내부 구조에 맞게 설계된 Lisp‑계열 도메인‑특화 언어로, C 플러그인 작성의 복잡성을 줄이고 함수형·객체지향·패턴 매칭 기능을 제공한다. MELT 코드는 자동으로 GCC 친화적인 C 코드로 변환되어 기존 GCC 플러그인 시스템에 쉽게 통합된다.

상세 분석

본 논문은 GCC라는 거대한 컴파일러 프레임워크에 DSL을 삽입함으로써 플러그인 개발 생산성을 크게 향상시킬 수 있음을 입증한다. GCC는 4백만 라인 이상의 코드와 수백 개의 내부 데이터 구조(Tree, Gimple 등)를 보유하고 있으며, 메모리 관리까지 자체 가비지 컬렉터(Gg‑c)를 사용한다. 이러한 복잡성 때문에 기존 스크립트 언어(Python, Lua 등)를 직접 임베드하는 것이 거의 불가능에 가깝다. MELT는 이러한 제약을 극복하기 위해 설계되었다. 첫째, MELT는 자체 세대 복사 가비지 컬렉터를 Gg‑c 위에 구현해 두 힙을 혼용하지 않는다. 둘째, GCC API가 C 함수와 매크로, 다양한 반복 구조를 혼합하고 있어 직접 호출이 어려운데, MELT는 DSL 코드를 C 코드로 변환하면서 GCC 스타일(예: GTY 어노테이션, 매크로 기반 반복)과 호환되도록 자동 생성한다. 셋째, MELT는 동적 타입과 원시 GCC 객체를 동시에 다룰 수 있는 혼합 모델을 제공한다. 이는 Gimple·Tree 같은 복잡한 내부 구조를 직접 조작하면서도 고수준의 함수형 프로그래밍 패러다임을 유지하게 해준다. 넷째, 패턴 매칭 엔진은 GCC 내부 표현을 구조화된 형태로 탐색·변환할 수 있게 해, 예컨대 특정 함수 호출을 찾아 최적화하거나 경고를 생성하는 작업을 간결하게 기술한다. 논문은 MELT가 실제로 여러 플러그인(경고 생성, Gimple→C 변환, OpenCL 코드 자동 생성 등)에 적용된 사례를 제시하고, 번역 단계에서 AST 정규화·템포러리 변수 삽입·C 코드 생성까지의 파이프라인을 상세히 설명한다. 성능 측면에서는 MELT 코드 → C 코드 변환은 1초 이내에 완료되지만, 생성된 C 코드를 컴파일하는 데 시간이 소요된다는 점을 언급한다. 이는 MELT 자체가 최적화 엔진이 아니라, GCC가 제공하는 최적화 파이프라인을 활용하도록 설계된 점과 일치한다. 전체적으로 MELT는 “DSL‑to‑C 번역기”라는 독특한 접근법을 통해 레거시 시스템에 고수준 언어를 안전하게 삽입할 수 있음을 보여준다.