[논문 리뷰] Functional Package Management with Guix

Ludovic Courtès|arXiv (Cornell University)|2013. 05. 20.

Optimization and Packing Problems참고 문헌 8인용 수 11

한 줄 요약

Guix는 Scheme 기반의 내장 도메인 전용 언어(EDSL)를 사용해 선언적 패키지 기술과 Scheme 기반 빌드 프로그램을 통해 이원 프로그래밍 시스템을 만드는 순수 기능적 패키지 관리자를 도입한다. 이 접근법은 거래적 업그레이드, 롤백, 사용자별 프로파일, 가비지 컬렉션을 가능하게 하며, Scheme의 표현력과 확장성 덕분에 GNU/Linux 환경에서 신뢰할 수 있고 재현 가능한 소프트웨어 배포를 실현한다.

ABSTRACT

We describe the design and implementation of GNU Guix, a purely functional package manager designed to support a complete GNU/Linux distribution. Guix supports transactional upgrades and roll-backs, unprivileged package management, per-user profiles, and garbage collection. It builds upon the low-level build and deployment layer of the Nix package manager. Guix uses Scheme as its programming interface. In particular, we devise an embedded domain-specific language (EDSL) to describe and compose packages. We demonstrate how it allows us to benefit from the host general-purpose programming language while not compromising on expressiveness. Second, we show the use of Scheme to write build programs, leading to "two-tier" programming system.

연구 동기 및 목표

• GNU/Linux 환경에서 거래적 업그레이드, 롤백, 비권한 패키지 관리를 지원하는 기능적 패키지 관리자를 설계하는 것.
• 선언적 패키지 기술과 명령형 빌드 스크립트 모두에 Scheme를 호스팅 언어로 사용함으로써 통합된 프로그래밍 환경을 조성하는 것.
• Scheme에 도메인 전용 언어를 내장함으로써 독립형 DSL에 비해 표현력과 유지보수성 향상 여부를 평가하는 것.
• Scheme가 빌드 및 패키지 관리 스크립트를 작성하는 데에 쉘 스크립트의 타당한 대안이 될 수 있는지 보여주는 것.
• 참조 투명성과 소스에서 바이너리로의 추적 가능성을 통해 사용자가 재현 가능하고 검증 가능하며 사용자 정의 가능한 소프트웨어 배포를 수행할 수 있도록 하는 것.

제안 방법

• Guix는 빌드 입력을 암호학적 해시된 스토어 경로로 매핑하여 참조 투명성을 보장하는 Nix의 저수준 스토리지 및 배포 모델을 재사용한다.
• 패키지와 의존성에 대한 기술을 위해 Scheme에 내장된 도메인 전용 언어(EDSL)를 구현하여 완전한 표현력과 일반 목적 프로그래밍 도구와의 통합을 가능하게 한다.
• 빌드 프로세스는 Scheme로 작성되며, 복잡한 논리와 라이브러리 재사용이 가능해져 고수준 패키지 정의와 저수준 빌드 프로그램이 공존하는 '이원' 시스템을 형성한다.
• 패키지 상태를 불변이며, 고유한 버전이 부여된 자산으로 간주함으로써 사용자별 프로파일, 비권한 패키지 관리, 가비지 컬렉션 기능을 지원한다.
• Scheme의 확장성 덕분에 온라인 자동 업데이트 및 키워드 검색이 가능해져 사용성과 유지보수성 향상에 기여한다.
• 구현은 Guile Scheme의 풍부한 운영 체제 인터페이스를 활용하며, 패키지 메타데이터의 국제화를 지원한다.

실험 결과

연구 질문

• RQ1 Scheme와 같은 일반 목적 언어에 도메인 전용 언어를 내장함으로써 Nix 언어와 같은 전용 DSL에 비해 유사한 표현력을 확보하면서도 유지보수성과 도구 지원을 향상시킬 수 있는가?
• RQ2 이원 소프트웨어 배포 시스템에서 패키지 기술과 빌드 프로그램을 모두 작성하는 데에 Scheme가 얼마나 효과적인가?
• RQ3 순수 기능적 패키지 관리 모델을 사용함으로써 거래적 업그레이드와 롤백을 통해 신뢰성, 재현 가능성, 시스템 복구 능력이 얼마나 향상되는가?
• RQ4 Scheme의 전체 프로그래밍 모델을 패키지 관리에 통합함으로써 온라인 자동 업데이트 및 빠른 키워드 검색과 같은 새로운 기능을 실현할 수 있는가?
• RQ5 Scheme를 구현 언어로 사용할 경우 자유 소프트웨어 배포에서 확장성과 개발자 경험에 어떤 영향을 미치는가?

주요 결과

• Guix는 Nix의 저수준 스토리지 및 배포 메커니즘을 재사용함으로써 거래적 업그레이드, 롤백, 사용자별 프로파일을 지원하는 순수 기능적 패키지 관리 모델을 성공적으로 구현했다.
• Scheme에 내장된 도메인 전용 언어는 완전한 표현력과 확장성을 제공하여, 독립형 DSL에서는 어려운 국제화 및 빠른 키워드 검색과 같은 기능을 지원한다.
• 패키지 기술과 빌드 프로그램 모두에 Scheme를 사용함으로써 다중 언어를 관리하는 데 발생하는 인지적 부담과 도구 지원의 복잡성을 줄였다.
• 고수준 패키지 정의와 저수준 빌드 논리를 모두 Scheme로 작성하는 이원 시스템은, 시스템 수준 자동화에 쉘 스크립트의 타당한 대안으로서 Scheme가 실현 가능하고 강력하다는 것을 입증한다.
• 각 바이너리가 정확한 소스와 빌드 레시피에 바인딩됨으로써 검증 가능하고 재현 가능한 빌드를 실현하였으며, GNU 일반 공중 라이선스의 원칙과 부합한다.
• Guix의 설계는 비권한 패키지 관리와 가비지 컬렉션을 지원하여 보안성과 시스템 신뢰성을 향상시키지만, 사용성은 유지한다.