[論文レビュー] Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service

Thomas Kistler, Michael Franz|ArXiv.org|Mar 22, 1999

Parallel Computing and Optimization Techniques参考文献 30被引用数 3

ひとこと要約

本論文は、コード最適化を中央的でプラグイン可能なシステムサービスとして扱う、拡張可能でアーキテクチャ中心の即時コード生成および動的最適化のためのシステムを提案する。最適化ロジックをコアシステムから分離し、多様なハードウェアに runtime で適応可能にする仕組みを提供することで、進化するプロセッサアーキテクチャに常にソフトウェアを適合可能にする。プロトタイプ評価では、柔軟性とパフォーマンス上の利点が実証された。

ABSTRACT

We present an open architecture for just-in-time code generation and dynamic code optimization that is flexible, customizable, and extensible. While previous research has primarily investigated functional aspects of such a system, architectural aspects have so far remained unexplored. In this paper, we argue that these properties are important to generate optimal code for a variety of hardware architectures and different processor generations within processor families. These properties are also important to make system-level code generation useful in practice.

研究の動機と目的

• オペレーティングシステムにおける動的コード最適化のためのアーキテクチャ的支援の欠如に取り組むこと。
• アプリケーションを再コンパイルせずに、新しいプロセッサ世代やハードウェアバリアントにソフトウェアが継続的に適応可能になるようにすること。
• コード最適化をOSレベルに統合された第一級の拡張可能サービスとして設計すること。
• 多様なハードウェアプラットフォームにわたる柔軟でカスタマイズ可能な最適化戦略をサポートすること。
• システムレベルのコード生成を実世界の展開において実用的かつ効率的に行えるようにすること。

提案手法

• コード生成と最適化をコアシステムサービスとして公開するモジュラーで拡張可能なアーキテクチャの設計。
• ジャストインタイム（JIT）コード生成をオペレーティングシステムのカーネルまたはランタイム環境に直接統合すること。
• 特定のプロセッサファミリーや命令セットに特化した最適化モジュールをランタイムでプラグイン可能にすること。
• 最適化ロジックをコアシステムから分離するコンポーネント指向の設計を採用し、ランタイムでの更新とカスタマイズを可能にすること。
• ハードウェア仕様とワークロード要件に応じて最適化戦略を動的に再構成できること。
• 実行時における機械語コードの生成と最適化を、既存のコンパイラインfrastrucutureを活用してオンザフライで行うこと。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、オペレーティングシステム内に体系的かつ拡張可能なサービスとしてコード最適化をコアサービスとして統合できるか？
• RQ2 再コンパイルなしに進化するハードウェアにソフトウェアを恒久的に適合可能にするために、どのようなアーキテクチャ的原則が必要か？
• RQ3 異なるプロセッサファミリー向けに、最適化戦略をランタイムで動的にカスタマイズし、プラグイン可能にするにはどうすればよいか？
• RQ4 最適化をシステムレベルのサービスとして扱う場合に生じるパフォーマンスと柔軟性のトレードオフは何か？
• RQ5 このようなアーキテクチャは、多様なハードウェアプラットフォームにわたり、実用的で効率的かつ拡張可能なコード生成をサポートできるか？

主な発見

• 提案されたアーキテクチャは、最適化ロジックをコアシステムから明確に分離しており、ランタイムでの拡張性とカスタマイズ性を実現している。
• 本システムは、プロセッサファミリー内の新しいプロセッサ世代に対しても動的適応を可能にし、アプリケーションの再コンパイルの必要性を低減している。
• 最適化を中央のシステムサービスとして扱うことで、多様なワークロードにわたる一貫性があり、ポリシー駆動のコード生成が可能になった。
• プロトタイプは、最小限のランタイムオーバーヘッドでOSにシステムレベルのJITコンパイルを効率的に統合できることを示している。
• 拡張可能な設計により、コアシステムを変更せずに新しい最適化プラグインを追加可能であり、保守性が向上した。
• アーキテクチャは、ランタイムでのコード適応を通じて、機能的正しさとパフォーマンスの向上の両方を実現している。