[論文レビュー] The Offline Software Framework of the Pierre Auger Observatory

S. Argirò, S. L. C. Barroso+8 more|arXiv (Cornell University)|Jan 1, 2006

Distributed and Parallel Computing Systems被引用数 4

ひとこと要約

本論文は、超高エネルギー宇宙線データの長期的かつ共同分析を支援することを目的としたC++ベースのオブジェクト指向型ソフトウェアフレームワークを提案する。このフレームワークは、一貫したデータ処理、幾何構造の抽象化、統合テストを備えた構成可能で拡張可能なアーキテクチャを採用しており、複雑な検出器幾何構造と複数のデータフォーマットを扱う中で、最初の物理的結果の生成を可能にした。

ABSTRACT

The Pierre Auger Observatory is designed to unveil the nature and the origins of the highest energy cosmic rays. The large and geographically dispersed collaboration of physicists and the wide-ranging collection of simulation and reconstruction tasks pose some special challenges for the offline analysis software. We have designed and implemented a general purpose framework which allows collaborators to contribute algorithms and sequencing instructions to build up the variety of applications they require. The framework includes machinery to manage these user codes, to organize the abundance of user-contributed configuration files, to facilitate multi-format file handling, and to provide access to event and time-dependent detector information which can reside in various data sources. A number of utilities are also provided, including a novel geometry package which allows manipulation of abstract geometrical objects independent of coordinate system choice. The framework is implemented in C++, and takes advantage of object oriented design and common open source tools, while keeping the user side simple enough for C++ novices to learn in a reasonable time. The distribution system incorporates unit and acceptance testing in order to support rapid development of both the core framework and contributed user code.

研究の動機と目的

• 20年間にわたる実験期間にわたり、地理的に分散した大規模な共同研究グループが超高エネルギー宇宙線データを効率的に分析できるように支援すること。
• シミュレーション、再構築（表面、蛍光、ハイブリッド）、キャリブレーションを含む多様な計算タスクをサポートする柔軟で拡張可能なソフトウェアインfraを提供すること。
• C++の専門知識が限定的な物理学者が、モジュラーで構成駆動のフレームワークを通じて、容易にアルゴリズムを寄稿・置き換えられることを可能にすること。
• ユーザーに対して、イベント、検出器、大気の複数のデータソースおよび異種データフォーマットを透明に扱えるようにすること。
• ビルドシステムに統合されたユニットテストと受入テストを通じて、長期的なソフトウェアの安定性と保守性を確保すること。

提案手法

• 物理学者がマクロを介して登録するプラグインモジュールとしてアルゴリズムを実装するモジュラーなフレームワークを設計し、コードの交換やアルゴリズムの比較を容易にする。
• XMLベースの構成システムを用いてモジュールの順序とパrameterを定義し、アプリケーションロジックとコード構造を分離する。
• 一貫したイベント構造を実装し、モジュール間でデータを渡すことで、処理ステップ全体にわたるシミュレーションおよび再構築情報の蓄積を可能にする。
• 検出器の幾何構造、性能、時間依存条件へのアクセスを抽象化する検出器記述レイヤーを開発する。
• 座標系に依存しない新しい幾何パッケージを導入し、UTM、地理座標系、デカルト座標系間の変換を暗黙的に追跡・サポートする。
• GNU autotoolsとCppUnitを統合して自動ユニットテストと受入テストを実施し、長期開発におけるコード品質の維持とレグレッションの防止を図る。

実験結果

リサーチクエスチョン

• RQ1 大規模かつ長期にわたる物理学共同研究が、超高エネルギー宇宙線解析のための複雑なオフラインソフトウェアフレームワークを効率的かつ進化的に管理・運用するにはどうすればよいか？
• RQ2 数十年にわたる期間にわたり、ソフトウェアの安定性と拡張性を保ちながら、ユーザーが寄稿したコードをシームレスに統合するためのアーキテクチャパターンとは何か？
• RQ3 低レベルプログラミング知識がほとんどないユーザーでも、複雑な検出器幾何構造と複数フォーマットのデータソースを抽象化できるソフトウェアフレームワークは、どのように実現できるか？
• RQ4 高影響力の物理的結果に使用される分散型で進化し続けるソフトウェアシステムにおいて、信頼性を保証するための効果的なテスト戦略とは何か？
• RQ5 自然な基準座標系を持たない40 kmスケールの観測所において、幾何抽象化レイヤーが座標系に依存しない正確な計算をどのようにサポートできるか？

主な発見

• フレームワークはPierre Auger観測所の最初の物理的結果の生成に成功し、大規模な解析に適した状態にあることを実証した。
• モジュラーで構成駆動の設計により、C++の専門知識が限定的な物理学者が、効率的にアルゴリズムを寄稿・置き換えられ、迅速なアルゴリズム比較が可能になった。
• 幾何パッケージにより、座標系を暗黙的に追跡することで、誤りを伴いやすい手動の変換作業を排除し、システムに依存しない正確な幾何計算が可能になった。
• CppUnitとGNU autotoolsによるユニットテストおよび受入テストの統合により、長期開発におけるソフトウェアの安定性が確保され、レグレッションのリスクが低減された。
• イベントデータ、検出器記述、大気条件といった複数のデータフォーマットとソースを、抽象化されたインターフェースを通じて透明に処理できるようになった。
• ROOT、Xerces、CLHEP、Boostといった外部ライブラリは、ファサードとラッパーを介して効果的に抽象化され、ポータビリティの向上とベンダーロックインの低減が達成された。