インタフェースに基づく並行論理プログラム最適化コンパイラの構成法

• Item type: Trans(1)
• 公開日: 2002-03-15
• タイトル: インタフェースに基づく並行論理プログラム最適化コンパイラの構成法
• タイトル / 言語: en
• タイトル: Interface - based Optimizing Compilation for Concurrent Logic Programs
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 早稲田大学大学院理工学研究科
• 著者所属: 早稲田大学理工学部情報学科
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Engineering, Waseda University
• 著者所属(英): en
• 著者所属(英): Department of Information Processing, Waseda University
• 著者名: 加藤, 紀夫; 上田, 和紀
• 著者名(英): Norio, Kato; Kazunori, Ueda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本発表では，並行論理プログラムの中から逐次的に実行できる部分を自動的に抽出するためのボトムアップな解析法を紹介する．さらに，この方法に基づいて生成される逐次の中間コードを用いて，並行論理プログラムの最適化コンパイラを構成する方式を提案する．細粒度並行言語のコンパイルではソースレベルではなく処理系レベルの最適化が重要であり，それを並行論理プログラムに対して行うには，プロセスに対して特定の実行方法に特化された目的コードを生成することが必要となる．ところがそのような特化は並列実行および局所的選択に関する非決定性を解消することを含むため，目的コードの正当性をソースプログラムのレベルで保証することは直接的でない．そのような特化を定式化するために，本発表ではプロセスのインタフェースという定式化を導入する．インタフェースは，ある入力条件を仮定したとき，プロセスが特定の出力をした後，特定のプロセスとして振る舞うことができるというプロセスの性質を表現する．インタフェースを使ったボトムアップな解析により，プログラム中の逐次的な部分を抽出すると同時に逐次の中間コードを効率良く生成できることを紹介する．そして，中間コードに対して最適化を行うことにより，従来アドホックに正当化してきたupdate-in-placeやタグ除去など様々な最適化の安全性を，中間コードのレベルで体系的に保証できることを明らかにする．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We present a bottom-up method of extracting those fragments of concurrent logic programs that can be executed sequentially,and we also propose a framework of optimizing compilation of concurrent logic programs that uses sequential intermediate code generated with the method.Implementation-level optimization,as opposed to source-level optimization,is important for the compilation of ?ne-grained concurrent languages.To perform this,a compiler of concurrent logic programsneedsto generate object code specialized for a particular way of execution of processes.As code specialization includes elimination of nondeterminacy on parallel execution and local choices,it is not straightforward to justify resulting object code by source-level analysis.To formalize such specialization,we introduce the notion of interfaces of a concurrent process.An interface represents the property of a process that,assuming a particular input,it can produce a particular output and then behave as another process. We show how bottom-up analysis of sequentialization using interfaces allows us to extract sequential fragments of programs and simultaneously to generate sequential intermediate code effciently.We also demonstrate that optimization on the intermediate code can give us systematic,intermediate-code-level justi ?cation of various optimization techniques including update-in-place and tag elimination.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 43, 号 SIG03(PRO14), p. 89-89, 発行日 2002-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会