1 0 0 0 エクサ時代の非同期タスクを応用した高性能高次元数値線形代数の研究
エクサ時代のメニイコア環境下において、システム実行効率を向上するための数値計算アルゴリズムならびにタスク技術周辺を数値線形計算の視点から研究する。将来にわたって持続可能な高性能な数値計算ソフトウェアのための開発フレームワーク実現に注力し、数値線形代数カーネル構築の経験から発想される新たなタスクスケジューリング技術(非同期・条件付き・競争的スケジューリング)を研究する。同技術要件をスケジューラプロトタイプとして試作し、既存数値線形代数ソフトウェアに取り込み高性能化・高並列化を実現する。更にエクサ時代のターゲットなる高次元データ解析向け数値計算ソフトウェアに対しても適用範囲を広げていく。
1 0 0 0 OA O(1億)コア環境におけるスケーラブルな数値計算ソフトウェアの理論と応用
本研究は、数万から数億のコアプロセッサが搭載される計算システム環境下において、過去に蓄積された高性能な数値計算サービスを新しい数学原理に基づき実現することを目的にし、「異粒度数値カーネル構築」と共に「非同期的な数値計算アルゴリズム」の2大テーマのもと、1)非同期的数値計算アルゴリズムに関する理論と実用レベルにある省通信・省同期アルゴリズムについて研究しCAHTRやFDTD向けの手法を提案した。更に、2)超メニイコアでのスケーラブルな軽量コード生成のための自動チューニングなどの核基盤技術研究を推進し次世代数値計算ソフトウェアの新技術創出に繋がる新機軸探究を進めた。