Theory and Practice of Task-Parallel Computation Based on Constructive Algorithmics

• Project/Area Number: 18700021
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: The University of Tokyo
• Principal Investigator: MATSUZAKI Kiminori The University of Tokyo, 大学院・情報理工学系研究科, 助教 (30401243)
• Project Period (FY): 2006 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥2,940,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥240,000); Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2007: ¥800,000 (Direct Cost: ¥800,000); Fiscal Year 2006: ¥1,100,000 (Direct Cost: ¥1,100,000)
• Keywords: プログラム言語 / ハイパフォーマンス・コンピューティング / アルゴリズム / 情報基礎 / スケルトン並列プログラミング

Research Abstract

スケルトン並列プログラミングは,並列プログラムを容易に作成できるようにするための手法のひとつである.本研究では,ある計算をその計算が操作するデータ構造の観点から系統的に定式化する構成的アルゴリズム論に基づいて,スケルトン並列プログラミングの理論と実現に関して研究を進めた.木構造データの効率的な並列処理のための新しいデータ構造,スケジューリングアルゴリズム,ライブラリの実現などの成果を得た.

Research Products

• [Journal Article] The third homomorphism theorem on trees: upwards & downwards leads to divide-and-conquer (2009)
  • Author(s): A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
  • Journal Title: In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language (POPL2009) Pages: 177-185
  • Peer Reviewed
• [Journal Article] The Third Homomorphism Theorem on Trees : Upward & Downward Leads to Divide-and-Conquer (2009)
  • Author(s): Akimasa Morihata, Kiminori Matsuzaki, et al.
  • Journal Title: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2009) POPL2009 Pages: 177-185
  • Peer Reviewed
• [Journal Article] Ternary-tree representation of binary trees and balancing algorithms (2008)
  • Author(s): K. Matsuzaki, A. Morihata
  • Journal Title: Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-30 Pages: 1-18
• [Journal Article] A parallel tree contraction algorithm on non-binary trees (2008)
  • Author(s): A. Morihata, K. Matsuzaki
  • Journal Title: Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-27 Pages: 1-7
• [Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出 (2008)
  • Author(s): 松崎公紀, 胡振江, 武市正人
  • Journal Title: 情報処理学会論文誌:プログラミング Vol. 49 (SIG3) Pages: 16-27
  • NAID: 110006684627
  • Peer Reviewed
• [Journal Article] A Parallel Tree Contraction Algorithm on Non-Binary Trees (2008)
  • Author(s): Akimasa Morihata and Kiminori Matsuzaki
  • Journal Title: Technical Report (METR), Department of Mathematical Engineering, The University of Tokyo METR 2008-27 Pages: 1-7
• [Journal Article] Ternary-Tree Representation of Binary Trees and Balancing Algorithms (2008)
  • Author(s): Kiminori Matsuzaki and Akimasa Morihata
  • Journal Title: Technical Report (METR), Department of Mathematical Engineering, The University of Tokyo METR 2008-30 Pages: 1-18
• [Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出 (2008)
  • Author(s): 松崎 公紀, 胡 振江, 武市 正人
  • Journal Title: 情報処理学会論文誌:プログラミング 49(SIG3) Pages: 16-27
  • NAID: 110006684627
  • Peer Reviewed
• [Journal Article] Domain-specific optimization strategy for skeleton programs (2007)
  • Author(s): K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
  • Journal Title: In Proceedings of International Conference on Parallel and Distributed Computing (EuroPar2007) Pages: 705-714
  • Peer Reviewed
• [Journal Article] 木スケルトンによるXPathクエリの並列化とその評価 (2007)
  • Author(s): 野村 芳明, 江本 健斗, 松崎 公紀, 胡振江, 武市 正人
  • Journal Title: コンピュータソフトウェア Vol. 24(3) Pages: 51-62
  • NAID: 130004638880
  • Peer Reviewed
• [Journal Article] Domain-specific optimization for skeleton programs involving neighbor elements (2007)
  • Author(s): K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
  • Journal Title: Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2007-05 Pages: 1-29
• [Journal Article] Automatic inversion generates divide-and-conquer parallel programs (2007)
  • Author(s): K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
  • Journal Title: In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI2007) Pages: 146-155
  • Peer Reviewed
• [Journal Article] Efficient implementation of tree accumulations on distributed-memory parallel computers (2007)
  • Author(s): K. Matsuzaki
  • Journal Title: In part of The International Conference on Computational Science (ICCS 2007) Pages: 609-616
  • Peer Reviewed
• [Journal Article] Efficient parallel tree reductions on distributed memory environments (2007)
  • Author(s): K. Kakehi, K. Matsuzaki, K. Emoto
  • Journal Title: In part of The International Conference on Computational Science (ICCS 2007) Pages: 601-608
  • Peer Reviewed
• [Journal Article] 木スケルトンによるXPathクエリの並列化とその評価 (2007)
  • Author(s): 野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
  • Journal Title: コンピュータソフトウェア 24(3) Pages: 51-62
  • NAID: 130004638880
  • Peer Reviewed
• [Journal Article] 近傍要素を必要とするスケルトンプログラムの最適化 (2007)
  • Author(s): 江本健斗, 松崎公紀, 胡振江, 武市正人
  • Journal Title: 第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ1、2007年3月8-10日 Pages: 125-139
• [Journal Article] Automatic Inversion Generates Divide-and-Conquer Parallel Programs (2007)
  • Author(s): 森田和孝, 森畑明昌, 松崎公紀, 胡振江, 武市正人
  • Journal Title: 第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日 Pages: 123-123
• [Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming (2007)
  • Author(s): 松崎公紀, 胡振江, 武市正人
  • Journal Title: 第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日 Pages: 124-124
• [Journal Article] Parallel skeletons for manipulating general trees (2006)
  • Author(s): K. Matsuzaki, Z. Hu, M. Takeichi
  • Journal Title: Parallel Computing Vol. 32(7-8) Pages: 590-603
  • Peer Reviewed
• [Journal Article] A library of constructive skeletons for sequential style of parallel programming (invited paper) (2006)
  • Author(s): K. Matsuzaki, K. Emoto, H. Iwasaki, Z. Hu
  • Journal Title: In Proceedings of 1st International Conference on Scalable Information Systems (Infoscale2006)
• [Journal Article] Surrounding theorem: developing parallel programs for matrix-convolutions (2006)
  • Author(s): K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
  • Journal Title: In Proceedings of International Conference on Parallel Computing (EuroPar2006) Pages: 605-614
  • Peer Reviewed
• [Journal Article] Towards automatic parallelization of tree reductions in dynamic programming (2006)
  • Author(s): K. Matsuzaki, Z. Hu, M. Takeichi
  • Journal Title: In Proceedings of 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006) Pages: 39-48
  • Peer Reviewed
• [Journal Article] Parallel Skeletons for Manipulating General Trees (2006)
  • Author(s): Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  • Journal Title: Parallel Computing Vol.32,No.7-8 Pages: 590-603
• [Journal Article] A Library of Constructive Skeletons for Sequential Style of Parallel Programming (2006)
  • Author(s): Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
  • Journal Title: First International Conference on Scalable Information Systems(InfoScale2006),Hong Kong, May 29-June 1,2006
• [Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming (2006)
  • Author(s): Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  • Journal Title: 18th ACM Symposium on Parallelism in Algorithms and Architectures(SPAA2006), Cambridge, MA, USA, July 30-August 2, ACM Press Pages: 39-48
• [Journal Article] Surrounding Theorem : Developing Parallel Programs for Matrix- Convolutions (2006)
  • Author(s): Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  • Journal Title: European Conference on Parallel Computing (EuroPar2006), Dresden, Germany, August 29-September 2, LNCS 4128, Springer 4128 Pages: 605-614
• [Journal Article] A Parallelization Tool for Tree Reductions (2006)
  • Author(s): Kiminori Matsuzaki, Noriyuki Ohkawa
  • Journal Title: The 2nd DIKU-IST Joint Workshop on Foundations of Software, Technical Report no.06/07,Dept.of Computer Science, University of Copenhagen No.06/07
• [Presentation] 並列スケルトンライブラリ「助っ人」の実現 (2009)
  • Author(s): 松崎 公紀, 江本 健斗
  • Organizer: 第50回プログラミングシンポジウム
  • Place of Presentation: 箱根, 神奈川県
  • Year and Date: 2009-01-13
• [Presentation] Associativity for parallel tree computation (2007)
  • Author(s): K. Matsuzaki
  • Organizer: The 3rd DIKU-IST Joint Workshop on Foundation of Software
  • Place of Presentation: Denmark
  • Year and Date: 2007-10-05
• [Presentation] Associativity for Parallel Tree Computation (2007)
  • Author(s): K. Matsuzaki
  • Organizer: 3rd DIKU-IST Joint Workshop on Foundation of Software
  • Place of Presentation: Roskilde(Denmark)
  • Year and Date: 2007-10-05
• [Presentation] Associativity for parallel tree computation (2007)
  • Author(s): 松崎公紀, 森畑明昌, 胡振江, 武市正人
  • Organizer: 日本ソフトウェア科学会第24回大会
  • Place of Presentation: 奈良先端科学技術大学院大学, 奈良県
  • Year and Date: 2007-09-13
• [Presentation] Associativity for Parallel Tree Computation (2007)
  • Author(s): 松崎 公紀, 森畑 明昌, 胡 振江, 武市 正人
  • Organizer: 日本ソフトウェア科学会 第24回大会
  • Place of Presentation: 奈良先端科学技術大学院大学
  • Year and Date: 2007-09-13
• [Presentation] Domain-Specific Optimization Strategy for Skeleton Programs (2007)
  • Author(s): K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
  • Organizer: International European Conference on Parallel and Distributed Computing (EuroPar 2007)
  • Place of Presentation: Rennes(France)
  • Year and Date: 2007-08-31
• [Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs (2007)
  • Author(s): K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
  • Organizer: ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation(PLDI2007)
  • Place of Presentation: San Diego(USA)
  • Year and Date: 2007-06-11
• [Presentation] Efficient Parallel Tree Reductions on Distributed Memory Environments (2007)
  • Author(s): K. Kakehi, K. Matsuzaki, K. Emoto
  • Organizer: 4th International Workshop on Practical Aspects of High-level Parallel Programming(PAPP 2007)
  • Place of Presentation: 北京(中国)
  • Year and Date: 2007-05-29
• [Presentation] Efficient Implementation of Tree Accumulations on Distributed-MemoryParallel Computers (2007)
  • Author(s): K. Matsuzaki
  • Organizer: 4th International Workshop on Practical Aspects of High-level Parallel Programming(PAPP 2007)
  • Place of Presentation: 北京(中国)
  • Year and Date: 2007-05-29
• [Presentation] 近傍要素を必要とするスケルトンプログラムの最適化 (2007)
  • Author(s): 江本健斗, 松崎公紀, 胡振江, 武市正人
  • Organizer: 第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
  • Place of Presentation: 加賀温泉, 石川県
  • Year and Date: 2007-03-09
• [Presentation] Automatic inversion generates divide-and-conquer parallel programs (2007)
  • Author(s): 森田和孝, 森畑明昌, 松崎公紀, 胡振江, 武市正人
  • Organizer: 第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
  • Place of Presentation: 加賀温泉, 石川県
  • Year and Date: 2007-03-09
• [Presentation] Towards automatic parallelization of tree reductions in dynamic programming (2007)
  • Author(s): 松崎公紀, 胡振江, 武市正人
  • Organizer: 第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
  • Place of Presentation: 加賀温泉, 石川県
  • Year and Date: 2007-03-09
• [Presentation] A parallelization tool for tree reductions (2006)
  • Author(s): K. Matsuzaki, N. Ohkawa
  • Organizer: The 2nd DIKU-IST Joint Workshop on Foundation of Software
  • Place of Presentation: 葉山, 神奈川県
  • Year and Date: 2006-04-22
• [Remarks] 研究代表者のホームページ
  • URL: http://www.ipl.t.u-tokyo.ac.jp/.kmatsu/
• [Remarks] 並列スケルトンライブラリ「助っ人」のホームページ
  • URL: http://www.ipl.t.u-tokyo.ac.jp/sketo/