프로로그 기반 분산 시스템 설계와 구현

초록

본 논문은 프로로그에 이벤트 기반 제어와 네트워킹 기능을 추가한 DAHL이라는 언어를 제안한다. DAHL을 이용해 분산 해시 테이블, 비잔틴 결함 허용 프로토콜, 분산 소프트웨어 모델 체커를 구현하고 성능을 평가함으로써 선언적 프로그래밍이 분산 시스템 개발에 실용적임을 입증한다.

상세 분석

DAHL은 기존 프로로그의 논리적 추론 능력을 유지하면서, 분산 환경에서 필수적인 비동기 이벤트 처리와 메시지 전송을 기본 연산으로 제공한다는 점에서 혁신적이다. 이벤트‑핸들러 선언을 통해 노드가 수신한 메시지를 즉시 프로시저 호출 형태로 변환하고, send/receive와 같은 네트워크 API를 프로로그 구문 안에 자연스럽게 녹여 넣음으로써 프로그래머는 선언적 규칙과 절차적 통신 로직을 동일한 언어 체계에서 기술할 수 있다. 이러한 설계는 코드 가독성을 높이고, 상태 전이와 메시지 흐름을 논리적 사실로 모델링함으로써 정형 검증과 테스트를 용이하게 만든다. 논문은 세 가지 사례 연구를 통해 DAHL의 실용성을 검증한다. 첫 번째는 Chord과 유사한 분산 해시 테이블(DHT) 구현으로, 노드 추가·삭제, 키‑값 저장·조회 연산을 프로로그 규칙으로 표현하고, 네트워크 지연과 메시지 손실을 시뮬레이션하면서 기존 구현 대비 20 % 정도의 오버헤드만 발생함을 보였다. 두 번째는 PBFT(Practical Byzantine Fault Tolerance) 프로토콜을 DAHL로 재작성했으며, 합의 단계별 메시지 교환을 규칙 집합으로 정의함으로써 코드 라인이 30 % 감소하고, 프로토콜 변형 실험을 빠르게 수행할 수 있었다. 세 번째는 분산 소프트웨어 모델 체커(DistModelCheck)로, 시스템 상태를 논리적 사실로 표현하고, 탐색 알고리즘을 백트랙킹 규칙으로 구현해 대규모 상태 공간을 효율적으로 탐색했다. 전체 실험 결과는 DAHL이 선언적 프로그래밍의 장점을 유지하면서도 분산 시스템의 핵심 요구사항을 충분히 충족한다는 것을 보여준다. 또한, 프로로그 기반 접근법은 기존 Datalog 기반 연구와 차별화되며, 복잡한 데이터 구조와 재귀적 로직을 자연스럽게 다룰 수 있다는 점에서 향후 분산 시스템 설계 도구로서의 가능성을 시사한다.