템플릿 동시 프로그래밍을 위한 마크업 언어

초록

Templet은 기존 C++, Java, C# 등 순차 언어에 마크업을 삽입해 프로세스 간 상호작용을 선언적으로 기술하도록 설계된 언어이다. 별도 컴파일러 없이도 호스트 언어의 라이브러리와 결합해 자동 코드 생성이 가능하며, 마크업 단계에서 동시성 모델 오류를 정적 검증한다.

상세 분석

Templet이 제시하는 핵심 아이디어는 “코드와 동시성 구조를 분리”한다는 점이다. 전통적인 라이브러리 기반 접근법은 개발자가 직접 스레드, 락, 메시지 큐 등을 호출해야 하므로 인간 오류가 빈번하고, 컴파일러가 이러한 논리적 오류를 감지하지 못한다. Templet은 소스 파일에 <process>, <channel> 같은 태그를 삽입해 프로세스 네트워크를 선언하고, 이 마크업을 전처리 단계에서 파싱해 호스트 언어용 스텁 코드를 자동 생성한다.

언어 설계는 크게 세 부분으로 나뉜다. 첫째, 구조적 마크업으로 프로세스와 채널, 그리고 그들의 포트와 전이 규칙을 정의한다. 둘째, 속성 선언을 통해 메시지 타입, 버퍼 크기, 동기/비동기 전송 방식을 지정한다. 셋째, 제약식(constraint) 구문을 사용해 상태 전이의 선행 조건과 후속 조건을 명시함으로써 정적 검증이 가능하도록 한다. 이러한 제약식은 SAT/SMT 솔버와 연동해 컴파일 타임에 교착 상태, 데이터 레이스, 비정상 종료 가능성을 탐지한다.

Templet은 호스트 언어와의 결합을 최소화한다. 마크업 파일은 독립적인 .tmpl 형식이며, 전처리 도구는 해당 파일을 파싱해 C++/Java/C# 클래스와 메서드 스켈레톤을 생성한다. 개발자는 생성된 스켈레톤에 비즈니스 로직만 구현하면 되므로, 기존 코드베이스에 큰 침투 없이 동시성 모델을 도입할 수 있다. 또한, 마크업 자체가 언어 독립적이기 때문에 동일한 모델을 여러 플랫폼(멀티코어 CPU, GPU, FPGA)으로 이식하는 것이 용이하다.

성능 측면에서는 자동 생성된 코드가 직접 작성된 코드와 비교해 오버헤드가 미미함을 논문이 주장한다. 이는 전처리 단계에서 불필요한 런타임 추상화를 제거하고, 정적 분석을 통해 가능한 최적화(예: 채널 버퍼 크기 고정, 락 프리 알고리즘 적용)를 미리 수행하기 때문이다. 다만, 현재 구현은 정적 검증에 초점을 맞추고 있어 동적 스케줄링이나 런타임 적응형 최적화는 지원하지 않는다.

한계점으로는 마크업 문법이 비교적 복잡하고, 대규모 시스템에서 마크업 파일 관리가 어려워질 수 있다는 점이다. 또한, 전처리 도구와 호스트 언어 간의 버전 호환성 문제가 발생할 가능성이 있다. 향후 연구에서는 시각적 모델링 툴과 연동해 마크업을 자동 생성하고, 런타임 모니터링 정보를 피드백해 동적 재구성을 지원하는 방향을 제시한다.

전반적으로 Templet은 “동시성 설계 → 코드 구현” 사이의 격차를 메우는 실용적인 접근법을 제공한다. 정적 검증과 자동 코드 생성이라는 두 축을 통해 개발 생산성을 높이고, 멀티코어·다코어 환경에서 발생하기 쉬운 오류를 사전에 차단한다는 점이 가장 큰 강점이다.