LIR : COINSプロジェクトの低水準中間言語

• Item type: Trans(1)
• 公開日: 2003-02-15
• タイトル: LIR : COINSプロジェクトの低水準中間言語
• タイトル / 言語: en
• タイトル: Design of a Low - level Intermediate Language in COINS Project
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京大学情報理工学系研究科
• 著者所属: ソニー株式会社ネットワーク&ソフトウェアテクノロジーセンターアドバンストテクノロジー開発部
• 著者所属: 法政大学情報科学部
• 著者所属: 東京大学情報理工学系研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Advanced Technology Development Department, Network & Software
• 著者所属(英): en
• 著者所属(英): Faculty of Computer and Information Sciences, Hosei University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者名: 阿部, 正佳; 藤波, 順久; 中田, 育男; 萩谷, 昌己
• 著者名(英): Seika, Abe; Nobuhisa, Fujinami; Ikuo, Nakata; Masami, Hagiya
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本発表ではCOINS プロジェクトの低水準中間言語LIR の特徴的な部分を説明する．中間言語LIRの目的はGCC のRTL と同様であり，また設計も似ている．一方でLIR はRTL にはない以下のような特徴を持つ．まず関数，ブロック，モジュールという，通常の低水準中間言語には見られない高水準の構造を導入することにより，最適化からコード生成に至るパスをあるモデルの上でのプログラム変換としてとらえることを可能とした．またLIR のドキュメンテーションでは表示的意味論でLIR の意味を記述した．これにより先のモデルが厳密に定義され，またポータブルで信頼性の高い処理系が実現可能となる．LIR はRTL 同様揮発性オブジェクトの表現を持つが，我々はその意味も厳密に定義しているので，揮発性オブジェクトへの誤った最適化を禁止できる．実行中のプログラムは揮発性変数をチャネルとしたプロセスと見なせる．この考えにより揮発性オブジェクトのもう1 つの，そしてより自然な意味付けができるが，一方でそれは大雑把であり実用的ではない．しかし，揮発性オブジェクトに対するこれら2 つの意味は等価であることが示せるので，我々の意味定義は妥当なものといえる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this presentation, we briefly introduce essential advantages of the low-level compiler intermediate language LIR used in the project. The purpose and basic concepts of LIR are similar to those of RTL which is the intermediate language of GCC. The advantages of LIR are as follows. First, by employing higher-level constructs, usually absent in low-level compiler intermediate languages, we can describe all of compiler back-end passes, from code optimizations to code generations, as program transformations on a model. Secondly, the documentation of LIR is written by a formal method based on denotational semantics. This will ensure the existence of the model and help implementers write portable and reliable compilers. Finally, LIR has a representation for volatile objects like RTL, but also we rigorously define a semantics for the objects. This will inhibit wrong optimizations for the objects. A running program can be regarded as a process communicating via channels of volatile variables. This view inspires ano ther and more natural semantics of volatile objects; this semantics is, however, too rough to be practically useful. And a proof of equivalence between the two semantics provides adequacy of our semantics for the objects.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 44, 号 SIG02(PRO16), p. 43-43, 発行日 2003-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会