Improving Performance and Versatility of Backtracking-Based Load Balancing by a New Implementation Model

これまで入れ子関数を用いたコードを変換先とするコード変換器としてして提供してきた「一時後戻りによる動的負荷分散」機能を，コード変換によらない方法で実装することに成功した．具体的には，簡単なテストプログラムにおいて，一時的バックトラックに必要な情報を，プログラマが明示的にヒープ領域に確保したスタックに保存するようにすることで従来のTascellと同等の振舞いをする並列プログラムが実現できることを実験的に確かめた．書かれたコードは従来のTascellコードよりも多少複雑であるものの，性能面ではほぼ同等であることが確認できた．また，Tascellの入れ子関数によらない他の実現方式として，C++の機能を利用した実現方法の検討・実装・予備評価を学外の研究者との共同研究により実施した．加えて，Tascellの応用に関する研究として，階層型行列（密行列の近似圧縮表現）の生成処理のTascellによる実装および性能評価を行った．具体的には，従来は階層型行列の一部（区分け処理／フィル処理の段階により実現される生成処理のうち区分け処理のみ）までしかTascellでは実装されていなかったところ，フィル処理の実装も行うことで，生成処理全体のTascellによる実装を完成させた．九州大学のスーパーコンピュータITO上での性能評価により，動的負荷分散の効果により，従来の実装より優れた性能を実現できることが確認できた．この成果は査読つきの国際ワークショップで発表した．また，他の応用であるグラフマイニングに関する応用についても，そのアルゴリズムの改良に向けた研究の発表を国際会議のポスター発表として行った．

これまで入れ子関数を用いたコードを変換先とするコード変換器としてして提供してきた「一時後戻りによる動的負荷分散」機能を，コード変換によらない方法で実装することに成功した．具体的には，簡単なテストプログラムにおいて，一時的バックトラックに必要な情報を，プログラマが明示的にヒープ領域に確保したスタックに保存するようにすることで従来のTascellと同等の振舞いをする並列プログラムが実現できることを実験的に確かめた．書かれたコードは従来のTascellコードよりも多少複雑であるものの，性能面ではほぼ同等であることが確認できた．また，Tascellの入れ子関数によらない他の実現方式として，C++の機能を利用した実現方法の検討・実装・予備評価を学外の研究者との共同研究により実施した．加えて，Tascellの応用に関する研究として，階層型行列（密行列の近似圧縮表現）の生成処理のTascellによる実装および性能評価を行った．具体的には，従来は階層型行列の一部（区分け処理／フィル処理の段階により実現される生成処理のうち区分け処理のみ）までしかTascellでは実装されていなかったところ，フィル処理の実装も行うことで，生成処理全体のTascellによる実装を完成させた．九州大学のスーパーコンピュータITO上での性能評価により，動的負荷分散の効果により，従来の実装より優れた性能を実現できることが確認できた．この成果は査読つきの国際ワークショップで発表した．また，他の応用であるグラフマイニングに関する応用についても，そのアルゴリズムの改良に向けた研究の発表を国際会議のポスター発表として行った．