WEKO3
アイテム
並列論理型言語KL1の最適化手法 (並列処理支援ソフトウェアシステム)
https://ipsj.ixsq.nii.ac.jp/records/26174
https://ipsj.ixsq.nii.ac.jp/records/261745d98505e-a180-4bc5-b924-82da9c98ccb1
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1994 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1994-12-08 | |||||||
タイトル | ||||||||
タイトル | 並列論理型言語KL1の最適化手法 (並列処理支援ソフトウェアシステム) | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Optimization Method of Concurrent Logic Language KL1 | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
京都大学工学部情報工学科 | ||||||||
著者所属 | ||||||||
京都大学工学部情報工学科 | ||||||||
著者所属 | ||||||||
京都大学工学部情報工学科 | ||||||||
著者所属 | ||||||||
京都大学工学部情報工学科 | ||||||||
著者所属 | ||||||||
京都大学工学部情報工学科 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science Faculty of Engineering, Kyoto University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science Faculty of Engineering, Kyoto University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science Faculty of Engineering, Kyoto University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science Faculty of Engineering, Kyoto University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science Faculty of Engineering, Kyoto University | ||||||||
著者名 |
大野, 和彦
× 大野, 和彦
|
|||||||
著者名(英) |
Kazuhiko, Ohno
× Kazuhiko, Ohno
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 現在、ICOTにおいて並列論理型言語KL1処理系KLICが開発されており、様々な並列計算機での利用を目指している。しかしながら、現時点でのKLICの実装は、速度やメモリなど実行効率の面で手続き型言語に及ばない。そこで本研究では、静的解析による実行最適化手法を提案する。本手法はプロセス単位の処理により、効率的な処理が可能である。解析段階ではモード・タイプ解析によりデータ型や依存関係を抽出し、これを利用してプロセス内逐次実行の効率化や、プロセス間入出力の最適化コード生成による物理通信削減を実現する。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | The KLIC system, a portable implementation of a concurrent logic programming language KL1, is being developed in ICOT. However, the current implementation is less efficient compared to procedural languages. We propose an optimization method using static analysis. Each process is dealt with independently for efficient mode-type analysis, which derives data types and dependencies. With the analysis result, efficient execution of process by optimal scheduling and reduction of physical messages by optimizing message generation are achieved. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10444176 | |||||||
書誌情報 |
情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS) 巻 1994, 号 106(1994-OS-067), p. 183-190, 発行日 1994-12-08 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |