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

2006 Fiscal Year Annual Research Report

構成的アルゴリズム論に基づくタスク並列処理の理論とその実用化に関する研究

Research Project

Project/Area Number 18700021
Research InstitutionThe University of Tokyo

Principal Investigator

松崎 公紀  東京大学, 大学院情報理工学系研究科, 助手 (30401243)

Keywordsハイパフォーマンス・コンピューティング / アルゴリズム / 情報基礎
Research Abstract

これまでスケルトン並列プログラミングにおいてはリストのような規則的なデータ構造のみが対象とされてきた。これに対して、我々はより一般的なデータ構造である木構造に対する並列スケルトンの提案とそれらの最適化に関して研究を進めた。
まず、二分木に対する研究成果を拡張し、薔薇木(Rose Trees)として定式化される一般の構造を持つ木に対する並列スケルトンを定式化し、これらが効率良く並列に計算できることを国際雑誌Parallel Computingにて発表した。また、使用される演算子の性質に基づき、二分木に対する並列スケルトンプログラムを導出する手法を提案した。提案した手法は演算子の性質の証明以外は自動化しやすいものであり、並列スケルトンによるコードを生成するシステムのプロトタイプも作成した。これらの成果は、国際会議ACM SPAA2006などにて発表した。
スケルトン並列プログラミングに関する理論をもとに、我々は並列スケルトンライブラリSkeToを作成してきた。我々の並列スケルトンライブラリは、木構造のサポートや融合変換に基づく最適化機構などの特徴を持つ。平成18年度においては、特に上記の理論に関する研究をもとに、木構造に対する並列スケルトンライブラリの拡張を行なってきた。さらに、並列スケルトンライブラリSkeToについて、国際会議Infbscale 2006にて発表を行った。
その他の内容について進めた研究については、国際会議EuroParや国内のワークショップなどで発表を行つた。

  • Research Products

    (8 results)

All 2007 2006

All Journal Article (8 results)

  • [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 Programs2007

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

      第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日

      Pages: 123

  • [Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2007

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

      第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日

      Pages: 124

  • [Journal Article] Parallel Skeletons for Manipulating General Trees2006

    • 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 Programming2006

    • 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 Programming2006

    • 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- Convolutions2006

    • 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 Reductions2006

    • 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

URL: 

Published: 2008-05-08   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi