• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 09780249
研究種目

奨励研究(A)

配分区分補助金
研究分野 計算機科学
研究機関筑波大学

研究代表者

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

研究期間 (年度) 1997 – 1998
研究課題ステータス 完了 (1998年度)
配分額 *注記
2,000千円 (直接経費: 2,000千円)
1998年度: 900千円 (直接経費: 900千円)
1997年度: 1,100千円 (直接経費: 1,100千円)
キーワードリフトクション / 自己反映計算 / メタオブジェクト / リフレクション
研究概要

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

報告書

(2件)
  • 1998 実績報告書
  • 1997 実績報告書
  • 研究成果

    (7件)

すべて その他

すべて 文献書誌 (7件)

  • [文献書誌] 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)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Shigeru Chiba: "Macro Processing in Object-Oriented Languages" Proc.of Technology of Object-Oriented Languages and Systems. (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Chiba et al.: "Weak protection for reflective operating systems" LNCS. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 立掘, 千葉, 中田: "Java言語のための新たな自己反映計算の提案" ソフトウェア科学会大会論文集. 201-204 (1997)

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

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 宮沢, 千葉, 益田: "2次サーバを活用した分散広域ファイルシステム Aria" 情報処理学会研究会報告. 97-OS-76. 31-36 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Chiba, Kono: "Languagesupport for secure mobile objects" Proc.of OBPDC'97. (1997)

    • 関連する報告書
      1997 実績報告書

URL: 

公開日: 1997-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi