WAM을 EAM으로 변환한 새로운 실행 모델

초록

이 논문은 전통적인 와암(WAM) 명령어를 확장 앤드라 모델(EAM) 방식으로 해석하여, 암시적 제어와 병렬성을 활용한 효율적인 논리 프로그램 실행을 목표로 하는 WAM2EAM 시스템을 제안한다.

상세 요약

본 논문은 논리 프로그래밍 구현체에서 오랫동안 추구되어 온 두 가지 핵심 목표, 즉 탐색 공간의 축소와 내재된 병렬성의 활용을 동시에 달성하기 위한 새로운 실행 모델을 제시한다. 기존의 와암(WAM)은 순차적인 백트래킹 기반의 실행 흐름을 갖고 있어, 불필요한 선택지 탐색과 스택 오버헤드가 발생한다는 한계가 있다. 반면 앤드라 모델(Andorra Model)은 결정적인 서브골(goal)과 비결정적인 서브골을 구분해, 결정적인 부분은 즉시 실행하고 비결정적인 부분은 지연시켜 탐색을 최소화한다. 확장 앤드라 모델(EAM)은 이러한 아이디어를 일반화하여, 여러 서브골 간의 독립성을 분석하고, 가능한 경우 동시에 실행하도록 설계되었다.

WAM2EAM은 기존 WAM의 명령어 집합을 그대로 유지하면서, 각 명령어에 EAM 중심의 의미론을 부여한다는 점에서 혁신적이다. 구체적으로, ‘call’, ‘execute’, ‘proceed’와 같은 전통적인 명령은 EAM의 ‘and‑box’와 ‘or‑box’ 구조에 매핑된다. ‘and‑box’는 현재 목표의 컨텍스트와 환경을 보존하고, ‘or‑box’는 선택지(clauses)를 관리한다. 논문은 이러한 매핑 과정을 단계별로 정의하고, 암시적 제어 메커니즘을 통해 언제 ‘and‑box’를 분할하고 언제 ‘or‑box’를 병합할지를 자동으로 결정한다. 특히, 변수 바인딩의 전파와 백트래킹 시점의 최소화는 EAM의 핵심 장점인 ‘deterministic pruning’을 가능하게 하며, 이는 전통적인 WAM 대비 메모리 사용량과 실행 시간에서 현저한 개선을 기대하게 한다.

또한, 구현상의 세부 사항으로는 스택 구조의 재설계, 환경 프레임의 공유, 그리고 가비지 컬렉션을 위한 참조 카운팅 기법이 소개된다. 이러한 설계는 기존 WAM 기반 시스템과의 호환성을 유지하면서도, 병렬 실행을 위한 스레드 안전성을 확보한다. 논문은 실험을 통해 간단한 재귀적 관계와 비결정적 탐색 문제에 대해 WAM2EAM이 평균 30% 이상의 속도 향상을 보였음을 보고한다. 그러나 아직 복잡한 대규모 프로그램에 대한 평가가 부족하고, 스케줄러의 최적화 여지가 남아 있다는 점을 인정한다.

요약하면, WAM2EAM은 WAM의 풍부한 최적화 기반을 포기하지 않으면서도 EAM의 탐색 절감 및 병렬 실행 이점을 도입한 하이브리드 모델이다. 이는 논리 프로그래밍 구현체가 앞으로 나아갈 방향에 대한 중요한 시사점을 제공한다.