Top > Search Research paper > (In Japanese)積木手法による並列プログラムの構築

(In Japanese)積木手法による並列プログラムの構築

Research report code R070000222
File No. R070000222
Posted date Apr 11, 2008
  • (In Japanese)胡 振江
Report name (In Japanese)積木手法による並列プログラムの構築
Technology summary (In Japanese)近年、PCハードウェアの高性能化と低価格化が進み、PCクラスタによる大規模並列計算が身近なものとなった。一方、そのソフトウェアとしての並列プログラムは、プロセッサ間通信・同期・資源の分配など考慮すべき点が多く、効率的なプログラムの作成は難しい。本研究では、少数の並列計算パターンを基本ブロックとしこれらを積木のように組み立て、効率的な並列プログラムを構築するための理論枠組を与えた。また、このような積木手法による並列プログラミングを支援する環境を実現し、その有効性を確認した。

※Click image to enlarge.

Research field
  • Theory of computation
  • System programmings in general
Published papers related (In Japanese)(1) Hideya Iwasaki, Zhenjiang Hu, A New Parallel Skeleton for General Accumulative Computations, International Journal of Parallel Programming, 32(5): 389-414, October 2004.
(2) Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns, Information Processing Letters, Vol.89, No.6, Elsevier, 2004. pp.309-314.
(3) 横山哲郎,胡振江,武市正人,決定論的2階パターンとプログラム変換への応用,コンピュータソフトウエア,21(5): 71-76, 2004.
(4) Dana Na Xu, Siau-Cheng Khoo, Zhenjiang Hu, PType System: A Featherweight Parallelizability Detector, Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.197-212.
(5) Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi, A Fusion-Embedded Skeleton Library, International Conference on Parallel and Distributed Computing (EuroPar 2004), Pisa, Italy, 31st August - 3rd September, 2004. LNCS 3149, Spinger Verlag, pp.644-653.
(6) Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, Systematic Derivation of Tree Contraction Algorithms, 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), Stirling, Scotland, UK, 14 July, 2004. pp.109-124.
(7) Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, List Homomorphism with Accumulation, 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lubeck, Germany. October 16-18, 2003. pp.250-259.
(8) Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Iterative-free Program Analysis, 8th ACM SIGPLAN International Conference on Functional Programming, (ICFP 2003), Uppsala, Sweden: 25-29 August 2003. ACM Press. pp.111-123.
(9) Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns and Its Application to Program Transformation, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. pp.165-178. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp.128-142
(10) Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Parallelization with Tree Skeletons, International Conference on Parallel and Distributed Computing (Euro-Par 2003), Klagenfurt, Austria, 26th - 29th August 2003. Lecture Notes in Computer Science 2790, Springer Verlag. pp.789-798. An extended version appears as Technical Report METR 2003-21, Department of Mathematlcal Informatics, University of Tokyo, 2003.
(11) Zhenjiang Hu, Tomonari Takahashi, Hideya Iwasaki, Masato Takeichi, Segmented Diffusion Theorem (invited paper), 2002 IEEE International Conference on Systems, Man and Cybernetics (SMC 02), Hammamet, Tunisia, October 6-9, 2002. IEEE Press.
(12) Wei-Ngan Chin, Zhenjiang Hu, Towards a Modular Program Derivation via Fusion and Tupling, The First ACM SIGPLAN Conference on Generators and Components (GCSE/SAIG 2002), Pittsburgh, PA, USA, October 6-8, 2002. Affiliated with (PLI 2002). Lecture Notes in Computer Science 2487, Springer Verlag. pp.140-155.
(13) Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, An Accumulative Parallel Skeleton for All, 11th European Symposium on Programming (ESOP 2002), Grenoble, France, April 8-10, 2002. Lecture Notes in Computer Science 2305, Springer Verlag. pp.83-97.
(14) 横山哲郎,篠埜功,胡振江,武市正人,変換戦略の記述に基づくプログラムの自動生成システムの実装,情報処理学会論文誌,Vol.43,No.SIG3 (PRO 14), pp.62-77, March 2002.
Research project
  • Precursory Research for Embryonic Science and Technology.;Information and Systems
Information research report
  • (In Japanese)胡 振江. 積木手法による並列プログラムの構築. 個人型研究(さきがけタイプ)情報・知能分野 研究報告会 先進情報システムとその構成に向けて 「機能と構成」領域 講演要旨集 第Ⅱ期研究者(研究期間2001-2004), 2004. p.53 - 60.