WEKO3
アイテム
静的解析による並列論理型言語KL1のメッセージ通信最適化
https://ipsj.ixsq.nii.ac.jp/records/13357
https://ipsj.ixsq.nii.ac.jp/records/13357cdda53d3-17e0-43e5-9521-ce6021321c67
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1997 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Journal(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1997-08-15 | |||||||
タイトル | ||||||||
タイトル | 静的解析による並列論理型言語KL1のメッセージ通信最適化 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Efficient Message Communication of Concurrent Logic Programming Language KL1 Based on Static Analysis | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 論文 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
その他タイトル | ||||||||
その他のタイトル | 並列処理ソフトウェア | |||||||
著者所属 | ||||||||
京都大学工学部 | ||||||||
著者所属 | ||||||||
京都大学工学部/現在,三菱電機株式会社 | ||||||||
著者所属 | ||||||||
京都大学工学部 | ||||||||
著者所属 | ||||||||
京都大学工学部/現在,豊橋技術科学大学 | ||||||||
著者所属 | ||||||||
京都大学工学部 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Faculty of Engineering, Kyoto University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Mitsubishi Electric Corporation | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Faculty of Engineering, Kyoto University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Toyohashi University of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Faculty of Engineering, Kyoto University | ||||||||
著者名 |
大野, 和彦
× 大野, 和彦
|
|||||||
著者名(英) |
Kazuhiko, Ohno
× Kazuhiko, Ohno
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 並列論理型言語KL1で記述されたプログラムをメッセージ交換型並列計算機上で動作させる場合,個々のデータが参照されるごとに転送を行うため細粒度通信が頻発し,大幅な速度低下を生じる.そこで本研究では,静的解析により受信側で参照されるデータ型を抽出し,実行時に生成されるデータのうちその型を持つもののみを一括送信する最適化手法を提案する.本手法により,余分なデータ送信を生じることなくメッセージの粒度を上げ,通信オーバヘッドを削減できる.性能評価の結果,通信回数が大幅に削減され,相対的に通信負荷の高いプログラムや計算機環境では,実行時間も大きく改善されることが確認できた. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | In the execution of concurrent logic language KL1 on message-passing multiprocessors,frequent fine-grained communications cause a drastic inefficiency.We propose an optimization scheme which achieves high granularity of massages by packing data transfer.Using static analysis,we derive data types which are required by the receiver process.With this information,each data of these types are packed into large massages.As a result of evaluation,the number of communications was considerably reduced.This effects to reduce the execution time of programs which have large communication overhead. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN00116647 | |||||||
書誌情報 |
情報処理学会論文誌 巻 38, 号 8, p. 1638-1648, 発行日 1997-08-15 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7764 |