ソフトウェアDSM機構を支援する最適化コンパイラ

• Item type: Journal(1)
• 公開日: 2001-04-15
• タイトル: ソフトウェアDSM機構を支援する最適化コンパイラ
• タイトル / 言語: en
• タイトル: An Optimizing Compiler to Support Software DSM Systems
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：並列処理
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 並列化コンパイラ
• 著者所属: 東京大学大学院理学系研究科情報科学専攻／日本学術振興会特別研究員
• 著者所属: 東京大学大学院理学系研究科情報科学専攻／科学技術振興事業団さきがけ研究21「情報と知」領域
• 著者所属: 東京大学大学院理学系研究科情報科学専攻
• 著者所属(英): en
• 著者所属(英): Department of Information Science, Faculty of Science, University of Tokyo/JSPS Research Fellow
• 著者所属(英): en
• 著者所属(英): Department of Information Science, Faculty of Science, University of Tokyo/PRESTO, Japan Science and Technology Corporation
• 著者所属(英): en
• 著者所属(英): Department of Information Science, Faculty of Science, University of Tokyo
• 著者名: 丹羽, 純平; 松本, 尚; 平木, 敬
• 著者名(英): Junpei, Niwa; Takashi, Matsumoto; Kei, Hiraki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェアDSMは低い実装コストで，実行時に共有アドレス空間を提供できるため，幅広いアプリケーションを扱うことが可能である．ただし，高性能を得るためには，アプリケーションプログラムのソースを直接解析する最適化コンパイラの支援が必要である．最適化コンパイラの目的は，コヒーレンス管理にともなう通信/命令のオーバヘッドを削減することにある．その実現のために，手続き間ポインタ解析を行い，緩和されたメモリモデルの上で，手続き間区間解析の枠組で冗長性削除のデータフロー方程式を解くことで，共有メモリアクセスのサマリを算出する．さらに，fetch-on-writeを抑制するコード生成を行う．我々は上記の最適化コンパイラ（RCOP）を作成して，ワークステーションクラスタ上に低オーバヘッドなランタイム実装した．SPLASH-2ベンチマークを用いた実験により，コンパイラの最適化の効果を確かめた．台数効果を得るのが困難とされているアプリケーション，FFTとRadixに対して，高い台数効果を得ることができた（16台で逐次の約4倍）．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Software Distributed Shared Memory (DSM) provides shared address spaceat run-time and accepts a wide range of applications, and it is easy toimplement on the existing systems with commodity hardware. An optimizing compiler that directly analyses shared-memory source programs is indispensable for improving theperformance of software DSM systems.The purpose of compiler optimization is to generate codes reducing thecommunication and instruction overheads for software cache-coherencemanagement.The optimizing compiler performs interprocedural points-to analysis andinterprocedural shared-access set calculations by using intervalanalysis to solve redundancy elimination equations along with lazyrelease consistency model.It generates the codes that avoidfetch-on-write. We have implemented this optimizing compiler, Remote CommunicationOptimizer: RCOP.We also have implemented the lightweight runtimesystems on an SS20 workstation cluster connected with the FastEthernet (100BASE-TX). The experimental results using the SPLASH-2benchmark suite show that the combination of the optimizing compilerand software DSM is very effective.Our proposed system had highspeed-up ratios for the FFT and Radix programs, that is, challengingapplications for software DSM (about 4 times faster than sequentialprograms on 16 processors).
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 42, 号 4, p. 879-897, 発行日 2001-04-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764