QVTR‑XSLT 로 구현한 TTC 2011 컴파일러 최적화 솔루션

초록

본 논문은 QVTR‑XSLT 도구를 이용해 TTC 2011 컴파일러 최적화 사례를 해결한 과정을 소개한다. 그래픽 기반 QVT Relations 모델을 정의하고, 이를 XSLT 스타일시트로 변환해 로컬 최적화와 명령 선택 두 단계의 변환을 수행한다. 실험 결과, 모든 테스트 케이스를 1초 이내에 처리했으며, 도구의 순수 XSLT 기반 실행 가능성을 입증한다.

상세 분석

이 연구는 모델 기반 변환(MBT) 분야에서 그래픽 표기법을 활용한 QVT Relations(QVTR)의 실용성을 강조한다. QVTR‑XSLT 도구는 MagicDraw 위에 구축된 그래픽 편집기와, XML 기반 변환 정의를 XSLT 코드로 자동 생성하는 코드 생성기로 구성된다. 변환 정의는 메타모델을 먼저 설계하고, 그 위에 13개의 관계(Relation), 9개의 쿼리(Query), 2개의 함수(Function)를 구현함으로써 로컬 최적화와 명령 선택을 각각 수행한다.

로컬 최적화는 인플레이스(in‑place) 변환으로, 동일 모델을 반복적으로 수정한다. ‘FoldOper’, ‘DoFoldOper’, ‘FoldNode’ 등 관계 그룹을 통해 상수 전파, 연산 결합, 불필요한 블록·노드 제거 등을 구현한다. 특히 OCL 기반 제약식으로 메타모델의 정합성을 검증하고, 제한된 OCL 연산을 보완하기 위해 사용자 정의 함수인 CalcuLogic 등을 활용한다.

명령 선택 단계는 소스‑타깃 모델 변환으로, 동일 메타모델을 공유하지만 타깃 모델에 “Target” 접두사를 붙인 새로운 연산 노드를 생성한다. ‘BinaryOp’, ‘MakeBinaryI’, ‘UniqueOp’, ‘MakeLoadStoreI’ 등 관계를 통해 이진 연산, 로드·스토어 명령을 특수화하고, 새로운 상수 노드와 엣지를 삽입한다. 이 과정에서도 쿼리를 이용해 인접 엣지와 노드 정보를 추출하고, GetTargetName, GetNewId 같은 함수로 이름과 식별자를 자동 생성한다.

성능 평가에서는 Intel M3302.13 GHz, 3 GB RAM 환경에서 모든 예제(단, zero.gxl 제외)를 평균 0.8 초 내에 처리했으며, 메모리 사용량도 XSLT 프로세서에 따라 크게 달라짐을 확인했다. 도구는 순수 XSLT만으로 변환을 실행하므로 별도의 런타임 코드가 필요 없으며, 변환이 안정화될 때까지 반복 실행하는 ‘iterative runner’를 제공한다.

전체적으로 이 논문은 QVTR의 그래픽 표기와 XSLT 기반 실행을 결합함으로써 모델 변환의 가시성, 재사용성, 플랫폼 독립성을 동시에 달성한 사례를 제시한다. 또한 복잡한 컴파일러 최적화 작업을 선언적 관계와 함수로 구조화함으로써 변환 로직을 명확히 하고, 기존 변환 도구의 부족한 그래픽 지원을 보완한다는 점에서 학술적·실용적 의의를 가진다.