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

柔構造を有する統合型並列システム・ソフトウェアの開発

研究課題

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

試験研究(B)

配分区分補助金
研究分野 情報システム学(含情報図書館学)
研究機関奈良先端科学技術大学院大学

研究代表者

福田 晃  奈良先端科学技術大学院大学, 情報科学研究科, 教授 (80165282)

研究分担者 村上 和彰  九州大学, 大学院・総合理工学研究科, 助教授 (10200263)
最所 圭三  奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (50170486)
吉田 紀彦  九州大学, 工学部, 助教授 (00182775)
高木 利久  東京大学, 医科学研究所, 教授 (30110836)
荒木 啓二郎  奈良先端科学技術大学院大学, 情報科学研究科, 教授 (40117057)
研究期間 (年度) 1994 – 1995
研究課題ステータス 完了 (1995年度)
配分額 *注記
18,900千円 (直接経費: 18,900千円)
1995年度: 9,800千円 (直接経費: 9,800千円)
1994年度: 9,100千円 (直接経費: 9,100千円)
キーワードシステム・ソフトウェア / 高度情報処理 / 並列オペレーティング・システム / メッセージプール / 並列化コンパイラ / データ分割 / オブジェクト指向 / マルチキャスト / メモリ管理アーキテクチャ / 2レベルスケジューリング / ユーザレベル・スレッド・ライブラリ / シミュレーション
研究概要

本研究の目的は、高度情報処理のための柔構造を有する統合型システム・ソフトウェアを研究・開発し、高度並列処理を推進することにある。今年度においては、以下の成果が得られた。
1).並列オペレーティング・システム KIプロトタイプの構築
メッセージプールをベースにした並列オペレーテイング・システムKIを開発した。メッセージプールは、カーネル内タスクおよびシステムサーバー間の通信機構を提供するものであり 本機構により、OS負荷の自然な分散が実現できる。メッセージプールは、マルチキャスト通信もサポートしている。KIをマルチプロセッサ・ワークステーションに実装して、その基本的な性能を評価した。その結果、KIが提供するマルチキャスト通信が有効であることを実証した。
2).並列化コンパイラ・システムの研究
大規模マルチプロセッサ・システムでは、データ分割・配置がシステム性能に致命的な影響を与える。そこで、データ分割、配置に関する研究を行った。具体的には、データ分割・配置のベースとなる中間表現形式DDG(Da+aPartitioning Graph)を提案しその上でのデータ分割アルゴリズムCDP2を考案した。また、従来は並列化が困難であった。線形依存ベクトルをもつループにおいて、ループ内並列化手法を開発した。さらに、現有の並列化コンパイラにおいて内部中間表現の統一、オブジェクト指向による書き換えなどの再構築を行い、見通しのよい構造にした。また、次世代並列化コンパイラに向けて、オブジェクト指向によるコンパイラ・システムの構成法を研究し、そのプロトタイプをマルチプロセッサ・システムに実装した。

報告書

(3件)
  • 1995 実績報告書   研究成果報告書概要
  • 1994 実績報告書
  • 研究成果

    (24件)

すべて その他

すべて 文献書誌 (24件)

  • [文献書誌] 福田 晃: "並列OSの研究動向" 情報処理学会誌. Vol.36 NO.8. 726-728 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] 福田 晃: "メッセージプール指向の並列OS.KI" 情報処理学会誌. Vol.36 NO.8. 739-742 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] 最所圭三: "並列オペレーティングシステム"KI"の実装" 情報処理学会誌 コンピュータシステムシンポジウム. 17-24 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] 福田 晃他: "A Loop Parallization Technigue for Linear Dependence Vector" Proc.PACT'95. 285-289 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] 福田 晃他: "CDP^2 Algorithm" Proc.ICPP. II177-II181 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] 荒木啓二郎他: "OMT法による並列化コンパイラ中間言語フレームワークの構築"

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] Akira FUKUDA: "A Survey of Multiprocessor Operating Systems" J.IPS Japan. Vol.48 (in Japanese). 726-728 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] Akira FUKUDA: "The K1 Message-Pool-Based Multiprocessor Operating System" J.IPS Japan. Vol.48 (in Japanese). 739-742 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] Keizo SAISHO,etc.: "The K1 Multiprocessor Operating System -Implementation to a Multiprocessor Workstation -" IPS Japan Computer System Symposium. (in Japanese). 17-24 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] Akira FUKUDA,etc.: "A Loop Parallelization Technology for Linear Dependence Vector" Proc.PACT'95. 285-289 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] Akira FUKUDA,etc.: "CDP^2 Algorithm" Proc.ICPP. II.177-II.181 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] Keijiro ARAKI,etc.: "A Framework Based on the OMT Method for Intermediate Languages of Parallelizing Compilers" IPS Japan SIG-PRO Notes. (in Japanese). 33-40 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1995 研究成果報告書概要
  • [文献書誌] 福田晃: "並列OSの研究動向" 情報処理学会誌. Vol. 36, No. 8. 726-728 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 福田晃: "メッセージプール指向の並列OS K1" 情報処理学会誌. Vol. 36, No. 8. 739-742 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 最所圭三他: "並列オペレーティングシステム "K1"の実装" 情報処理学会コンピュータシステムシンポジウム. 17-24 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 福田晃他: "A Loop Parallelization Technique for Linear Dependence Vector" Proc. PACT '95. 285-289 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 福田晃他: "DCP^2 Algori=hm" Proc. ICPP. II.177-II.181 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 荒木啓二郎他: "OMT法による並列化コンパイラ中間言語フレームワークの構築" 情報処理学会プログラミング言語研究会. 25-32 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 福田 晃 他: "The Semi-Markov Memory and Cache Coherence Interference Mcdel" High Performance Computing Conf.'94. 254-265 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 福田 晃 他: "マルチプログラミング環境のマルチプロセッサにおける2レベル・スケジューリング" 情報処理学会論文誌. Vol35 No10. (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 福田 晃 他: "An Analytic Model for Hierarchical Parallel System" 2nd Int'L Workshop on Massive Parallelism. 287-304 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 荒木 啓二郎 他: "A Parametic Simulator for A Parallel Computer Using Address-Trace" Int'L Computer Symposium. 979-985 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 荒木 啓二郎 他: "The Data Partitiuning Graph:Extending Data and Control Dependeneies for Data Partitioning" 7th Annral Workshop on Langages and Compilers for Parallel Computing. 121-127 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 最所 圭三 他: "Parallel Pthread Library(PPL)" COMPSAC'94. 301-306 (1994)

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

URL: 

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

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

Powered by NII kakenhi