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

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

基本信息

  • 批准号:
    15700025
  • 负责人:
  • 金额:
    $ 1.41万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
  • 财政年份:
    2003
  • 资助国家:
    日本
  • 起止时间:
    2003 至 2004
  • 项目状态:
    已结题

项目摘要

本年度は、主に部分評価組み込みコンパイラの作成を行ない、そのコンパイラを使って応用プログラム(具体的には流体力学シミュレーション)のコンパイルを試みた。その結果、以下のようなことがわかった。・部分評価の知識を使うと、強力な関数展開を最適化として行なうコンパイラが作成可能である。ユーザが簡単な注釈を書くことで、きめ細かく関数展開を制御することができる。・注釈を書くのには、部分評価の知識は不要で、関数展開(インライニング)のことがわかっていれば大丈夫だが、一方で、いちいち書かなくてはならないのは煩雑である。これを自動化すべく、無限関数展開を防ぐような注釈の自動生成法についても研究を行ない、実装した。この部分は、まだシステムには組み込まれていないが、いくつかのプログラムについて、注釈の自動生成ができている。・流体力学シミュレーションのプログラムは、比較的、単純なループが多く、関数展開だけではそれほど大きな最適化はできない。より高度な最適化を行なうためには、Fortranなどで用いられている解析をする必要がありそうである。・別の応用として、部分評価が有効であると考えられている自己反映言語のコンパイル実験も行なった。その結果、適切な注釈をつければ、十分なコンパイルが行なえることがわかった。自己反映言語はアスペクト指向言語の一部の機能を実現できるので、ここでの手法はアスペクト指向言語のコンパイル法を与えていることになっている。・自己反映言語のコンパイル実験に付随して、自己反映言語を直接形武で書く研究も行ない、実際に直接形式の自己反映言語を設計した。従来、自己反映言語は継続渡し形式で書かれていたが、それをコントロールオペレータを使うことで直接形式でも書けることを示した。
今年,我们主要创建了部分嵌入式编译器,并尝试使用编译器来编译应用程序(特别是流体力学模拟)。结果,我们找到了以下内容: - 使用部分评估的知识,可以创建一个编译器,该编译器可以执行功能强大的功能扩展作为优化。用户可以编写简单的注释以详细控制功能扩展。 - 写注释不需要部分评估,只要您知道功能扩展(内线),这很好,但另一方面,必须每次编写它很复杂。为了自动化这一点,我们还进行了研究,并实施了一种自动注释生成方法,以防止无限函数扩展。该部分尚未内置在系统中,但是可以自动为某些程序生成注释。 - 流体力学模拟程序具有相对较少的简单循环,并且仅功能扩展不能在很大程度上优化。为了执行更高级的优化,可能需要执行Fortran和其他位置中使用的分析。 - 作为另一种应用,我们还进行了自我反射语言的汇编实验,其中部分评估被认为是有效的。结果表明,有了适当的注释,可以实现足够的汇编。由于自我反射语言可以实现面向方面的语言的某些功能,因此此处的方法应该为面向方面的语言提供汇编方法。 - 在编译自我反思语言的实验中,我们还直接在Katabushi中进行了关于编写自我反省语言的研究,并实际上设计了一种直接形式的自我反思语言。传统上,自我反射语言是以连续传递格式编写的,但已证明它们也可以使用控制操作员以直接形式写成。

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
中川理恵, 浅井健一: "部分評価を使った自己反映言語のコンパイル"第6回プログラミングおよびプログラミング言語ワークショップ. (2004)
Rie Nakakawa、Kenichi Asai:“使用部分评估的自反思语言的编译”第六届编程和编程语言研讨会(2004)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Kenichi Asai: "Reflecting on the Metalevel Interpreter Written in Direct Style"International Lisp Conference. (2003)
Kenichi Asai:“反思直接风格编写的元级解释器”国际 Lisp 会议。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
佐々本真弓, 浅井健一: "データ構造に着目したコンパイラ最適化の形式化"第6回プログラミングおよびプログラミング言語ワークショップ. (2004)
Mayumi Sasamoto、Kenichi Asai:“专注于数据结构的编译器优化的形式化”第六届编程和编程语言研讨会(2004 年)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
浜田陽子, 渡辺理沙, 坂下徳子, 浅井健一: "Coleコンパイラの作成"情報処理学会プログラミング研究会. PRO-44. (2003)
Yoko Hamada、Risa Watanabe、Noriko Sakashita、Kenichi Asai:“创建 Cole 编译器”日本信息处理协会编程研究小组 (2003)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

浅井 健一其他文献

Blockly をベースにした OCaml ビジュアルプログラミングエディタ
基于Blockly的OCaml可视化编程编辑器
シンボリックデータ解析と探索的メタアナリシスについて
关于符号数据分析和探索性荟萃分析
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    藤井 舞花;浅井 健一;Masahiro Mizuta;庄司諭 Oleg Kiselyov;水田正弘
  • 通讯作者:
    水田正弘
統計的手法に基づく声質分析・変換・制御技術とその応用
基于统计方法的语音质量分析、转换和控制技术及其应用
  • DOI:
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    叢 悠悠;浅井 健一;戸次 大介;滝沢琢己;戸田 智基
  • 通讯作者:
    戸田 智基
モジュールをサポートする OCaml ステッパの定式化と実装
支持模块的 OCaml 步进器的制定和实现
代数的エフェクトとハンドラのための CPS インタプリタと型システム
用于代数效应和处理程序的 CPS 解释器和类型系统

浅井 健一的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('浅井 健一', 18)}}的其他基金

ブロックプログラミング環境に基づく学習支援環境の構築とその有効性
基于块编程环境的学习支持环境的构建及其效果
  • 批准号:
    20K12107
  • 财政年份:
    2020
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
部分評価を使った自己反映言語のコンパイル技法
使用部分评估的自反射语言的编译技术
  • 批准号:
    09780251
  • 财政年份:
    1997
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
副作用を含む関数型言語の部分評価
函数式语言的部分评估,包括副作用
  • 批准号:
    08780244
  • 财政年份:
    1996
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
自己反映(リクレクティブ)言語のセマンティクスと部分評価による効率的実現
通过自省语言语义和部分评价高效实现
  • 批准号:
    07780231
  • 财政年份:
    1995
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

距離指定型命令セットアーキテクチャによる超高効率実行の実証
使用特定于距离的指令集架构演示超高效执行
  • 批准号:
    23K19975
  • 财政年份:
    2023
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
超高効率実行を実現する距離指定型命令セットアーキテクチャの研究
实现超高效执行的特定距离指令集架构研究
  • 批准号:
    20J22752
  • 财政年份:
    2020
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Accelerating Inductive Logic Programming Using GPU
使用 GPU 加速归纳逻辑编程
  • 批准号:
    19K11909
  • 财政年份:
    2019
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
SIMD IR Code Generation for Vector-Length Agnostic Architectures
用于矢量长度无关架构的 SIMD IR 代码生成
  • 批准号:
    17K12694
  • 财政年份:
    2017
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Task Distribution/Assignment and Energy Efficiency Optimization on Virtual Environments by Utilizing Parallelizing Compiler Analysis Information of User Applications
利用用户应用程序的并行编译器分析信息进行虚拟环境的任务分配/指派和能效优化
  • 批准号:
    17K12665
  • 财政年份:
    2017
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了