셀 프로세서로 매트릭스 언어 실행 가속화

초록

본 논문은 Octave에 새로운 행렬 데이터 타입을 도입해 IBM Cell Broadband Engine의 Synergistic Processing Elements(SPE)에서 행렬 연산을 자동으로 병렬화한다. 지연 평가를 이용해 연산 트레이스를 생성하고, 이를 데이터 의존 그래프로 변환한 뒤 하위 행렬로 분할하여 스케줄링·실행한다. 실험 결과, 최신 Intel Core2 Quad 대비 최대 12배의 속도 향상을 달성하였다.

상세 분석

이 연구는 고성능 전용 프로세서인 Cell의 구조적 특성을 행렬 언어에 맞게 활용하는 방법을 제시한다. Cell은 하나의 PowerPC 기반 PPE와 8개의 독립적인 SPE로 구성되며, 각 SPE는 256 KB의 로컬 메모리와 SIMD 연산 유닛을 갖는다. 이러한 제한된 로컬 스토리지와 높은 메모리 대역폭 차이를 극복하기 위해 저자는 Octave에 ‘cellMatrix’라는 새로운 데이터 타입을 정의하고, 연산을 즉시 실행하지 않는 지연 평가(lazy evaluation) 방식을 채택했다. 사용자가 행렬 연산을 기술하면, 프레임워크는 연산 순서를 기록한 트레이스를 수집하고, 이를 데이터 의존 그래프로 변환한다. 그래프의 각 노드는 기본 행렬 연산이며, 엣지는 데이터 흐름을 나타낸다. 이후 그래프를 ‘lowering’ 단계에서 일정 크기의 서브 행렬 블록으로 분할한다. 이 과정은 SPE의 로컬 메모리 용량에 맞게 블록 크기를 자동 조정하고, 블록 간 독립성을 확보해 데이터 병렬성을 극대화한다. 스케줄러는 의존 관계를 고려해 작업을 SPE에 동적으로 할당하고, 파이프라인 병렬성(데이터 전송·연산·결과 저장을 겹쳐 수행)과 명령 수준 병렬성(SIMD 명령 재배열)을 동시에 활용한다. 또한, 여러 작업이 동시에 진행될 수 있도록 태스크 병렬성도 지원한다. 구현상의 핵심 과제로는 SPE 간 통신 오버헤드 최소화, DMA 전송과 연산의 겹침, 그리고 로컬 메모리 부족 시 블록 재분할 전략이 있다. 성능 평가에서는 MATLAB/Octave의 표준 벤치마크와 선형 대수, 이미지 처리, 신호 처리 응용 프로그램을 대상으로 실험했으며, 평균 6배, 최고 12배의 속도 향상을 기록했다. 이는 Cell의 연산 능력을 효과적으로 활용했음을 입증한다.