WEKO3
アイテム
プロセスネットワークを宣言的に記述する並列言語
https://ipsj.ixsq.nii.ac.jp/records/17850
https://ipsj.ixsq.nii.ac.jp/records/1785037307cd2-12a5-46d8-81af-59eafa366333
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-THPS4212008.pdf (268.6 kB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-11-15 | |||||||
| タイトル | ||||||||
| タイトル | プロセスネットワークを宣言的に記述する並列言語 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Parallel Programming Language Based on Declarative Process Network Models | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | システムソフトウェア・コンパイラ | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 豊橋技術科学大学 | ||||||||
| 著者所属 | ||||||||
| 豊橋技術科学大学 | ||||||||
| 著者所属 | ||||||||
| 豊橋技術科学大学／現在，株式会社日立システムアンドサービス | ||||||||
| 著者所属 | ||||||||
| 豊橋技術科学大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toyohashi University of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toyohashi University of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toyohashi University of Technology/Presently with Hitachi Systems & Services, Ltd. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toyohashi University of Technology | ||||||||
| 著者名 |
大野, 和彦
山本, 繁弘
岡野, 孝典
中島, 浩
× 大野, 和彦 山本, 繁弘 岡野, 孝典 中島, 浩
|
|||||||
| 著者名(英) |
Kazuhiko, Ohno
Shigehiro, Yamamoto
Takanori, Okano
Hiroshi, Nakashima
× Kazuhiko, Ohno Shigehiro, Yamamoto Takanori, Okano Hiroshi, Nakashima
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 非数値分野のプログラミングでは非定型・動的なデータ構造が多用されるため自動並列化が困難であり，従来より様々な並列化ライブラリや並列言語が提案されてきた．しかし，一般的に実行効率の高いものは低レベルな記述が必要であり，抽象性の高いものは効率的な実装が難しい．そこで我々は，記述のしやすさと実行効率を両立させることを目標に，並列言語Orgel の研究開発を行っている．Orgel では，実行単位であるエージェントが並行/並列に動作し，抽象通信路であるストリームを介してメッセージを送りあう．同種のモデルに基づく既存言語と異なり，Orgel ではこのプロセスネットワークを宣言的に記述する．この結果，同期/通信タイミングによるバグを防ぎ，プログラム記述を容易にしている．また，コンパイル時に実行モデルの構造が分かるため，静的解析により強力な最適化を施すことができる．現在，共有メモリ型並列計算機上にOrgel 処理系を実装済であり，これを対象とした性能評価を行った．その結果，逐次実行のオーバヘッド・並列実行での速度向上率ともに，直接Pthreads ライブラリを用いる場合と比較して遜色なく，他の動的要因の大きい並列言語と比べて効率が良いことが示された．また，並列化のためのコード変更コストについてもOrgel が優位であり，ランタイムライブラリの結合による実行バイナリサイズの増加も，Pthreads 版の2 割?6 割増程度にとどまった． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Automatic parallelization is much difficult in non-numerical field,because irregular and dynamic data structures are frequently used.Therefore,many parallelizing libraries and parallel programming languages have been proposed.However,the efficient systems tend to force low-level specifications to the programmers.And the highly abstracted systems are difficult to implement efficiently.So,we are developing a parallel programming language named Orgel which aims for both efficiency and easiness.In the execution model of Orgel,the execution units called agents run in concurrent/parallel and send messages via abstract channels called streams Unlike many other languages based on the similar models,the process network model is declaratively specified.This feature prevents timing bugs and simplifies parallel programming.Furthermore,the program can be strongly optimized using static analysis because the execution model is known at compile time.We have implemented Orgel on shared-memory multiprocessors.The result of evaluation shows that both the overhead in sequential execution and the speedup in parallel execution can match with the programs using Pthreads library. Parallelization was much easier using Orgel,and the increase of the executable size caused by linking Orgel runtime library is only 23-65%larger compared to the Pthreads version. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11560614 | |||||||
| 書誌情報 |
情報処理学会論文誌ハイパフォーマンスコンピューティングシステム（HPS） 巻 42, 号 SIG12(HPS4), p. 95-110, 発行日 2001-11-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
