ASP 프로그램 병렬 인스턴스화 기법과 실험

초록

**
본 논문은 ASP(Answer Set Programming) 프로그램의 인스턴스화 단계에서 발생하는 병목을 해소하기 위해, 현대 멀티코어 SMP 환경을 활용한 세 단계의 병렬화 기법을 제안한다. 컴포넌트 수준, 규칙 수준, 그리고 단일 규칙 수준의 세 가지 병렬화 레이어와 동적 로드밸런싱, 그리고 연산량 기반의 그라뉼러리티 제어 휴리스틱을 결합하여, 대규모 데이터와 규칙이 적은 프로그램 모두에서 높은 스케일러빌리티와 거의 최적에 가까운 효율을 달성하였다. 실험 결과는 두 개 이상의 CPU만으로도 현저한 속도 향상이 가능함을 보여준다.

**

상세 분석

**
이 논문은 ASP 시스템에서 가장 비용이 많이 드는 인스턴스화 과정을 세밀하게 분석하고, 이를 병렬화하기 위한 구조적 접근을 제시한다. 첫 번째 레이어인 컴포넌트 수준은 프로그램을 의존성 그래프의 강하게 연결된 컴포넌트(SCC) 단위로 분할하고, 서로 독립적인 컴포넌트를 동시에 인스턴스화한다. 이를 위해 각 IDB(내부 데이터베이스) 프레디케이트 간의 의존 관계를 그래프로 모델링하고, 위상 정렬을 통해 실행 순서를 결정한다. 이 단계는 대규모 프로그램에서 모듈 단위의 병렬성을 확보함으로써, 전체 인스턴스화 작업을 부분적으로 축소한다.

두 번째 레이어인 규칙 수준은 각 컴포넌트 내부의 규칙들을 동시에 처리한다. 규칙을 exit(재귀가 없는) 규칙과 recursive(재귀가 포함된) 규칙으로 구분하고, exit 규칙은 의존 컴포넌트에서 생성된 사실을 바로 활용해 병렬로 인스턴스화한다. recursive 규칙은 세미-내추럴 평가 방식을 채택해, 이전 반복에서 생성된 새로운 사실만을 이용해 다음 반복을 수행함으로써 불필요한 중복 연산을 최소화한다.

세 번째이자 핵심적인 단일 규칙 수준은 규칙 수가 적어 기존 두 레이어가 적용되지 못하는 경우를 겨냥한다. 여기서는 하나의 규칙에 포함된 리터럴들의 확장 집합을 균등하게 분할하고, 각 파티션을 별도의 스레드에서 독립적으로 인스턴스화한다. 이때 파티션의 크기를 동적으로 조정하기 위해 그라뉼러티 제어 휴리스틱을 도입한다. 휴리스틱은 규칙의 바디 복잡도, 변수 수, 그리고 현재 데이터베이스의 크기를 기반으로 연산 비용을 추정하고, 작업을 과도하게 세분화하거나 과소 분할하지 않도록 조절한다.

또한, 동적 로드밸런싱 메커니즘을 통해 작업 큐의 부하를 실시간으로 모니터링하고, 스레드 간 작업을 재분배한다. 이는 특정 파티션이 예상보다 오래 걸리거나, 일부 CPU가 유휴 상태가 되는 상황을 방지한다. 로드밸런싱은 작업 단위가 충분히 작을 때만 활성화되어, 오버헤드가 최소화된다.

실험에서는 다양한 공개 벤치마크(그래프 색칠, 스케줄링, 데이터베이스 질의 등)를 사용해 기존 인스턴스화 도구와 비교하였다. 결과는 초선형 속도 향상(easy‑to‑parallelize 인스턴스)과 거의 최적에 가까운 효율(hard‑to‑parallelize 인스턴스)을 동시에 달성했으며, 특히 2코어 환경에서도 1.8배 이상의 가속을 보였다. CPU 코어 수가 증가함에 따라 효율은 포화점에 도달하기 전까지 거의 선형적으로 상승했으며, 이는 제안된 세 단계 병렬화와 로드밸런싱, 그라뉼러티 제어가 서로 보완적으로 작동함을 의미한다.

이 논문은 ASP 인스턴스화가 전통적으로 단일 스레드에 의존해 왔던 한계를 뛰어넘어, 현대 멀티코어 하드웨어를 효과적으로 활용할 수 있는 설계 원칙과 구현 기법을 제공한다. 특히, 규칙 수가 적은 경우에도 의미 있는 병렬성을 확보할 수 있는 단일 규칙 레이어는 기존 연구에서 간과되던 중요한 공백을 메우며, 향후 ASP 시스템의 전반적인 성능 향상에 큰 영향을 미칠 것으로 기대된다.

**