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

Development of Theoretical Basis and Practical Implementation of a new Skeletal Parallel Programming System

Research Project

Project/Area Number 15500020
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionThe University of Electro-Communications

Principal Investigator

IWASAKI Hideya  The University of Electro-Communications, Faculty of Electro-Communications, Professor, 電気通信学部, 教授 (90203372)

Co-Investigator(Kenkyū-buntansha) HU Zhenjiang  The University of Tokyo, Graduate School of Information Science and Technology, Associate Professor, 大学院・情報理工学系研究科, 助教授 (50292769)
Project Period (FY) 2003 – 2004
Project Status Completed (Fiscal Year 2004)
Budget Amount *help
¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 2004: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2003: ¥2,100,000 (Direct Cost: ¥2,100,000)
KeywordsParallel Programming / Parallel Skeleton Library / Constructive Algorithmics / Fusion Transformation / C++ / MPI / スケルトン並列プログラミング / プログラム変換 / 並列スケルトン / スケルトンプログラミング
Research Abstract

Parallel programming has proved to be difficult, requiring expert knowledge of both parallel algorithms and hardware architectures to achieve good results. Skeletal parallel programming enables programmers to build a parallel program from ready-made components (parallel skeletons) for which efficient implementations are known to exist, making both the parallel program development and the parallelization process easier.
This research aims to develop both theoretical basis and practical programming environment system for skeletal parallel programming. Through this research, we have achieved the following results.
1)We have developed a new skeleton that abstracts a good combination of primitive parallel skeletons for recursive data structures such as lists and binary trees.
2)We have developed an optimization rules that fuses two successive calls of skeletons, based on the idea of constructive algorthmics.
3)We have developed a practical skeletal library in C++ and MPI that can be used in general parallel environments.
Our library has the following characteristic features that have not implemented in existing libraries. a)The library provides accumulate skeleton that abstracts typical form of recursive functions. b)The library implements fusion transformation that avoids unnecessary intermediate data structures. c) The library has no syntactic extensions that sacrifice generality of C++.

Report

(3 results)
  • 2004 Annual Research Report   Final Research Report Summary
  • 2003 Annual Research Report
  • Research Products

    (20 results)

All 2005 2004 2003 Other

All Journal Article (17 results) Publications (3 results)

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

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

      コンピュータソフトウェア (to appear)

    • NAID

      130005006607

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 最適化機構を持つC++並列スケルトンライブラリ2005

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

      コンピュータソフトウェア to appear

    • NAID

      130005006607

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Systematic Derivation of Tree Contraction Algorithms2004

    • Author(s)
      Matsuzaki, K., Hu, Z., Kakehi, K., Takeichi, M.
    • Journal Title

      Proc. 4th International workshop on Constructive Methods for Parallel Programming (CMPP2004)

      Pages: 109-123

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Fusion-Embedded Skeleton Library2004

    • Author(s)
      Matsuzaki, K., Kakehi, K., Iwasaki, H., Hu, Z., Akashi, Y.
    • Journal Title

      Proc. Annual European Conference on parallel Processing (Euro-Par2004), Lecture Notes in Computer Science 3149

      Pages: 644-653

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A New Parallel Skeleton for General Accumulative Computations2004

    • Author(s)
      Iwasaki, H., Hu, Z.
    • Journal Title

      International Journal of Parallel Programming 32

      Pages: 389-414

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Systematic Derivation of Tree Contraction Algorithms2004

    • Author(s)
      Matsuzaki, K., Hu, Z., Kakehi, K., Takeichi, M.
    • Journal Title

      Proc.4th International Workshop on Constructive Methods for Parallel Programming(CMPP2004)

      Pages: 109-123

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Fusion-Embedded Skeleton Library2004

    • Author(s)
      Matsuzaki, K., Kakehi, K., Iwasaki, H., Hu, Z., Akashi, Y.
    • Journal Title

      Proc.Annual European Conference on Parallel Processing(Euro-Par2004), Lecture Notes in Computer Science 3149

      Pages: 644-653

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A New Parallel Skeleton for General Accumulative Computations2004

    • Author(s)
      Iwasaki, H., Hu, Z.
    • Journal Title

      International Journal of Parallel Programming Vol.32, No.5

      Pages: 389-414

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Fusion-Embedded Skeleton Library2004

    • Author(s)
      Matsuzaki, K., Kakehi, K., Iwasaki, H., et al.
    • Journal Title

      Proc.Annual European Conference on Parallel Processing(Euro-Par2004)

      Pages: 644-653

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Systematic Derivation of Tree Contraction Algorithms2004

    • Author(s)
      Matsuzaki, K., Hu, Z., et al.
    • Journal Title

      Proc.4th International Workshop on Constructive Methods for Parallel Programming(CMPP2004)

      Pages: 109-123

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A New Parallel Skeleton for General Accumulative Computations2004

    • Author(s)
      Iwasaki, H., Hu, Z.
    • Journal Title

      International Journal of Parallel Programming 32・5

      Pages: 389-414

    • Related Report
      2004 Annual Research Report
  • [Journal Article] PType System : A Featherweight Parallelizability Detector2004

    • Author(s)
      Xu, D.N., Khoo, S.C., Hu, Z.
    • Journal Title

      Proc.2nd ASIAN Symposium on Programming Languages and Systems(APLAS2004)

      Pages: 197-212

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Parallelization with Tree Skeletons2003

    • Author(s)
      Matsuzaki, K., Hu, Z., Takeichi, M.
    • Journal Title

      Proc. Annual European Conference on Parallel Processing (Euro-Par2003), Lecture Notes in Computer Science 2790

      Pages: 789-798

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] List Homomorphism with Accumulation2003

    • Author(s)
      Kakehi, K., Hu, Z., Takeichi, M.
    • Journal Title

      Proc. SNPD'03 Conference

      Pages: 250-259

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Parallelization with Tree Skeletons2003

    • Author(s)
      Matsuzaki, K., Hu, Z., Takeichi, M.
    • Journal Title

      Proc.Annual European Conference on Parallel Processing(Euro-Par2003), Lecture Notes in Computer Science 2790

      Pages: 789-798

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] List Homomorphism with Accumulation2003

    • Author(s)
      Kakehi, K., Hu, Z., Takeichi, M.
    • Journal Title

      Proc.4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing(SNPD'03)

      Pages: 250-259

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Parallel Skeleton Library in C++ with Optimization Mechanism

    • Author(s)
      Akashi, Y., Matsuzaki, K., Iwasaki, H., Kakehi, K., Hu, Z
    • Journal Title

      Computer Software (to appear)

    • NAID

      130005006607

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Publications] Matsuzaki, K, Hu, Z., Takeichi, M.: "Parallelization with Tree Skeletons"Proc.International Conference on Parallel and Distributed Computing (Euro-Par 2003). 789-798 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Kakehi, K., Hu, Z., Takeichi, M.: "List Homomorphism with Accumulation"Proc.4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. 250-259 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 森本武資, 岩崎英哉, 竹内郁雄: "枝刈り機構とメモ化機構をもつ言語"日本ソフトウェア科学会第20回大会論文集. CD-ROM. (2003)

    • Related Report
      2003 Annual Research Report

URL: 

Published: 2003-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi