• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

逆融合変換システムの実現に関する研究

Research Project

Project/Area Number 12780188
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionThe University of Tokyo

Principal Investigator

尾上 能之  東京大学, 大学院・情報理工学系研究科, 助手 (80292770)

Project Period (FY) 2000 – 2001
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 2001: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2000: ¥1,400,000 (Direct Cost: ¥1,400,000)
Keywordsプログラム変換 / 逆融合変換 / diffusion / 構成的アルコリズム論 / 並列計算 / 逆融合定理
Research Abstract

本年度は前年度までの成果をもとに,実用的に用いられている言語処理系に対して逆融合変換を実現し,その性能評価を試みた.我々はこれまでに融合変換(program fusion)の処理を関数型言語HaskellのコンパイラであるGHCに組み込み,その効果を主張してきた.今回もその研究で得られた知見を活用し,まずコンパイラ内部で用いられるCore言語上で自動的に逆融合変換(program diffusion)を行なうためのアルゴリズムの開発を目指した.
ハードウェアの環境としてはPCクラスタを想定し,その上で利用可能なPVM(Parallel Virtual Machine)に基づいた処理系であるGPH(Glasgow Parallel Haskell)を利用することにした.GPHで並列プログラムを記述するには,parとseqという二つの関数を用いて並列部分を指定する.そこで逆融合変換後のプログラムを並列プログラムにするためには,mapやfoldなどの基本関数を予めpar, seqを利用した並列処理に対応させた定義として用意しておき,変換後のプログラムからはそれらの並列対応させた基本関数を呼び出すことにした.
逆融合変換を自動的に行なうシステムを作成するためには,逆融合定理を適用するために必要な,結合性をみたす演算子を見つけだす処理を自動化する必要がある.そのためのアプローチとして,プログラマが注釈(annotation)としてプログラム中に演算子を明示的に指定する手法と,プログラムの文脈から自動的に推測する手法が考えられる.今回は注釈を埋め込む手法を中心に実装を手がけたが,最終的には完成までには至らなかった.今後は変換処理の実装を進めるとともに,プログラムの文脈から結合演算子を自動的に推測するアルゴリズムについても考慮していく予定である.

Report

(2 results)
  • 2001 Annual Research Report
  • 2000 Annual Research Report
  • Research Products

    (2 results)

All Other

All Publications (2 results)

  • [Publications] 尾上能之, 胡振江, 岩崎英哉, 武市正人: "プログラム融合変換の実用的有効性の検証"コンピュータソフトウェア. 17・3. 81-85 (2000)

    • Related Report
      2001 Annual Research Report
  • [Publications] 尾上能之: "プログラミング言語Haskellとその処理系"コンピュータソフトウェア. 18・6. 59-66 (2001)

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2000-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi