WEKO3
アイテム
OpenMP並列プログラムのデータフロー解析手法
https://ipsj.ixsq.nii.ac.jp/records/29446
https://ipsj.ixsq.nii.ac.jp/records/2944670743dd6-3276-4f4c-89f3-2dcf771f17ec
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-HPC00082013.pdf (710.2 kB)
|
Copyright (c) 2000 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2000-08-03 | |||||||
| タイトル | ||||||||
| タイトル | OpenMP並列プログラムのデータフロー解析手法 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Dataflow Analysis Techiniques for OpenMP Programs | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 新情報処理開発機構つくば研究センタ | ||||||||
| 著者所属 | ||||||||
| 新情報処理開発機構つくば研究センタ | ||||||||
| 著者所属 | ||||||||
| 新情報処理開発機構つくば研究センタ | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tsukuba Research Center, Real World Computing Partnership | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tsukuba Research Center, Real World Computing Partnership | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tsukuba Research Center, Real World Computing Partnership | ||||||||
| 著者名 |
佐藤, 茂久
× 佐藤, 茂久
|
|||||||
| 著者名(英) |
Shigehisa, Satoh
× Shigehisa, Satoh
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では、OpenMP APIを用いて記述された共有メモリ並列プログラムの、スレッド間のデータの流れも考慮したデータフロー解析の方法を述べる。従来の逐次プログラムのデータフロー解析の枠組を、スレッド間の相互作用を反映できるように拡張する。そのために、スレッド内とスレッド間の双方のデータの流れを表現できる中間表現を用いる。さらに、データフローの変換関数にOpenMPの指示文と指示節の意味を反映させる。データフロー解析の具体例として、到達定義の解法を示す。OpenMPの構造的な並列性記述と緩いメモリコンシステンシモデルのために、効率が良く精度の良い解析が可能になる。このような方法を用いることで、これまでのOpenMPの実装では行なわれていなかったスレッド間の相互作用を考慮したプログラム解析と、それを利用した最適化が行なえるようになる。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper, we present dataflow analysis techniques for shared-memory parallel programs using OpenMP API. We extend traditional dataflow analysis frameworks so as to take account of interaction between threads. We designed internal representation which models both intratherad and interthread flow of data. Transfer functions in the frameworks are defined reflecting semantics of the OpenMP directives and clauses. We also show a reaching definions framework for OpenMP programs as an example. Strucutured parallelism and relaxed memory consistency make such analyses efficient and effective. Our dataflow analysis techniques enable program analyses and aggressive optimizations for multithreaded programs. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10463942 | |||||||
| 書誌情報 |
情報処理学会研究報告ハイパフォーマンスコンピューティング（HPC） 巻 2000, 号 73(2000-HPC-082), p. 71-76, 発行日 2000-08-03 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
