引数の出力モード伝播による PROLOG の最適化方式

• Item type: SIG Technical Reports(1)
• 公開日: 1992-09-22
• タイトル: 引数の出力モード伝播による PROLOG の最適化方式
• タイトル / 言語: en
• タイトル: Optimization Method for PROLOG Argument Unification Using Write Mode Propagation
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州工業大学情報工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology
• 著者名: 硴崎賢一
• 著者名(英): KenーIchi, Kakizaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 引数の出力モードの伝播を利用した，単純で効果的な PROLOG の最適化方式を提案する．本方式では，直接出力変数と呼ぶ引数の分類と，その分類情報を格納する直接出力変数フラグを導入し，述語呼び出しでその情報を受け渡すことにより最適化を行っている．本方式は，述語単位のコンパイルで述語間の大域的な最適化が行えるという特長を持っており，不必要なデリファレンスやトレイル処理を除去することによって，出力モードの単一化の処理速度を大幅に向上させることができる．append/3 での評価により，基本的な WAM に対して3．4倍の高速化が行え，58 MIPS のワークステーション上で，3．3M LIPS の高い性能が得られることが明らかになった．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper describes a simple and efficient PROLOG optimnizing method using argument write mode propagation. This method introduces argument classification called direct write mode variable, and passes the information about values put into argument registers from caller to callee. According to the information, this method improves performance of write mode unifications by removing unnecessary dereferencing and trailing. This optimization method realizes inter-procedural global optimization without any global program analysis. A result of performance evaluation for append/3 using this optimizing method shows an improvement of 3.4 times faster than that of using conventional method, and it gains 3.3M LIPS on a 58 MIPS RISC workstation.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1992, 号 75(1992-PRO-066), p. 9-16, 発行日 1992-09-22
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会