プログラミング環境研究チーム

計算科学研究機構で運用されるスーパーコンピュータ「京」は、数十万のプロセッサ（1つのコンピュータの単位）が結合された大規模計算システムです。このような大規模な並列システムを使いこなして計算科学の研究を行うためには、それぞれのプロセッサを協調させて計算を行うためのプログラミングが必要となります。プログラミング環境研究チームでは、このような多数のプロセッサからなる大規模並列システムのためのプログラミングの方法やプログラミング言語と、性能をチューニングするためのツールの研究を行います。プログラミングのモデルおよび言語はシステムとプログラマをつなぐ要であり、「京」の数十万を超える並列性を使いこなすための現実的な言語およびツールを研究開発し、高並列なアプリケーションプログラムの生産性の向上に寄与するとともに、これからのエクサスケールに向かう高性能計算システム実現の基礎となるモデル・言語の研究を推進します。

研究テーマ

• 並列プログラミング言語
• 並列性能チューニングツール
• 並列プログラム性能解析
• 並列プログラミング環境

主要論文

1. T. Abe, T. Maeda, and M. Sato:
   "Model checking with user-definable abstraction for partitioned global address space languages"
   Proceedings of the 6th Conference on Partitioned Global Address Space Programming Models (PGAS), Online. Santa Barbara, October 2012
2. T. Abe and M. Sato:
   "On-the-fly synchronization checking for interactive programming in XcalableMP."
   Proceedings of the 5th International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2), pages 29--37. Pittsburgh, September 2012
3. T. Abe and M. Sato:
   "Auto-tuning of numerical programs by block multi-color ordering code generation and job-level parallel execution"
   Proceedings of the 7th International Workshop on Automatic Performance Tuning (iWAPT). Kobe, July 2012
4. 中村朋健 , 佐藤三久:
   "京速コンピュータ「京」における性能分析ツールScalascaを用いた性能分析"
   情報処理学会　研究報告ハイパフォーマンスコンピューティング（HPC）,2012-HPC-135(45),1-7 (2012-07-25)
5. 村井均 , 下坂健則 , 大野善之 , 宮本佳明 , 八代尚 , 富田浩文 , 佐藤三久:
   "京速コンピュータ「京」における並列プログラミング言語XcalableMPの評価"
   情報処理学会研究報告ハイパフォーマンスコンピューティング（HPC）,2012-HPC-135(44),1-6 (2012-07-25)
6. 村井均 , 南一生 , 横川三津夫 , 梅田宏明 , 佐藤三久 , 辻美和子 , 稲富雄一 , 青柳睦 , 中島真:
   "スーパーコンピュータ「京」におけるマスタ・ワーカ型プログラミングモデルの検討"
   情報処理学会　研究報告ハイパフォーマンスコンピューティング（HPC）,2013-HPC-138(26),1-6 (2013-02-14)
7. Swann Perarnau and Mitsuhisa Sato:
   "Discovering Cache Partitioning Optimizations for the K Computer"
   Proceedings of 2nd Asia-Pacific Programming Languages and Compilers Workshop
8. Masahiro Nakao, Hitoshi Murai Takenori Shimosaka Mitsuhisa Sato:
   "XcalableMP for Productivity and Performance"
   2012 HPC Challenge Award Competition Class 2, Salt Lake City, Utah, USA, Nov., 2012