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

2008 Fiscal Year Final Research Report

A Constructive Approach to Structured Parallel Programming

Research Project

  • PDF
Project/Area Number 17300005
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionNational Institute of Informatics (2008)
The University of Tokyo (2005-2007)

Principal Investigator

HU Zhenjiang  National Institute of Informatics, アーキテクチャ科学研究系, 教授 (50292769)

Co-Investigator(Kenkyū-buntansha) TAKEICHI Masato  東京大学, 大学院情報理工学系研究科, 教授 (10011165)
KAKEHI Kazuhiko  東京大学, 大学院情報理工学系研究科, 特任講師 (90345116)
MATSUZAKI Kiminori  東京大学, 大学院情報理工学系研究科, 助教授 (30401243)
Co-Investigator(Renkei-kenkyūsha) TAKEICHI Masato  東京大学, 大学院情報理工学系研究科, 教授 (10011165)
MATSUZAKI Kiminori  東京大学, 大学院情報理工学系研究科, 助教授 (30401243)
Project Period (FY) 2005 – 2008
Keywords情報システム / ソフトウェア学 / アルゴリズム / ソフトウェア開発効率化・安定化 / 超高速情報処理
Research Abstract

本研究は、「構造化並列プログラムの系統的開発手法」、「構造化並列プログラムの最適化手法」、そして「構造化並列プログラムの応用」を中心に、理論と実践の両面で研究を進めてきた。理論面では、構成的アルゴリズム論に基づいて、スケルトン並列プログラミング手法をより一般的に定式化するとともに、並列計算におけるデータの分散・プロセッサ間通信・同期制御等を構造化させ、効率の良い並列プログラムを系統的に開発するための構造化並列プログラミング手法を提案した。また、理論面での検討を加えると同時に、構造化並列プログラミングを支援するソフトウェア開発環境SkeToを設計し実現した。そして、数値計算等の実用例を用いてその有効性を確認した。

  • Research Products

    (24 results)

All 2009 2008 2007 2006 2005

All Journal Article (10 results) (of which Peer Reviewed: 8 results) Presentation (14 results)

  • [Journal Article] 並列プログラムの候補生成と適合性検査による並列化2009

    • Author(s)
      森畑明昌,松崎公紀,胡振江,武市正人
    • Journal Title

      情報処理学会論文誌, プログラミング Vol.2(2)

      Pages: 132-143

    • Peer Reviewed
  • [Journal Article] Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers2008

    • Author(s)
      Kiminori Matsuzaki, Zhenjiang Hu
    • Journal Title

      Scalable Computing: Practice & Experience (SCPE) (掲載予定)

    • Peer Reviewed
  • [Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008

    • Author(s)
      松崎公紀,胡振江,武市正人
    • Journal Title

      情報処理学会論文誌 Vol.49, No.SIG3, PRO36

      Pages: 16-27

    • Peer Reviewed
  • [Journal Article] 並列計算パターン (スケルトン) による並列プログラミング2008

    • Author(s)
      岩崎英哉,胡振江
    • Journal Title

      情報処理学会誌「情報処理」 Vol.49,No.12

      Pages: 1385-1394

  • [Journal Article] Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays2007

    • Author(s)
      Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    • Journal Title

      International Journal of Parallel Programming (IJPP) Volume 35, Number 6, Springer

      Pages: 615-658

    • Peer Reviewed
  • [Journal Article] 木スケルトンによるXpathクエリの並列化とその評価2007

    • Author(s)
      野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
    • Journal Title

      コンピュータソフトウエア 24(3)

      Pages: 51-62

    • Peer Reviewed
  • [Journal Article] Parallel Skeletons for Manipulating General Trees2006

    • Author(s)
      Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Parallel Computing (Elsevier) Vol.32, No.7-8

      Pages: 590-603

    • Peer Reviewed
  • [Journal Article] Systematic Derivation of Tree Contraction Algorithms2005

    • Author(s)
      Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    • Journal Title

      Parallel Processing Letters Vol. 15, No. 3

      Pages: 321-336

    • Peer Reviewed
  • [Journal Article] 最適化機構を持つ C++ 並列スケルトンライブラリ2005

    • Author(s)
      明石 良樹 松崎 公紀, 岩崎 英哉, 筧 一彦, 胡 振江
    • Journal Title

      コンピュータソフトウエア Vol.22, No.3

      Pages: 214-222

    • Peer Reviewed
  • [Journal Article] スケルトン並列プログラミング2005

    • Author(s)
      胡振江, 岩崎英哉
    • Journal Title

      情報処理学会誌「情報処理」 Vol.46,No.10

      Pages: 1158-1163

  • [Presentation] The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer2009

    • Author(s)
      Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009)
    • Place of Presentation
      Savannah, Georgia, USA
    • Year and Date
      20090121-23
  • [Presentation] A Generative Matrix Library in Fortress Relieves Programmers' Headache!2008

    • Author(s)
      Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学 大学院ビジネス科学研究科(東京キャンパス)
    • Year and Date
      20080910-12
  • [Presentation] The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer2008

    • Author(s)
      Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学 大学院ビジネス科学研究科(東京キャンパス)
    • Year and Date
      20080910-12
  • [Presentation] リスト上の最大マーク付け問題を解く並列プログラムの導出2007

    • Author(s)
      松崎公紀, 胡振江, 武市正人
    • Organizer
      情報処理学会 第66回プログラミング研究会
    • Place of Presentation
      名古屋大学 大学院多元数理科学研究科
    • Year and Date
      20071011-12
  • [Presentation] Associativity for Parallel Tree Computation2007

    • Author(s)
      松崎 公紀, 森畑 明昌, 胡 振江, 武市 正人
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      20070912-14
  • [Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007

    • Author(s)
      Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007) (pp.146-155)
    • Place of Presentation
      San Diego, CA, USA
    • Year and Date
      20070610-13
  • [Presentation] 近傍要素を必要とするスケルトンプログラムの最適化2007

    • Author(s)
      江本健斗, 松崎公紀, 胡振江, 武市正人
    • Organizer
      第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)
    • Place of Presentation
      石川県加賀市山
    • Year and Date
      20070308-10
  • [Presentation] 弱逆関数の自動導出によるプログラムの並列化2006

    • Author(s)
      森田 和孝, 森畑 明昌, 胡 振江, 武市 正人
    • Organizer
      日本ソフトウェア科学会第23回大会
    • Place of Presentation
      東京大学
    • Year and Date
      20060913-15
  • [Presentation] Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions2006

    • Author(s)
      Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      European Conference on Parallel Computing (EuroPar 2006) (LNCS 4128, Springer. Pp.605-614)
    • Place of Presentation
      Dresden, Germany
    • Year and Date
      20060829-0902
  • [Presentation] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006

    • Author(s)
      Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • Organizer
      18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)
    • Place of Presentation
      Cambridge, MA, USA
    • Year and Date
      20060730-0802
  • [Presentation] A Library of Constructive Skeletons for Sequential Style of Parallel Programming (Invited Paper)2006

    • Author(s)
      Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
    • Organizer
      First International Conference on Scalable Information Systems (InfoScale 2006) (Vol. 152 of ACM International Conference Proceeding Series)
    • Place of Presentation
      Hong Kong
    • Year and Date
      20060539-0601
  • [Presentation] Parallel Dynamic Programming using Data-Parallel Skeletons2005

    • Author(s)
      筧一彦, 松崎公紀, 森畑明昌, 江本健斗, 胡振江
    • Organizer
      日本ソフトウェア科学会第22回大会
    • Place of Presentation
      東北大学 青葉山キャンパス
    • Year and Date
      20050913-15
  • [Presentation] 構成的な並列スケルトンによる並列プログラミングライブラリ2005

    • Author(s)
      松崎公紀, 明石良樹, 江本健斗, 岩崎英哉, 胡振江, 助っ人
    • Organizer
      日本ソフトウェア科学会第22回大会
    • Place of Presentation
      東北大学 青葉山キャンパス
    • Year and Date
      20050913-15
  • [Presentation] 木スケルトンによるXpathクエリの並列化とその評価2005

    • Author(s)
      野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
    • Organizer
      日本ソフトウェア科学会第22回大会
    • Place of Presentation
      東北大学 青葉山キャンパス
    • Year and Date
      20050913-15

URL: 

Published: 2010-06-10   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi