SVP 시스템을 위한 실용 중간 언어 SL 소개

초록

SVP 프레임워크를 위한 중간 언어 SL은 ISO C99/C11을 기반으로 스레드 대량 생성·동기화·워드‑사이즈 데이터플로 채널을 지원한다. 고수준 병렬 컴파일러의 타깃 언어이자 현재 Microgrid 칩의 유일한 프로그래밍 인터페이스로 설계되었다.

상세 분석

SL은 기존 C 언어의 문법을 그대로 유지하면서, SVP(시스템‑가상‑프로세서) 모델에 특화된 세 가지 핵심 프리미티브를 추가한다. 첫 번째는 “bulk‑spawn” 구문으로, 하나의 명령문으로 수백에서 수천 개의 경량 스레드를 동시에 생성한다. 이는 하드웨어 멀티스레드 코어가 제공하는 대규모 병렬성을 효율적으로 활용하도록 설계되었으며, 스레드 식별자는 자동으로 할당된 인덱스 배열로 관리된다. 두 번째는 “bulk‑sync” 구문으로, 앞서 생성된 스레드 집합이 모두 종료될 때까지 프로그램 흐름을 차단한다. 이 동기화는 하드웨어 수준의 카운터와 연동되어 최소한의 오버헤드로 구현된다. 세 번째는 “channel” 타입으로, 워드‑사이즈(보통 32‑ 또는 64‑비트) 데이터를 스레드 간에 전달한다. 채널은 단방향 파이프라인 형태이며, 송신자는 데이터를 쓰고 수신자는 블로킹 읽기를 수행한다. 이러한 채널은 데이터 의존성을 명시적으로 표현함으로써 컴파일러가 정적 스케줄링과 파이프라인 최적화를 수행할 수 있게 한다.

SL의 문법은 C의 전처리기와 호환되며, 기존 C 코드에 최소한의 주석 형태 어노테이션만 추가하면 된다. 예를 들어, sl_spawn(N) { … } 구문은 내부적으로는 for (int i=0;i<N;i++) sl_thread_create(...); 로 변환된다. 또한, SL은 메모리 모델을 명시적으로 제한한다. 모든 스레드는 공유 메모리 대신 채널을 통해 통신하도록 권장되며, 이는 메모리 일관성 문제를 회피하고 하드웨어 스케줄러가 데이터 흐름을 기반으로 스레드 배치를 결정하도록 돕는다.

SVP 플랫폼, 특히 Microgrid 아키텍처는 하드웨어 수준에서 수천 개의 스레드와 수백 개의 채널을 동시에 지원한다. SL은 이러한 하드웨어 특성을 추상화하여 프로그래머가 복잡한 동기화 코드를 직접 작성할 필요 없이 고수준의 병렬 구조를 기술하도록 한다. 현재 SL은 연구 단계이지만, Microgrid SDK와 통합되어 실제 칩에서 실행 가능한 바이너리를 생성한다. 향후 계획으로는 정적 분석 도구와 자동 병렬화 패스가 SL 코드를 입력으로 받아 최적화된 스케줄링 정보를 삽입하는 파이프라인을 구축하는 것이 있다.

요약하면, SL은 “quick and dirty”라는 평가에도 불구하고, C와의 높은 호환성, 최소한의 언어 확장, 그리고 하드웨어 친화적 설계 덕분에 SVP 기반 다중코어 시스템을 프로그래밍하기 위한 실용적인 중간 언어로 자리매김하고 있다.