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

多様な並行オブジェクトモデルをサポートする言語処理系の研究

研究課題

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

奨励研究(A)

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

研究代表者

増原 英彦  東京大学, 大学院・総合文化研究科, 助手 (40280937)

研究期間 (年度) 1997 – 1998
研究課題ステータス 完了 (1998年度)
配分額 *注記
2,100千円 (直接経費: 2,100千円)
1998年度: 500千円 (直接経費: 500千円)
1997年度: 1,600千円 (直接経費: 1,600千円)
キーワード自己反映計算(リフレクション) / 部分計算 / 並行オブジェクト / 並列・分散プログラミング / メタレベルプログラミング / 最適化 / メタオブジェクト / ABCL / R3
研究概要

本研究の目標は、ネットワーク環境や、ワークステーションクラスタ等を対象とした並列・分散プログラミング言語において見られる、様々な並行オブジェクトのモデルを容易にサポートするような言語処理系の作成であった。
この目標に対し、昨年度までに、自己反映計算(リフレクション)を利用することを提案している。この提案では、オブジェクトの排他制御やメソッド探索といった機能を、メタレベルのプログラムによって与えることで、異なった「並行オブジェクトのモデル」を拡張・変更可能にするというものである。
この提案にもとづき、本年度は、(1)処理系を試作し、(2)その処理系上で実際にメタレベルプログラミングを行って、拡張性を確めることと、(3)それらのプログラムの実行効率を測り、同時に提案している効率的な実行方式の有効性を調べるという研究を行った。
処理系は、東京大学の田浦・大山らが開発した並行オブジェクト指向言語Schematicをベースとして、東京大学の浅井が開発したScheme向け部分計算機を利用したコンパイラを作成した。このコンパイラでは、メタレベルの定義を適切に変換することにより、解釈実行のない効率的なプログラムを生成する。
メタレペルプログラミングに関しては、いくつかの単純なアプリケーションとともに、ガード付きメソッドなどの並行オブジェクトの同期モデルを、メタレベルプログラミングによって提供できることを示した。
また、効率に関しては、部分計算によるコンパイルによって、従来の(拡張性がない)最適化コンパイラによる実行と比べて1.1〜3倍程度のオーバーヘッドしかかからず、これまでのインタプリタによる実行と比べて約6倍の高速化が得られることが示された。

報告書

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

    (10件)

すべて その他

すべて 文献書誌 (10件)

  • [文献書誌] H.Masuhara: "Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language" Proceedings of European Conference on Object-Oriented Program-ming(ECOOP'98).Lecture Notes in Computer Science. 1445. 418-439 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] H.Masuhara: "A Reflective Approach to Support Software Evolution" Proceedings of International Workshop on the Principles of Software Evolution(IWPSE'98). 135-139 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 増原英彦: "Reasoningを容易にする並列自己反映言語のメタオブジェクトの設計" コンピュータソフトウェア. 15(4). 62-66 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Y.Sugita: "On-the-fly Specialization of Reflective Programs Using Dynamic Code Generation Techniques" Proceedings of Workshop on Reflective Programming in C++ and Java. 21-25 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 増原英彦: "Javaバイトコード上での実行時プログラム特化" プログラミングおよび応用のシステムに関するワークショップ予稿集. 発表予定. (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] H.Masuhara: "An Overview of ABCL/R3: an Object-Oriented Concurrent Reflective Language" Parallel and Distributed Objects(Post-proceedings of OBPDC'97). 発表予定. (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Asai,Masuhara, Yonezawa: "Partial Evaluation of Call-by-Ualue lambda-calculus with Side-effects" Proc.of Partial Evaluation and Semantic-Based Program Manipulation. 12-21 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 増原, 米澤: "Reasoningを容易にする並列自己反映言語のメタオブジェクトの設計" 日本ソフトウェア科学会全国大会第14回論文集(「コンピュータソフトウェア」誌掲載予定). 433-436 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Masuhara, Yonezawa: "Reasoning-conscious Meta-object Design of a Reffective Concurrent Language" Proc.et Irtl Workshop on New Models for Softwere Architecture. 42-56 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Masuhara, Yonezawa: "Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language" Proc.et European Conference on Object-Oriented Programming. (発表予定). (1998)

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

URL: 

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

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

Powered by NII kakenhi