先進的言語機能によるスケルトン並列プログラミングの実用化に関する研究

• 研究課題/領域番号: 22700037
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 高知工科大学
• 研究代表者: 松崎 公紀 高知工科大学, 工学部, 准教授 (30401243)
• 研究期間 (年度): 2010 – 2012
• 研究課題ステータス: 完了 (2012年度)
• 配分額: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円); 2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2010年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
• キーワード: 並列プログラミング / スケルトン並列プログラミング / C++ / メタプログラミング / MapReduce / 正規表現 / 並列計算 / 木構造 / ソフトウェア開発効率化・安定化 / ハイパフォーマンス・コンピューティング / 情報基礎

研究概要

本研究では,理論と実践の両方について研究を行い,主に次の成果を得た.まず,理論については,木構造データに対する並列計算のための新しいモデル化を行った.また,MapReduceプログラミングモデルを関数プログラミングの観点から定式化を行った.実装については,2011に策定されたC++言語の新しい機能のうち,その2つを並列スケルトンライブラリで利用できるようにした.また,テンプレートメタプログラミング手法についても検討を行った。

研究成果

• [雑誌論文] 正規表現マッチングの並列化とそのHadoop による評価 (2011)
  • 著者名/発表者名: 松崎公紀, 江本健斗, 劉雨
  • 雑誌名: 情報処理学会論文誌 プログラミング 巻: Vol. 4 ページ: 1-11
  • 査読あり
• [雑誌論文] A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree (2011)
  • 著者名/発表者名: A. Morihata and K. Matsuzaki
  • 雑誌名: Procedia of Computer Science 巻: Vol. 4 ページ: 7-16
  • NAID: 120005729020
  • 査読あり
• [雑誌論文] 高知工科大学におけるHPC 基盤の導入と将来展望 -ハードウェア性能とソフトウェア生産性の追求- (2011)
  • 著者名/発表者名: 松崎公紀, 山際伸一
  • 雑誌名: 高知工科大学紀要 巻: Vol. 8 ページ: 57-72
  • NAID: 40018997629
• [雑誌論文] 正規表現マッチングの並列化とそのHadoopによる評価 (2011)
  • 著者名/発表者名: 松崎公紀, 江本健斗, 劉雨
  • 雑誌名: 情報処理学会論文誌プログラミング 巻: 4 ページ: 1-11
  • 査読あり
• [雑誌論文] A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree (2011)
  • 著者名/発表者名: Akimasa Morihata, Kiminori Matsuzaki
  • 雑誌名: Proceedings of the International Conference on Computational Science (ICCS2011) 巻: 4 ページ: 7-16
  • NAID: 120005729020
  • 査読あり
• [雑誌論文] 高知工科大学におけるHPC基盤の導入と将来展望--ハードウェア性能とソフトウェア生産性の追求-- (2011)
  • 著者名/発表者名: 松崎公紀, 山際伸一
  • 雑誌名: 高知工科大学紀要 巻: 8 ページ: 57-72
  • NAID: 40018997629
• [雑誌論文] Implementing Fusion-Equipped Parallel Skeletons by Expression Templates (2010)
  • 著者名/発表者名: K. Matsuzaki and K. Emoto
  • 雑誌名: 21st Inter- national Workshop on Implementation and Application of Functional Languages, IFL 2009, Revised Selected Papers, Lecture Notes in Computer Science 巻: Vol. 6041 ページ: 72-89
  • 査読あり
• [雑誌論文] 並列性忘却プログラミングの研究推進に向けて (2010)
  • 著者名/発表者名: 松崎公紀
  • 雑誌名: 高知工科大学紀要 巻: Vol. 7, No. 1 ページ: 91-100
• [雑誌論文] Implementing Fusion-Equipped Parallel Skeletons by Expression Templates (2010)
  • 著者名/発表者名: Kiminori Matsuzaki, Kento Emoto
  • 雑誌名: Implementation and Application of Functional Languages, 21st International Workshop, IFL 2009, Revised Selected Papers 巻: LNCS 6041 ページ: 72-89
  • 査読あり
• [学会発表] boost::proto を用いた融合変換機能付きライブラリの構築 (2013)
  • 著者名/発表者名: 松崎公紀, 江本健斗
  • 学会等名: 情報処理学会第93回プログラミング研究会
  • 発表場所: 国立情報学研究所 (東京)
  • 年月日: 2013-02-28
• [学会発表] boost::protoを用いた融合変換機能付きライブラリの構築 (2013)
  • 著者名/発表者名: 松崎 公紀，江本 健斗
  • 学会等名: 情報処理学会第93回プログラミング研究会
  • 発表場所: 国立情報学研究所，東京
• [学会発表] m-bridge による分割を適用した木構造処理のHadoop上での評価 (2012)
  • 著者名/発表者名: 川村高之, 松崎公紀
  • 学会等名: 日本ソフトウェア科学会第29回大会
  • 発表場所: 法政大学小金井キャンパス(東京)
  • 年月日: 2012-08-22
• [学会発表] m-bridgeによる分割を適用した木構造処理のHadoop上での評価 (2012)
  • 著者名/発表者名: 川村 高之，松崎 公紀
  • 学会等名: 日本ソフトウェア科学会第29回大会
  • 発表場所: 法政大学小金井キャンパス，東京
• [学会発表] スケルトン並列プログラミングからのソフトウェア自動チューニングへの期待 -並列スケルトンを用いたBiCGStab 法アプリケーション実装のケーススタディを通じて- (2011)
  • 著者名/発表者名: 松崎公紀
  • 学会等名: 第3回自動チューニング技術の現状と応用に関するシンポジウム
  • 発表場所: 東京大学 (東京)
  • 年月日: 2011-12-05
• [学会発表] スケルトン並列プログラミングからのソフトウェア自動チューニングへの期待---並列スケルトンを用いたBiCGStab法アプリケーション実装のケーススタディを通じて--- (2011)
  • 著者名/発表者名: 松崎公紀
  • 学会等名: 第3回自動チューニング技術の現状と応用に関するシンポジウム
  • 発表場所: 東京大学,東京(招待講演)
  • 年月日: 2011-12-05
• [学会発表] Balanced Trees Inhabiting in Functional Parallel Programming (2011)
  • 著者名/発表者名: A. Morihata and K. Matsuzaki
  • 学会等名: 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11)
  • 発表場所: 国立情報学研究所 (東京)
  • 年月日: 2011-09-19
• [学会発表] Balanced Trees Inhabiting in Functional Parallel Programming (2011)
  • 著者名/発表者名: Akimasa Morihata, Kiminori Matsuzaki
  • 学会等名: 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11)
  • 発表場所: NII,東京
  • 年月日: 2011-09-19
• [学会発表] Towards Systematic Parallel Programming over MapReduce (2011)
  • 著者名/発表者名: Y. Liu, Z. Hu and K. Matsuzaki
  • 学会等名: 17th International European Conference on Parallel and Distributed Computing(EuroPar 2011)
  • 発表場所: Bordeaux (フランス)
  • 年月日: 2011-09-01
• [学会発表] Towards Systematic Parallel Programming over MapReduce (2011)
  • 著者名/発表者名: Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki
  • 学会等名: 17th International European Conference on Parallel and Distributed Computing (EuroPar 2011)
  • 発表場所: ボルドー,フランス
  • 年月日: 2011-09-01
• [学会発表] Systematic Development of Correct Bulk Synchronous Parallel Programs (2010)
  • 著者名/発表者名: L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, and J. Tesson
  • 学会等名: 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCaT 2010)
  • 発表場所: Wuhan (中国)
  • 年月日: 2010-12-10
• [学会発表] Systematic Development of Correct Bulk Synchronous Parallel Programs (2010)
  • 著者名/発表者名: Louis Gesbert, Zhenjiang Hu, Frederic Loulergue, Kiminori Matsuzaki, Julien Tesson
  • 学会等名: 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCaT 2010)
  • 発表場所: Wuhan(中国)
  • 年月日: 2010-12-10
• [学会発表] Lessons from Implementing the BiCGStab Method with SkeTo Library (2010)
  • 著者名/発表者名: K. Matsuzaki and K. Emoto
  • 学会等名: 4th International Workshop on High-level Parallel Programming and Applications
  • 発表場所: Baltimore (MD, 米国)
  • 年月日: 2010-09-25
• [学会発表] Lessons from Implementing the BiCGStab Method with SkeTo Library (2010)
  • 著者名/発表者名: Kiminori Matsuzaki, Kento Emoto
  • 学会等名: 4th International Workshop on High-level Parallel Programming and Applications
  • 発表場所: Baltimore(MD,アメリカ)
  • 年月日: 2010-09-25
• [学会発表] Generators-of-generators Library with Optimization Capabilities in Fortress (2010)
  • 著者名/発表者名: K. Emoto, Z. Hu, K. Kakehi, K. Matsuzaki, and M. Takeichi
  • 学会等名: 16th International European Conference on Parallel and Distributed Computing (EuroPar 2011)
  • 発表場所: Ischia (イタリア)
  • 年月日: 2010-09-01
• [学会発表] Generators-of-generators Library with Optimization Capabilities in Fortress (2010)
  • 著者名/発表者名: Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
  • 学会等名: EuroPar 2010 (International Conference)
  • 発表場所: Ischia(イタリア)
  • 年月日: 2010-09-01
• [備考] 松崎 公紀 (研究代表者) ホームページ
  • URL: http://www.info.kochi-tech.ac.jp/kmatsu/index.html
• [備考] 助っ人プロジェクトホームページ
  • URL: http://sketo.ipl-lab.org/
• [備考]
  • URL: http://www.ipl.t.u-tokyo.ac.jp/sketo/