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

並列分散システム統合のための安全な計算状態操作機構

研究課題

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

萌芽研究

配分区分補助金
研究分野 ソフトウエア
研究機関京都大学

研究代表者

八杉 昌宏  京都大学, 情報学研究科, 准教授 (30273759)

研究期間 (年度) 2005 – 2007
研究課題ステータス 完了 (2007年度)
配分額 *注記
3,300千円 (直接経費: 3,300千円)
2007年度: 900千円 (直接経費: 900千円)
2006年度: 800千円 (直接経費: 800千円)
2005年度: 1,600千円 (直接経費: 1,600千円)
キーワードスタック / レジスタ / C言語 / コンパイラ / 入れ子関数
研究概要

計算中のプロセスの計算状態を安全に操作可能にすることで、高い実行性能と安全性・正当性を両立させるための拡張C言語の仕様設計、実装技術および応用手法を提案し、それらを評価することで、多数のプロセッサやノードから成るシステムを統合できることを示そうとしている。提案方式は、言語仕様としては入れ子関数(クロージャ)をベースとし、関数呼出しの呼出し元のフレームで眠っている変数の値への正式なアクセスを可能としている。これを、L-closureと呼ぶ、高い実行性能を得るためのクロージャとして提案している。平成19年度は以下の成果を得た。
1.提案手法の評価環境の構築
提案する仕様と実装技術を、実動するコンパイラとして実現した。平成18年度までに、通常のC言語へのトランスレータとしての実装と、GNU C Compiler(GCC)のバージョン3.2を改造した実装を行ったが、平成19年度はさらにGCC3.4.6を用いた環境を構築した。また、GCC4対応に向けての調査を行った。
2.応用プログラムの開発・提案手法の検証
特にマルチスレッド、負荷分散、実行状態の保存・変更・復元、自動メモリ管理のポインタ補正を中心として応用プログラムを作成し、これらを用いた提案手法の有用性の検証を行った。結果として、特にレジスタ数の多い計算機において、高性能が達成されることが示された。
3.言語仕様の改良
L-closureへのポインタ(や型)を構造体メンバ、関数、配列、型定義などでも利用できるように、キーワードを付与した入れ子関数の定義についての構文の修正を行ってきた。平成19年度はさらに構文の修正を行い、L-closureを返すL-closure定義(意味的にはエラーになるが構文としては認められる)、関数プロトタイプ宣言における"*"記号の省略などに対応した。

報告書

(3件)
  • 2007 実績報告書
  • 2006 実績報告書
  • 2005 実績報告書
  • 研究成果

    (7件)

すべて 2008 2007 2006

すべて 雑誌論文 (6件) (うち査読あり 2件) 学会発表 (1件)

  • [雑誌論文] L-Closure:高性能・高信頼プログラミング言語の実装向け言語機構2008

    • 著者名/発表者名
      八杉昌宏, 平石拓, 篠原丈成, 湯淺太一
    • 雑誌名

      情報処理学会論文誌:プログラミング 49・SIG1(PRO35)

      ページ: 63-83

    • NAID

      110006594925

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Experience with SC: Transformation-based Implementation of Various Language Extensions to C2007

    • 著者名/発表者名
      Tasuku Hiraishi, Masahiro Yasugi and Taiichi Yuasa
    • 雑誌名

      Proc. of International Lisp Conference 2007

      ページ: 103-113

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] A Transformation-Based Implementation of Lightweight Nested Functions2006

    • 著者名/発表者名
      Tasuku Hiraishi, Masahiro Yasugi, Taiichi Yuasa
    • 雑誌名

      IPSJ Digital Courier 2

      ページ: 262-279

    • NAID

      130000058356

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Efficient and Portable Implementation of Java-style Exception Handling in C2006

    • 著者名/発表者名
      S.Umatani, H.Shobayasni, M.Yasugi, T.Yuasa
    • 雑誌名

      IPSJ Digital Courier 2

      ページ: 238-247

    • NAID

      130000058354

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] 既存Cヘッダファイルの構文の異なる言語での有効利用2006

    • 著者名/発表者名
      平石拓, 八杉昌宏, 湯淺太一
    • 雑誌名

      コンピュータソフトウェア 23・2

      ページ: 225-238

    • NAID

      130004892059

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Lightweight Lexical Closures for Legitimate Execution Stack Access2006

    • 著者名/発表者名
      Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa
    • 雑誌名

      Proceedings of 15th International Conference on Compiler Construction. Lecture Notes in Computer Science Vol.3923

      ページ: 170-184

    • 関連する報告書
      2005 実績報告書
  • [学会発表] Experience with SC: Transformation-based Implementation of Various Language Extensions to C2007

    • 著者名/発表者名
      Tasuku Hiraishi, Masahiro Yasugi and Taiichi Yuasa
    • 学会等名
      International Lisp Conference 2007
    • 発表場所
      Clare College, Cambridge, U. K.
    • 年月日
      2007-04-03
    • 関連する報告書
      2007 実績報告書

URL: 

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

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

Powered by NII kakenhi