독립적 And‑Parallelism을 위한 병렬 역추적과 답 메모이징

초록

본 논문은 목표 수준 독립 And‑Parallelism(IAP)에서 기존의 답 재계산과 순차적 역추적 방식이 초래하는 비효율성을 극복하기 위해, 답을 메모이징하고 비순차적(비연대기적) 병렬 역추적을 수행하는 새로운 실행 모델을 제안한다. 구현 결과, 메모이징을 통한 재사용과 역추적의 병렬화가 첫 번째 답을 얻는 시간과 전체 실행 시간 모두에서 현저한 성능 향상을 제공함을 보인다.

상세 분석

이 논문은 IAP(Independent And‑Parallelism) 환경에서 발생하는 두 가지 핵심 문제, 즉 ‘답 재계산 비용’과 ‘역추적 순차성에 의한 병렬성 제한’을 동시에 해결하고자 한다. 기존 시스템은 목표가 독립적이라 할지라도 각 목표가 여러 해답을 생성할 경우, 매번 역추적 시 다른 목표의 해답을 다시 계산해야 하는 재연산(recomputation) 비용이 급증한다. 특히 목표의 연산량이 크고 해답 수가 많을 때는 CPU와 메모리 자원을 과도하게 소모한다. 또한 전통적인 오른쪽‑왼쪽 순차 역추적은 역추적 자체를 직렬화시켜, 병렬 실행의 이점을 반감시킨다.

제안된 모델은 세 가지 주요 메커니즘으로 구성된다. 첫째, 답 메모이징(answer memoization) 은 각 병렬 목표가 생성한 해답을 힙·트레일 복합 구조로 저장한다. 이때 저장되는 것은 변수 바인딩 전체이며, 필요 시 즉시 복원할 수 있다. 기존의 테이블링(tabling)과는 달리, 호출 중복 검사나 SCC 관리와 같은 복잡한 제어 구조를 배제하고, 병렬 합성(conjunction) 내부에서만 답을 공유한다는 제한을 둠으로써 구현 복잡도를 크게 낮춘다.

둘째, 비순차적 병렬 역추적(parallel out‑of‑order backtracking) 은 역추적 대상 목표들을 고정된 오른쪽‑왼쪽 순서에 얽매이지 않고, 현재 스택 최상단에 위치한 목표들을 자유롭게 선택해 동시에 역추적한다. 이를 위해 ‘트랩된 목표(trapped goal)’를 스택 상단으로 이동시키는 재배열 과정을 도입했으며, 역추적 중 새로운 해답이 발견되면 다른 목표들의 역추적을 즉시 중단하고 현재 해답을 메모에 저장한다.

셋째, 스펙큘러(speculative) 역추적 은 아직 첫 번째 해답을 필요로 하지 않는 상황에서 가능한 목표들을 미리 역추적해 해답을 미리 확보한다. 이렇게 확보된 해답은 이후 첫 번째 해답이 요구될 때 즉시 재사용될 수 있어, 전체 응답 지연(latency)을 크게 감소시킨다.

구현 측면에서는 각 에이전트가 독립적인 스택 집합을 보유하고, 메모 영역을 추가해 답을 저장한다. 작업 스케줄링은 목표 큐를 통해 수행되며, 유휴 에이전트는 다른 에이전트의 큐에서 작업을 훔친다(work stealing). 역추적이 병렬로 진행될 때는 목표들의 상태를 ‘suspended’(일시 중단) 상태로 전환하고, 필요 시 ‘resume’(재개)한다. 이러한 상태 전환은 바인딩 일관성을 유지하면서도 병렬성을 보존한다.

실험에서는 a1, a2, b1, b2와 같이 서로 독립적인 서브 목표가 각각 두 개의 해답을 갖는 시나리오를 사용해, 전통적인 재계산 방식과 비교했을 때 첫 번째 해답 도출 시간이 평균 30 % 이상 단축되고, 전체 해답을 모두 구하는 경우에도 20 % 이상의 속도 향상을 기록했다. 특히 메모이징 덕분에 동일한 해답을 여러 번 재계산하지 않아 발생하는 ‘중복 연산’이 사라짐으로써, 메모리 사용량도 적절히 제어되었다.

결론적으로, 이 논문은 IAP 환경에서 답 재계산을 메모이징으로 대체하고, 역추적 순서를 자유롭게 함으로써 병렬성을 극대화하는 실용적인 모델을 제시한다. 구현 복잡성을 크게 낮추면서도 성능 이점을 확보했으며, 향후 더 복잡한 논리 프로그램이나 동적 스케줄링 환경에도 적용 가능할 것으로 기대된다.