情報技術およびソフトウェア工学ジャーナル
オープンアクセス

概要

高性能コンピューティングのための変換

ジョニス・オリヴェイラ

過去 30 年間で、プログラムを最適化するためのコンパイラ変換が多数実装されました。ユニプロセッサ向けの最適化のほとんどは、スカラー量の分析とデータフロー手法に基づく変換を使用して、プログラムによって実行される命令の数を減らします。対照的に、高性能スーパースカラー、ベクトル、および並列プロセッサ向けの最適化は、ループ依存性分析を使用して配列の特性を追跡することに依存する変換によって、並列性とメモリの局所性を最大化します。この調査は、C や Fortran などの命令型言語の重要な高レベル プログラム再構築手法の包括的な概要です。シーケンシャル アーキテクチャとさまざまなタイプの並列アーキテクチャの両方の変換を詳細に説明します。各変換の目的、それが正当かどうかを判断する方法、およびその適用例を示します。