[論文レビュー] Let's Annotate to Let Our Code Run in Parallel

Patrizio Dazzi|arXiv (Cornell University)|Jun 6, 2013

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

ひとこと要約

この論文では、Javaのアノテーションを用いたロード時アプローチを提案し、順次実行されるJavaプログラムを自動的に並列処理・マルチスレッド化する手法を提示する。@Parallelアノテーションをメソッドに付与することで、実行時におけるターゲットアーキテクチャに応じてバイトコードを再構成し、将来の実行環境に適応したフュTUREを生成する。この手法により、Mandelbrot集合の計算のような明白に並列可能なワークロードにおいて、最小限のオーバーヘッドと低いプログラマーの作業負荷で並列処理が実現される。

ABSTRACT

This paper presents an approach that exploits Java annotations to provide meta information needed to automatically transform plain Java programs into parallel code that can be run on multicore workstation. Programmers just need to decorate the methods that will eventually be executed in parallel with standard Java annotations. Annotations are automatically processed at launch-time and parallel byte code is derived. Once in execution the program automatically retrieves the information about the executing platform and evaluates the information specified inside the annotations to transform the byte-code into a semantically equivalent multithreaded version, depending on the target architecture features. The results returned by the annotated methods, when invoked, are futures with a wait-by-necessity semantics.

研究の動機と目的

• マルチコアシステム上で並列アプリケーションを開発する際の複雑さを、タスクの分解にプログラマーの知識を活用することで低減すること。
• ロード時において、順次Javaコードを意味的に同等の並列コードに自動変換すること。
• アノテーションが無視された場合でも順次実行を許容することで、後方互換性を保持すること。
• 実行時プラットフォーム情報とユーザーが指定した非機能的要件に基づいて、並列実行を最適化すること。
• パフォーマンスオーバーヘッドを最小限に抑えつつ、共有メモリモデルおよび分散実行モデルの両方をサポートすること。

提案手法

• プログラマーが@Parallelアノテーションをメソッドに付与することで、非同期に実行すべきコード部分を示す。
• システムはリフレクションを用いてロード時にアノテーションを処理し、バイトコードの中間言語（IL）を変換する。
• 待つ必要がある場合にのみ待機するセマンティクスを持つフュTUREを用いて非同期実行を実装し、ブロッキングを回避する。
• 変換処理は、プロセッサ数やメモリレイアウトなどのターゲットアーキテクチャの特徴に動的に適応する。
• このアプローチはILレベルで動作するため、再コンパイルを回避し、ソースレベルの変換と比較してランタイムオーバーヘッドを低減する。
• プロトタイプは、ローカルのマルチコア実行と、分散並列処理のためのリモートメソッド呼び出し（RMI）の両方をサポートする。

実験結果

リサーチクエスチョン

• RQ1 ソースコードレベルでのプログラマー提供のアノテーションが、アプリケーション論理の深い変更なしに、自動並列化を効果的に導くことができるか？
• RQ2 実行時プラットフォーム情報に基づくロード時のバイトコード変換が、効率的かつスケーラブルな並列実行をもたらすか？
• RQ3 ネイティブな順次実行と比較して、アノテーションとフュTUREの使用によるパフォーマンスオーバーヘッドはどれほどか？
• RQ4 同じアノテーションベースのアプローチが、共有メモリモデルと分散（グリッド／クラウド）実行環境の両方をサポートできるか？
• RQ5 既存のスケルトンやRMIベースのシステムと比較して、このアプローチはプログラマーの作業負荷とランタイム効率の両面で優れているか？

主な発見

• Mandelbrot集合の計算において、さまざまな解像度とタスクサイズで、プロトタイプが無視できるパフォーマンスオーバーヘッドを示した。
• 明白に並列可能なアプリケーションの手動並列化と比較して、このアプローチはプログラマーの作業負荷を顕著に低減した。
• システムは後方互換性を保持しており、アノテーションが無視された場合でも順次実行が可能であった。
• ロード時の変換により、ターゲットアーキテクチャに動的に適応でき、ランタイム効率が向上した。
• 待つ必要がある場合にのみ待機するセマンティクスを持つフュTUREの使用により、メインスレッドをブロッキングせずに効率的な結果アクセスが可能になった。
• タスクサイズと処理要素の数が増加するに従い、マルチコアワークステーションでも一貫したパフォーマンス向上を示した。