部分評価組み込みコンパイラの作成とその応用

部分评估内置编译器的创建及其应用

• 批准号: 15700025
• 负责人: 浅井 健一
• 金额: $ 1.41万
• 依托单位: Ochanomizu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15700025/
• 关键词: 部分評価; コンパイラ; 最適化; 関数型言語; 自己反映言語

本年度は、主に部分評価組み込みコンパイラの作成を行ない、そのコンパイラを使って応用プログラム(具体的には流体力学シミュレーション)のコンパイルを試みた。その結果、以下のようなことがわかった。・部分評価の知識を使うと、強力な関数展開を最適化として行なうコンパイラが作成可能である。ユーザが簡単な注釈を書くことで、きめ細かく関数展開を制御することができる。・注釈を書くのには、部分評価の知識は不要で、関数展開(インライニング)のことがわかっていれば大丈夫だが、一方で、いちいち書かなくてはならないのは煩雑である。これを自動化すべく、無限関数展開を防ぐような注釈の自動生成法についても研究を行ない、実装した。この部分は、まだシステムには組み込まれていないが、いくつかのプログラムについて、注釈の自動生成ができている。・流体力学シミュレーションのプログラムは、比較的、単純なループが多く、関数展開だけではそれほど大きな最適化はできない。より高度な最適化を行なうためには、Fortranなどで用いられている解析をする必要がありそうである。・別の応用として、部分評価が有効であると考えられている自己反映言語のコンパイル実験も行なった。その結果、適切な注釈をつければ、十分なコンパイルが行なえることがわかった。自己反映言語はアスペクト指向言語の一部の機能を実現できるので、ここでの手法はアスペクト指向言語のコンパイル法を与えていることになっている。・自己反映言語のコンパイル実験に付随して、自己反映言語を直接形武で書く研究も行ない、実際に直接形式の自己反映言語を設計した。従来、自己反映言語は継続渡し形式で書かれていたが、それをコントロールオペレータを使うことで直接形式でも書けることを示した。

This annual review 価 は, main に parts み 込 み コ ン パ イ ラ の made を line な い, そ の コ ン パ イ ラ を make っ て 応 with プ ロ グ ラ ム (specific に は fluid mechanics シ ミ ュ レ ー シ ョ ン) の コ ン パ イ ル を try み た. Youdaoplaceholder0 result, the following is ような とがわ とがわ った った. Knowledge, part of the review 価 の を make う と, powerful な masato several optimal expansion を と し て line な う コ ン パ イ ラ が made possible で あ る. ユ ー ザ が Jane 単 な note 釈 を book く こ と で, き め fine か く masato number on を suppression す る こ と が で き る. Books, note 釈 を く の に は, partial evaluation 価 の knowledge は don't で, masato expansion (イ ン ラ イ ニ ン グ) の こ と が わ か っ て い れ ば gentleman だ が, one party で, い ち い ち book か な く て は な ら な い の は vexed 雑 で あ る. こ れ を automation す べ く, unlimited number of masato launched を ぐ よ う な note 釈 の automatically generated method に つ い て も を line な い, be loaded し た. こ の part は, ま だ シ ス テ ム に は group み 込 ま れ て い な い が, い く つ か の プ ロ グ ラ ム に つ い て, note 釈 の automatically generated が で き て い る. , fluid mechanics シ ミ ュ レ ー シ ョ ン の プ ロ グ ラ ム は, comparison, 単 pure な ル ー プ が く, masato number on だ け で は そ れ ほ ど big き な optimization は で き な い. よ り highly な line optimization を な う た め に は, Fortran な ど で with い ら れ て い る parsing を す る necessary が あ り そ う で あ る. , don't の 応 with と し て, partial evaluation 価 が have sharper で あ る と exam え ら れ て い る their words reflect の コ ン パ イ ル be 験 も line な っ た. そ の results, appropriate な note 釈 を つ け れ ば, very な コ ン パ イ ル が line な え る こ と が わ か っ た. His words reflect は ア ス ペ ク ト pointing function of speech の a の を be presently で き る の で, こ こ で の gimmick は ア ス ペ ク ト to speech の コ ン パ イ を ル method with え て い る こ と に な っ て い る. , his words reflect の コ ン パ イ ル be 験 に pay with し て, his words を reflect directly form wu で book く も line な い directly form the event, be に の his words を design reflect し た. 従, and his words reflect は 継 続 crossing し form で book か れ て い た が, そ れ を コ ン ト ロ ー ル オ ペ レ ー タ を make う こ と で directly form で も book け る こ と を shown し た.

项目成果

Kenichi Asai: "Reflecting on the Metalevel Interpreter Written in Direct Style"International Lisp Conference. (2003)

Kenichi Asai：“反思直接风格编写的元级解释器”国际 Lisp 会议。

中川理恵, 浅井健一: "部分評価を使った自己反映言語のコンパイル"第6回プログラミングおよびプログラミング言語ワークショップ. (2004)

Rie Nakakawa、Kenichi Asai：“使用部分评估的自反思语言的编译”第六届编程和编程语言研讨会（2004）。

浜田陽子, 渡辺理沙, 坂下徳子, 浅井健一: "Coleコンパイラの作成"情報処理学会プログラミング研究会. PRO-44. (2003)

Yoko Hamada、Risa Watanabe、Noriko Sakashita、Kenichi Asai：“创建 Cole 编译器”日本信息处理协会编程研究小组 (2003)。

佐々本真弓, 浅井健一: "データ構造に着目したコンパイラ最適化の形式化"第6回プログラミングおよびプログラミング言語ワークショップ. (2004)

Mayumi Sasamoto、Kenichi Asai：“专注于数据结构的编译器优化的形式化”第六届编程和编程语言研讨会（2004 年）。