ASP 기반 리눅스 패키지 구성 도구 aspcud

초록

aspcud는 CUDF 형식의 패키지 의존성 정보를 ASP 사실 집합으로 변환하고, Gringo‑Clasp 체인을 이용해 최적의 설치 계획을 도출하는 Linux 패키지 관리 도구이다. 전처리 단계에서 목표와 최적화 기준을 고려해 필요한 패키지들의 전이 폐쇄를 계산하고, 이를 ASP 인코딩에 결합해 효율적인 해결을 가능하게 한다.

상세 분석

본 논문은 Linux 배포판의 복잡한 패키지 의존성을 해결하기 위해 Answer Set Programming(ASP)을 활용한 aspcud 시스템을 제안한다. 핵심은 CUDF(Common Upgradability Description Format) 문서를 전처리하여 논리적 사실(fact) 집합으로 변환하는 과정이다. CUDF는 패키지 이름·버전, 의존·충돌·제공·추천 관계, 그리고 설치·제거·업그레이드 요청을 기술한다. aspcud는 이러한 정보를 “flatten”하여 ASP가 다루기 쉬운 형태로 만든다.

전처리 알고리즘은 크게 두 단계로 구성된다. 첫 번째 단계에서는 remove·upgrade 요청에 의해 반드시 제외되어야 할 패키지 집합 Out을 정의한다. 특히 업그레이드 요청은 기존 설치 O에 존재하는 버전보다 낮은 버전을 허용하지 않으며, 하나의 버전만 선택될 수 있다는 제약을 추가한다. 두 번째 단계에서는 설치·업그레이드 목표, 그리고 사용자가 지정한 최적화 목표(예: 새로운 패키지 설치 최대화 +NPO, 삭제 최소화 ‑DPO 등)를 기반으로 전이 폐쇄 C를 계산한다. 초기 C는 목표를 만족시키는 패키지들로 구성하고, 이후 목표에 따라 전체 우주 U에서 추가적인 패키지를 포함한다.

알고리즘 1은 반복적으로 C에 의존 관계와(선택적으로) 추천 관계, 최신 버전 요구 등을 만족시키는 패키지를 확장한다. 이 과정에서 Out에 속한 패키지는 절대 C에 포함되지 않으며, 목표에 따라 ‑RPU 또는 ‑UPU 와 같은 “반최적화” 옵션도 지원한다. 전이 폐쇄가 수렴하면 최종 C는 가능한 후보 패키지 집합이 되고, 이 집합을 기반으로 ASP 인코딩이 생성된다.

ASP 인코딩은 설치·제거·업그레이드 요청을 규칙으로, 의존·충돌·제공·추천 관계를 제약으로 표현한다. Gringo가 1차 논리 변수들을 grounding 하면, Clasp가 최적화 목표(예: 최소 변경, 최신 버전 선호 등)를 만족하는 해답 집합을 찾는다. 실험 결과, 전처리 단계에서 불필요한 패키지를 크게 제거함으로써 문제 규모가 감소하고, 해결 시간도 현저히 단축됨을 보여준다.

이와 같이 aspcud는 전통적인 SAT 기반 패키지 관리와 달리 ASP의 부정 논리와 최적화 기능을 자연스럽게 활용한다. 특히 복수 목표를 동시에 고려할 수 있는 점, 가상 패키지(virtual package)를 제공 관계를 통해 투명하게 처리하는 점이 큰 장점이다. 또한 전처리 알고리즘이 명시적이고 모듈화되어 있어, 새로운 최적화 기준이나 정책을 추가하는 것이 비교적 용이하다.