패키지 의존성 해결: EDOS에서 Mancoosi까지

본 논문은 유럽 연합이 지원하는 두 연구 프로젝트, EDOS와 그 후속인 Mancoosi의 연구 결과를 종합적으로 소개한다. 서두에서는 자유 소프트웨어 배포판, 특히 Debian 패키지 시스템이 직면한 “업그레이드 문제”와 의존성 관리의 복잡성을 강조한다. 사용자는 원하는 패키지를 자유롭게 선택하고 설치하고자 하지만, 패키지 간의 복잡한 Depends, Conflicts, Provides 관계가 충돌하거나 누락될 경우 시스템이 비정상적으로 동작할 위험이 있다. 이러한 문제를 해결하기 위해 EDOS는 패키지 관계를 수학적으로 모델링하고, 이를 기반으로 이론적 복잡도 분석과 실용적인 도구 개발을 수행하였다. EDOS의 핵심은 패키지와 저장소를 (P, D, C) 형태의 3‑튜플로 정의한 것이다. P는 (이름, 버전) 쌍의 집합, D는 각 패키지에 대한 의존성 집합(논리합 형태), C는 충돌 관계이며 대칭성을 갖는다. 특히 동일 이름의 서로 다른 버전은 자동으로 충돌하도록 정의함으로써 Debian 특유의 “버전 충돌”을 모델에 반영한다. 이러한 정의를 토대로 ‘건강한 설치(healthy installation)’는 풍부성(모든 의존성을 만족)과 평화(충돌 없음)를 동시에 만족하는 패키지 집합 I로 규정한다. 패키지 자체의 설치 가능성(installable)과 패키지 집합의 공동 설치 가능성(co‑installable)을 구분함으로써, 개별 패키지는 설치 가능하지만 동시에 설치될 수 없는 경우를 명확히 설명한다. 복잡도 측면에서 EDOS는 설치 가능성 문제를 SAT 문제와 로그‑스페이스 등가로 변환한다. 즉, 패키지를 Boolean 변수로 두고 의존성을 논리적 함의, 충돌을 부정적 결합으로 인코딩한다. 이를 통해 “패키지 설치 가능성 문제는 NP‑complete”임을 증명한다. 이론적으로는 최악의 경우 해결이 어려울 수 있으나, 실제 배포판은 의존성 그래프가 희소하고 구조적으로 제한적이기 때문에 효율적인 해결이 가능함을 실험적으로 확인한다. 구현 도구로는 edos‑debcheck, pkglab, ceve가 소개된다. edos‑debcheck는 전체 저장소 혹은 선택된 패키지에 대해 설치 가능성을 SAT 기반으로 판단하고, 불가능한 경우 충돌 원인을 상세히 보고한다. 이 도구는 메모리 내에서 모든 인코딩을 공유함으로써 수천 개 패키지에 대한 검사를 5초 이내에 수행한다. pkglab은 edos‑debcheck와 연계된 질의 언어 인터프리터로, 패키지 리스트를 필터링·변환하고 복합적인 스크립트를 작성할 수 있게 한다. ceve는 Debian 및 RPM 메타데이터를 파싱해 내부 데이터 구조로 변환하는 파서이며, pkglab과 edos‑debcheck의 입력으로 사용된다. 현재 이 도구들은 Debian unstable, testing, stable 및 파생 배포판(예: Skolelinux, Debian GNU/kFreeBSD)의 품질 모니터링에 실시간으로 활용되고 있다. Mancoosi 프로젝트는 EDOS의 성과를 확장·통합한다. Mancoosi는 “Meta‑Installer”(apt‑get, aptitude 등)와 실제 “Installer”(dpkg) 사이의 인터페이스를 표준화하고, 사용자 요청을 해석해 원격 저장소까지 포함한 전체 의존성 그래프를 구성한다. 주요 목표는 (1) 사용자가 선택한 패키지 집합이 현재 저장소에 존재하는 패키지만으로 일관되게 설치 가능한지 자동 검증, (2) 다중 버전·가상 패키지·다중 아키텍처를 포함한 대규모 저장소에서도 실시간으로 최적의 업그레이드 경로를 제시, (3) 결과를 Debian 개발자와 배포판 관리자가 쉽게 활용할 수 있는 형태로 제공하는 것이다. 이를 위해 Mancoosi는 새로운 알고리즘을 연구하고, 정책 검증, 최적화된 업그레이드 시뮬레이션, 그리고 “깨진(broken) 패키지” 자동 탐지 기능을 추가한다. 또한, Mancoosi는 상업 배포판(Mandriva, Caixa Mágica, Pixart)과 협력해 다양한 RPM 기반 시스템에도 적용 가능한 프레임워크를 구축한다. 결론적으로, 이 논문은 패키지 의존성 문제를 형식화하고 복잡도 이론으로 한계점을 규명함과 동시에, 실제 배포판에 적용 가능한 고성능 도구와 프로젝트 로드맵을 제시한다. EDOS와 Mancoosi의 연구는 오픈소스 인프라의 신뢰성을 크게 향상시키며, 향후 패키지 관리 시스템의 자동화와 정책 기반 검증에 중요한 기반을 제공한다.