静的解析による並列論理型言語KL1のメッセージ通信最適化

• 大野, 和彦

• 伊川, 雅彦

• 森, 眞一郎

• 中島, 浩

• 富田, 眞治

書誌事項

タイトル別名

• セイテキ カイセキ ニヨル ヘイレツ ロンリガタ ゲンゴ KL1 ノ メッセー
• Efficient Message Communication of Concurrent Logic Programming Language KL1 Based on Static Analysis
• 並列処理ソフトウェア

抄録

並列論理型言語KL1で記述されたプログラムをメッセージ交換型並列計算機上で動作させる場合，個々のデータが参照されるごとに転送を行うため細粒度通信が頻発し，大幅な速度低下を生じる．そこで本研究では，静的解析により受信側で参照されるデータ型を抽出し，実行時に生成されるデータのうちその型を持つもののみを一括送信する最適化手法を提案する．本手法により，余分なデータ送信を生じることなくメッセージの粒度を上げ，通信オーバヘッドを削減できる．性能評価の結果，通信回数が大幅に削減され，相対的に通信負荷の高いプログラムや計算機環境では，実行時間も大きく改善されることが確認できた．

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.

収録刊行物

• 情報処理学会論文誌

  情報処理学会論文誌 38 (8), 1638-1648, 1997-08-15

  東京 : 情報処理学会

キーワード

• 論文

詳細情報

• CRID: 1050845762816721408
• NII論文ID: 110002721614
• NII書誌ID: AN00116647
• ISSN: 18827764
• ISSN: 03875806
• NDL書誌ID: 4274502
• Web Site: http://id.nii.ac.jp/1001/00013357/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I4274502
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles