並列論理型言語KL1のクローズインデキシング方式

• Item type: Journal(1)
• 公開日: 1991-03-15
• タイトル: 並列論理型言語KL1のクローズインデキシング方式
• タイトル / 言語: en
• タイトル: Clause Indexing Scheme for Parallel Logic Programming Language KL1
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 並列論理言語
• 著者所属: （財）新世代コンピュータ技術開発機構研究所第四研究室
• 著者所属: （財）新世代コンピュータ技術開発機構研究所第四研究室
• 著者所属(英): en
• 著者所属(英): The Fourth Laboratory, ICOT Research Center Institute for New Generation Computer Technology
• 著者所属(英): en
• 著者所属(英): The Fourth Laboratory, ICOT Research Center Institute for New Generation Computer Technology
• 著者名: 木村, 康則; 近山, 隆
• 著者名(英): Yasunori, Kimura; Takashi, Chikayama
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では 並列論理型言語KL1のクローズインデキシング方式を提案し 評価結果を報告するKL1では ゴールの実行のために試みる候捕クローズの選択の順は言語では規定されておらず コンパイラあるいは処理系で自由に決めてよいそこで 本論文では コンパイル時に個々のクローズが選択されるための条件を求め 選択される可能性のあるクローズ群をまとめてコンパイルしてオブジェクトコードを生成するクローズインデキシソグ方式を提案する本方式では 引数のデリファレンス ヘッド引数として現れた構造体の分解や 組込述語などクローズ間で共通した処理は 重複して実行されないようにコンパイルされるまた クローズインデキシングに用いる命令の設計方針 命令の概要について説明する次に 本方式の効果を調べるために汎用計算機上にKL1のエミュレータを作成して行った性能評価の結果を報告するその結果 本方式は クローズヘッドの引数の構造が複雑であるほど サスペンションの回数が多いほど 候補クローズの数が多いほど 効果が大きいことがわかった具体的には クローズインデキシングを行わない場合と比較して 本方式では 静的なコード量は増大せず 命令実行数 実行時間も1割から4?5倍向上するさらに クローズインデキシングを行うことにより ガード部の実行時の動的な命令分岐の数を5割近く減らせる場合があることがわかった動的な命令分岐数の減少は 命令先取りバッファや 命令パイプライン機構をもったマシンにおいて命令ストリームの乱れを減らす効果をもたらすと考えられるしたがってこの結果は KL1をこのような機構を備えたマシン上に実現する上で極めて好都合な結果であるさらに 本方式により プログラマは クローズの順に関して処理系の詳細を知らなくても クローズを最適に並べた場合以上の速度を得られることを示した
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 32, 号 3, p. 281-295, 発行日 1991-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764