並列論理型言語KL1の抽象機械語の改良

• Item type: SIG Technical Reports(1)
• 公開日: 1990-03-23
• タイトル: 並列論理型言語KL1の抽象機械語の改良
• タイトル / 言語: en
• タイトル: Optimal Design of the Abstract KL1 Instruction Set
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: （株）富士通ソーシアルサイエンスラボラトリ
• 著者所属: （財）新世代コンピュータ技術開発機構
• 著者所属(英): en
• 著者所属(英): Fujitsu Social Science Laboratory Ltd.
• 著者所属(英): en
• 著者所属(英): Institute for New Generation Computer Technology
• 著者名: 平野, 喜芳; 後藤厚宏
• 著者名(英): Kiyoshi, Hirano; Atsuhiro, Goto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 現在開発中の並列推論マシンPIMのために、抽象機械語KL1-Bの改良を行なったので報告する。改良されたKL1-Bでは、ゴールの実行方式として、引数を必要になるまでメモリ上に置いたままとし、レジスタを全て作業用として利用するメモリベース方式を採用した。これにより、(1)レジスタ数によりゴール引数の数が制限されなくなった。(2)レジスタの使用効率を良くすることができた。(3)コンテキストスイッチの処理を軽くすることができた。また、これに合わせて、いくつかの最適化を導入することにより、KL1の実行速度を高速化した。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper describes the design of new KL1-B: an abstract KL1 instruction set. The new KL1-B takes memory based execution scheme, i. e., goal arguments are fetched from memory to working registers only when their contents are required for unification, while previous KL1-B fetches all arguments beforehand. By this scheme, a number of goal arguments are not restricted by that of registers, so that physical registers can be used effectively. Also, cost for switching goal contexts can be minimized. In addition, several compile-time optimizations techniques are adopted in the new KL1-B.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 情報処理学会研究報告計算機アーキテクチャ（ARC）; 巻 1990, 号 27(1989-ARC-081), p. 1-8, 発行日 1990-03-23
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会