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

最適化技法をプログラム可能なコンパイラ

Research Project

Project/Area Number 09780249
Research Category

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

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionUniversity of Tsukuba

Principal Investigator

千葉 滋  筑波大学, 電子・情報工学系, 講師 (80282713)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1998: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1997: ¥1,100,000 (Direct Cost: ¥1,100,000)
Keywordsリフトクション / 自己反映計算 / メタオブジェクト / リフレクション
Research Abstract

今年度はOpenC++処理系の拡張性を評価し、いくつかの学会発表をおこなった。従来、ライブラリ・レベルの実装では、実行効率が悪くなるか、あるいはプログラムの保守性が悪くなってしまっていたfault tolerance機能を、OpenC++をもちいて実装し、プログラムを簡潔にし保守性を高めたままで同時に高い実行効率を達成できることを示した。また、この研究成果を国際会議SRDS'98で発表した。従来技法では、fault toleranceを実現するために、プログラムの実行状態のスナップ・ショットを完全に退避しなければならなかった。しかし研究した技法では、プログラムのコンパイル時に静的な解析をおこない、実行時にはこの解析結果にもとづいて本当に必要な情報だけを退避するようにした。これによって、不要な情報の退避をさけ、実行効率を改善することができる。従来、このような技術を利用するには、このような、アプリケーション・プログラムの内容に依存した最適化コンパイルをおこなう専用の言語処理系を用意しなければならず、あまり現実的とはいえなかった。しかしOpenC++を利用することで、コンパイル時の静的な解析を、クラス・ライブラリとしてportableな形で実装することに成功した。
この他に、OpenC++の設計上の特徴・工夫をまとめて国際会議TOOLS'98にて論文発表をおこなった。この論文では、まず類似のシステムで採用されている設計では、最適化を記述しようとしているプログラマにとってわかりやすい抽象レベルを提供していないことを指摘した。そしてOpenC++では、メタオブジェクトという抽象モデルを使い、オブジェクト指向プログラミングに典型的な最適化技法の記述に適した抽象レベルを提供していることを述べた。

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (7 results)

All Other

All Publications (7 results)

  • [Publications] Killijian,Fabre,Ruiz-Garcia,Chiba: "A Metaobiect Protocal for Fault-Tolerant CoRBA Application" Proc.of IEEE Symp.on Reliable Distributed Systems '98. 127-134 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shigeru Chiba: "Macro Processing in Object-Oriented Languages" Proc.of Technology of Object-Oriented Languages and Systems. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Chiba et al.: "Weak protection for reflective operating systems" LNCS. (発表予定).

    • Related Report
      1997 Annual Research Report
  • [Publications] 立掘, 千葉, 中田: "Java言語のための新たな自己反映計算の提案" ソフトウェア科学会大会論文集. 201-204 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 光来, 千葉, 益田: "新規ファイルシステムにおけるOSの多階段保護機構の必要性" 情報処理学会研究会報告. 97ーOSー76. 37-42 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 宮沢, 千葉, 益田: "2次サーバを活用した分散広域ファイルシステム Aria" 情報処理学会研究会報告. 97-OS-76. 31-36 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Chiba, Kono: "Languagesupport for secure mobile objects" Proc.of OBPDC'97. (1997)

    • Related Report
      1997 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi