같은 엔진, 다른 기어: 고정점 반복 알고리즘의 다중 세분화 병렬화

초록

본 논문은 정적 분석기의 핵심인 고정점 반복 알고리즘을 병렬화하는 새로운 방법을 제안한다. 기존 접근법이 스레드나 프로시저 수준처럼 작업의 세분화 수준을 미리 고정한 반면, 본 연구는 작업 세분화에 대해 매개변수화된 병렬화를 통해 하나의 엔진이 다양한 ‘기어’로 운용될 수 있도록 한다. 단일 공유 상태 테이블을 사용하는 ‘즉각적 접근법’과 각 작업이 독립된 상태를 유지하며 데이터를 교환하는 ‘독립적 접근법’이라는 두 가지 병렬화 철학을 Goblint 프레임워크에 구현하여 대규모 실제 프로그램에 대한 성능 결과를 보고한다.

상세 분석

이 논문은 정적 분석의 핵심 연산인 고정점 반복의 병렬화에 대한 근본적인 재설계를 제시한다. 기존의 병렬화가 특정 작업 단위(예: 스레드, 함수)에 고정되어 유연성이 부족했다는 점을 지적하며, 작업의 세분화 수준을 사전에 결정하지 않고 분석 중에 동적으로 조정할 수 있는 ‘TL_TD’ 솔버를 기반으로 한 새로운 아키텍처를 소개한다.

핵심 기술적 기여는 다음과 같다. 첫째, 기존 TD(Top-Down) 솔버를 개선한 ‘TL_TD’를 제안한다. TL_TD는 여러 데이터 구조를 하나로 통합하여 접근 오버헤드를 줄이고, 최상위 수준 작업 집합을 도입하여 재귀적 하향 탐색을 지연 또는 병렬 실행 가능한 형태로 변경했다. 이는 병렬화의 기반을 마련한다.

둘째, ‘즉각적 접근법’과 ‘독립적 접근법’이라는 상반된 병렬화 철학을 정립하고 구현했다. 즉각적 접근법은 모든 작업자가 단일의 스레드 안전 해시 테이블에 저장된 전역 솔버 상태에 직접 접근한다. 이는 강한 일관성을 보장하지만, 세밀한 잠금으로 인한 경쟁과 오버헤드가 단점이다. 반면 독립적 접근법은 각 작업자가 자신의 로컬 상태 사본을 유지하며, 변경사항은 발행-구독 메커니즘을 통해 다른 작업자와 비동기적으로 교환한다. 이는 경쟁을 줄이고 지역성을 높이지만, 상태 복제와 동기화로 인한 메모리 오버헤드와 최신성 유지의 지연이 도전 과제이다.

이러한 설계는 혼합 흐름 민감도 분석을 지원하는 일반적인 고정점 엔진에 적용 가능하며, 분석 설계자로부터 병렬화 알고리즘의 세부 사항을 분리하는 것을 목표로 한다. 실험 평가에서는 두 접근법이 서로 다른 프로그램 특성에 따라 상이한 성능 특성을 보임을 확인하였다. 즉, 작업 간 의존성이 높은 경우 즉각적 접근법이, 상대적으로 독립적인 작업으로 분할 가능한 경우 독립적 접근법이 유리할 수 있다. 이는 ‘작업 세분화 수준’이라는 ‘기어’를 분석 대상에 맞게 선택할 수 있는 이 논문의 접근법의 실용적 가치를 입증한다.