[論文レビュー] Functional Package Management with Guix

Ludovic Courtès|arXiv (Cornell University)|May 20, 2013

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）を埋め込むことで、独立したDSLと比較して表現力と保守性が向上するかどうかを評価すること。
• Schemeが、ビルドおよびパッケージ管理のためのシェルスクリプトの代替として実用的であるかどうかを示すこと。
• 参照透明性とソースからバイナリへのトレーサビリティを活用して、再現可能で検証可能かつカスタマイズ可能なソフトウェアデプロイメントをユーザーに提供すること。

提案手法

• Guixは、Nixの低レベルのストレージおよびデプロイメントモデルを再利用しており、ビルド入力と暗号的ハッシュ化されたストアパスを対応付けることで参照透明性を保証している。
• パッケージとその依存関係を記述するための、Schemeに埋め込まれたドメイン固有言語（EDSL）を実装しており、完全な表現力と汎用プログラミングツールとの統合を可能にしている。
• ビルドプロセスはすべてSchemeで記述されており、複雑な論理処理やライブラリの再利用が可能であり、高レベルのパッケージ定義と低レベルのビルドロジックが共存する「二段階」システムを形成している。
• パッケージ状態を不変でバージョン管理されたアーティファクトとして扱うことで、ユーザーごとのプロファイル、非特権パッケージ管理、ガベージコレクションをサポートしている。
• Schemeの拡張性を活用して、オンラインでの自動更新とキーワード検索を可能にし、使いやすさと保守性を向上させている。
• 実装はGuile Schemeの包括的なOSインタフェースを活用しており、パッケージメタデータの国際化もサポートしている。

実験結果

リサーチクエスチョン

• RQ1 一般言語としてのSchemeにドメイン固有言語（DSL）を埋め込むことで、Nixの言語のような専用DSLと同等の表現力を達成できるか。また、保守性とツールサポートの面で優れているか。
• RQ2 二段階ソフトウェアデプロイメントシステムにおいて、Schemeがパッケージ記述とビルドプログラムの両方の記述に適しているか。
• RQ3 完全に関数型のパッケージ管理モデルを採用することで、トランザクション処理によるアップグレードとロールバックを通じて、信頼性、再現性、システム回復性がどの程度向上するか。
• RQ4 Schemeの完全なプログラミングモデルをパッケージ管理に統合することで、オンライン自動更新や高速キーワード検索といった新機能を実現できるか。
• RQ5 実装言語としてのSchemeの使用が、フリーソフトウェアディストリビューションにおける拡張性と開発者体験にどのような影響を与えるか。

主な発見

• Guixは、Nixの低レベルのストレージおよびデプロイメントメカニズムを再利用することで、トランザクション処理によるアップグレード、ロールバック、ユーザーごとのプロファイルを実現した完全に関数型のパッケージ管理モデルを成功裏に実装している。
• Schemeに埋め込まれたドメイン固有言語（EDSL）は、完全な表現力と拡張性を備えており、独立したDSLでは難しい国際化や高速キーワード検索といった機能を実現している。
• パッケージ記述とビルドプログラムの両方をSchemeで記述することで、複数言語を管理する際の認知的負荷とツールの統合コストを低減する統一されたプログラミング環境を実現している。
• 高レベルのパッケージ定義と低レベルのビルドロジックがともにSchemeで記述される二段階システムは、システムレベルの自動化においてシェルスクリプトの代替として、Schemeが実用的で強力な代替手段であることを示している。
• 各バイナリがその正確なソースとビルドレシピに束縛されることで、検証可能で再現可能なビルドが実現されており、GNU一般公衆利用許諾契約書（GPL）の原則と整合している。
• Guixの設計は、非特権パッケージ管理とガベージコレクションをサポートしており、使いやすさを損なわず、セキュリティとシステムの信頼性を向上させている。