[論文レビュー] Package upgrades in FOSS distributions: details and challenges

Roberto Di Cosmo, Stefano Zacchiroli+1 more|ArXiv.org|Feb 10, 2009

Software Engineering Research参考文献 17被引用数 55

ひとこと要約

この論文は、複雑なパッケージ間依存関係や信頼性の低いメンテナースクリプトの影響により、Free and Open Source Software (FOSS) パッケージのアップグレードにおいて特有の課題を特定する。また、メンテナースクリプト用にアンインストールの意味論を備えたドメイン固有言語（DSL）を提案するとともに、バージョン管理システム（VCS）をパッケージマネージャーと統合し、信頼性の高いロールバックを可能にする。これは、現在のスナップショットおよびロールバック技術の欠陥を是正するものである。

ABSTRACT

The upgrade problems faced by Free and Open Source Software distributions have characteristics not easily found elsewhere. We describe the structure of packages and their role in the upgrade process. We show that state of the art package managers have shortcomings inhibiting their ability to cope with frequent upgrade failures. We survey current countermeasures to such failures, argue that they are not satisfactory, and sketch alternative solutions.

研究の動機と目的

• FOSS ディストリビューションにおけるパッケージアップグレードの、軽視されがちな複雑さ、特に依存関係管理とシステム構成の変更に関して、同定および分析すること。
• スナップショットおよびロールバック機構が、高コストのディスク使用量と曖昧なロールバック範囲のため、不十分であると批判すること。
• 構成ファイルの管理に軽量でバージョン管理可能なアプローチを提案するとともに、メンテナースクリプト用に形式化された DSL を開発し、システム変更の信頼性の高い元に戻しを可能にすること。
• 依存関係の整合性は保たれるが意味論的に異なる複数のパッケージ状態の間で、ユーザーが指定した好みをサポートするギャップを埋めること。
• 実際のユーザーデータを用いたコミュニティコンペティションを通じて、静的パッケージアップグレード解決のための高度な最適化手法に関する研究を促進すること。

提案手法

• etckeeper などのバージョン管理システム（VCS）をパッケージマネージャーと統合し、システムワイドな構成ファイルの変更を追跡および元に戻すこと。
• メンテナースクリプト用に、組み込みのアンインストールの意味論を備えたドメイン固有言語（DSL）を設計し、副作用を形式的に指定および逆転可能にする。
• フィンガープrint技術を用いて、既存のメンテナースクリプトをクラスタリングし、特に恒等的（idempotent）な操作のパターンを同定すること。
• 構造化された構成ファイル（例：XML）に対して、構文に配慮した差分/マージツールを適用し、マージ競合の誤検出を低減すること。
• 依存関係の整合性を越えたユーザーの好みを組み込む、マルチ基準最適化フレームワークを提案し、パッケージアップグレード意思決定を最適化すること。
• 実際のユーザーのデータを用いて、静的パッケージアップグレード解決のためのアルゴリズムを評価・発展させるためのコンペティションを主催すること。

実験結果

リサーチクエスチョン

• RQ1 FOSS パッケージアップグレードに特有の特徴は何か？ これは、プロpriエタリーシステムと比較して、なぜエラーが起きやすいのか？
• RQ2 なぜ現在のロールバックおよびスナップショット機構は、FOSS ディストリビューションにおける頻繁で予測不能なアップグレード障害を処理するのに不十分なのか？
• RQ3 アンインストールの意味論を備えたドメイン固有言語（DSL）は、システムアップグレード中のメンテナースクリプトの信頼性をどのように向上させ得るか？
• RQ4 バージョン管理システムは、構成ファイルの変更管理と安全なロールバックを実現するために、どのような役割を果たすのか？
• RQ5 複数のパッケージ状態が依存関係的に整合的であるが意味論的に異なる状況において、ユーザーの好みをどのように意味的に表現し、最適化できるか？

主な発見

• スナップショットおよびロールバックソリューションは、過剰なディスク使用量とロールバック範囲の曖昧さのため、不十分である。
• Debian のメンテナースクリプトの約半数は、キャッシュデータを削除して再実行することでアンインストール可能な単純な恒等的（idempotent）な操作である。
• etckeeper が示すように、パッケージマネージャーとバージョン管理システムを統合することで、構成ファイルの変更の追跡と回復が効果的に行える。
• 構造化された構成ファイル（例：XML）に対して、構文に配慮した差分およびマージツールを適用することで、構文的ノイズに起因するマージ失敗を低減できる。
• 提案された DSL を用いたメンテナースクリプトのアプローチにより、副作用を形式的に推論および逆転可能となり、アップグレードの信頼性が向上する。
• 実世界のアップグレード問題をテーマとしたコミュニティコンペティションは、依存関係解決アルゴリズムの研究関心を喚起し、イノベーションを促進すると期待される。