불규칙 프로그램을 위한 낙관적 병렬화와 프로세서 할당 전략

초록

본 논문은 불규칙 알고리즘에서 낙관적 병렬화를 적용할 때 발생하는 프로세서 할당 문제를 체계적으로 해결한다. 충돌 그래프라는 모델을 도입해 실행 중 발생 가능한 충돌을 정량화하고, 이를 ‘불친절 좌석 문제’와 연결시켜 Turán 정리의 확장을 통해 최악‑케이스 병렬성 하한을 도출한다. 마지막으로 이론적 성질과 실험적 관찰을 결합한 빠르고 안정적인 히스토리 기반 제어 전략을 제시한다.

상세 분석

논문은 먼저 낙관적 병렬화(optimistic parallelization)의 핵심 메커니즘을 정리한다. 불규칙 프로그램은 데이터 의존성이 사전에 명확히 드러나지 않아, 전통적인 정적 스케줄링으로는 충분한 병렬성을 확보하기 어렵다. 이에 저자들은 실행 시점에 작업을 동적으로 생성하고, 런타임이 충돌을 탐지하면 해당 작업을 중단·롤백하는 방식을 채택한다. 이때 중요한 질문은 “얼마나 많은 프로세서를 할당해야 효율적인 실행이 가능한가?”이다.

이를 해결하기 위해 제안된 ‘충돌 그래프(conflict graph)’는 작업을 정점, 두 작업 사이에 잠재적 충돌이 존재하면 간선을 연결한 무방향 그래프이다. 그래프의 독립 집합(independent set) 크기가 동시에 실행 가능한 작업 수와 직접 대응한다. 따라서 최적의 프로세서 수는 그래프의 최대 독립 집합 크기에 비례한다. 그러나 불규칙 알고리즘은 입력에 따라 그래프 구조가 급격히 변하므로, 실시간으로 독립 집합을 정확히 계산하는 것은 NP‑hard 문제다.

저자들은 이 문제를 ‘불친절 좌석 문제(unfriendly seating problem)’와 연결한다. 여기서는 서로 마주보고 앉을 수 없는 사람들을 최소한의 테이블에 배치하는 것이 목표이며, 이는 그래프의 색칠 문제와 동치이다. 기존 Turán 정리는 그래프의 평균 차수를 이용해 최소 독립 집합 크기의 하한을 제공한다. 논문은 이를 일반화하여, 충돌 그래프의 차수 분포가 시간에 따라 변할 때도 적용 가능한 새로운 Turán‑type 부등식을 증명한다. 이 부등식은 최악‑케이스 상황에서도 보장되는 독립 집합(즉, 병렬 실행 가능한 작업) 크기의 하한을 제시한다.

하한을 바탕으로 저자들은 두 가지 실용적인 전략을 설계한다. 첫째, 실행 전 단계에서 입력 파라미터(예: 그래프의 예상 차수)를 추정해 초기 프로세서 할당량을 설정한다. 둘째, 실행 중에는 작업 성공률(성공적인 커밋 비율)과 충돌 비율을 실시간으로 모니터링하고, 이 피드백을 이용해 프로세서 수를 동적으로 조정한다. 이 제어 루프는 ‘증분 조정(incremental adjustment)’과 ‘감쇠(damping)’ 메커니즘을 결합해 급격한 변동을 방지하고, 시스템이 안정적인 작업량을 유지하도록 만든다.

실험 결과는 여러 불규칙 벤치마크(그래프 탐색, 동적 프로그래밍, 비정형 데이터 처리 등)에서 제안된 전략이 기존 고정 할당 방식보다 평균 30 % 이상 높은 스루풋을 달성함을 보여준다. 특히 충돌 비율이 높은 초기 단계에서 프로세서 수를 과감히 축소했다가, 충돌이 감소하면 다시 확대하는 적응형 정책이 효과적이었다.

요약하면, 논문은 충돌 그래프를 통한 정량적 모델링, Turán 정리의 확장을 통한 이론적 하한 도출, 그리고 실시간 피드백 기반의 히스토리 제어 메커니즘이라는 세 축을 결합해 불규칙 프로그램의 프로세서 할당 문제에 대한 최초의 체계적 해결책을 제시한다.