SSA 형태에서 전역 스필 문제의 복잡성 분석

초록

임베디드 프로세서를 위한 컴파일은 시간 소모가 큰 교차 컴파일을 통한 공격적 접근과, 임베디드 환경에서 주로 동적으로 수행되는 즉시 컴파일으로 나뉜다. 동적 컴파일에서 사용되는 휴리스틱은 제한된 자원, 특히 시간과 메모리의 제약을 크게 받는다. 최근 SSA 형태에 대한 연구는 임베디드 시스템, 특히 임베디드 컴파일을 위한 새로운 레지스터 할당 휴리스틱 설계에 유망한 방향을 제시한다. 특히 스필을 먼저 수행하고 이후 색칠·병합을 하는 두 단계로 구성된 트리 스캔 기반 휴리스틱은 메모리 친화적이며 빠르고 경쟁력 있는 레지스터 할당기를 설계하는 좋은 후보가 된다. 그러나 전력 소비에 미치는 부수 효과 때문에 스필 문제, 즉 로드·스토어 오버헤드 최소화는 중요한 과제이다. 본 논문은 SSA 형태 하에서 “전역 스필(Spill Everywhere)” 문제의 복잡성을 전면적으로 조사한다. 초기 기대와 달리 제기된 여러 질문들에 대해 대부분 NP‑완전임을 입증하였다. 일부 다항식 시간 해결 가능한 경우도 확인했지만, 이는 JIT 환경에서는 실용적이지 않다. 그럼에도 불구하고 이러한 결과는 공격적인 할당기 설계 시 문제 정의를 단순화하는 데 유용한 통찰을 제공한다.

상세 요약

SSA(Static Single Assignment) 형태는 변수 정의가 프로그램 전체에서 단 한 번만 이루어지도록 변환된 중간 표현으로, 레지스터 할당 문제를 그래프 이론적 관점에서 다루기 쉽게 만든다. 특히 “스필(Spill)”은 레지스터가 부족할 때 변수 값을 메모리로 옮겨야 하는 상황을 의미하는데, 이때 발생하는 로드·스토어 명령은 실행 시간과 전력 소모를 동시에 증가시킨다. 임베디드 시스템은 전력 제한과 실시간 응답성을 동시에 만족시켜야 하므로, 스필을 최소화하는 것이 설계 목표 중 하나가 된다.

본 논문은 “Spill Everywhere”라는 특수한 형태의 스필 문제를 집중적으로 분석한다. 이는 특정 변수(또는 변수 집합)를 프로그램 전체에 걸쳐 메모리로 옮기는 전략을 의미한다. 직관적으로는 전체 프로그램을 한 번에 스캔하면서 스필 후보를 선정하고, 이후 색칠 단계에서 남은 변수들을 레지스터에 할당하는 두 단계 프로세스가 제안된다. 이러한 접근은 트리 스캔 방식과 결합될 때, 복잡한 인터페어(liveness) 관계를 단순화시켜 빠른 결정 과정을 가능하게 한다는 기대가 있었다.

하지만 저자들은 SSA 그래프의 구조적 특성을 활용해도, “전역 스필” 문제 자체가 대부분 NP‑완전임을 증명하였다. 구체적으로, 변수 간의 라이프타임이 겹치는 구간을 그래프의 정점으로, 겹침 관계를 간선으로 표현한 “간섭 그래프”에서 최소 스필 집합을 찾는 문제는 기존의 “Vertex Cover” 혹은 “Maximum Independent Set” 문제와 동형임을 보였다. 이러한 변환은 문제의 난이도가 다항식 시간에 해결될 수 없음을 의미한다.

논문은 또한 몇 가지 특수 경우—예를 들어, 프로그램이 선형 블록 형태이거나, 각 기본 블록 내에서 변수 정의가 제한된 경우—에 대해 다항식 알고리즘을 제시한다. 그러나 이러한 경우는 JIT(Just‑In‑Time) 컴파일러가 흔히 마주치는 복잡한 제어 흐름을 갖는 실제 임베디드 코드에서는 드물다. 따라서 실용적인 JIT 환경에서는 근사 알고리즘이나 휴리스틱에 의존해야 함을 시사한다.

이러한 복잡도 결과는 레지스터 할당기 설계자에게 두 가지 중요한 교훈을 제공한다. 첫째, “스필 먼저, 색칠 나중”이라는 전통적인 두 단계 접근법이 이론적으로는 최적해를 보장하지 못한다는 점이다. 둘째, SSA 형태가 제공하는 구조적 이점에도 불구하고, 전역 스필 최소화라는 목표 자체가 근본적으로 어려운 문제이므로, 설계자는 문제를 더 작은 서브문제로 분할하거나, 전력 소비와 실행 시간 사이의 트레이드오프를 명시적으로 모델링하는 전략을 채택해야 한다.

결론적으로, 본 연구는 SSA 기반 레지스터 할당기의 한계를 명확히 규정함으로써, 향후 공격적인 할당기 설계 시 복잡도 이론을 기반으로 한 보다 현실적인 목표 설정과, 실시간 제약을 만족시키는 근사·휴리스틱 기법 개발의 필요성을 강조한다.