協調性と耐障害性に優れた並列実行順序計画法

並列分散環境において、一つの計算を複数の実行主体が協力して並列実行するには、各主体の担当範囲を決めることが多い。不規則計算等の場合は、分割統治的に与えられる階層的計算に関してワークスティールに基づく実行時割り当ても行われている。このような「計算を分担」という「常識」とは正反対の革新的パラダイムとして「冗長計算を階層的に省略」という並列実行手法を提唱している。どの主体も全範囲を異なる順序で担当しつつ、実行時に他から結果を得た部分の計算は省略し、全体として障害耐性も並列効率も高める。また、事前の並列実行順序計画から各主体が局所的に情報交換の内容や相手を判断する手法を考案している。各主体の視点からの階層的な状況を、限られた情報から制約方程式を解くように「逆算」する。当該年度も各主体（ワーカ）の計画法の改善を中心とした。行列表現などの数学的準備を整理し、当初 Pワーカ (2^{k－1} < P ≦ 2^k) の計画では、ハミング符号の全ビット（2^k －1 ビット）の一部（4k－1 ビット）を用いていたのに対して、任意の階層で順序バランスを改善するためにはさらに短いビット長（周期的な計画の長さ）のほうがよい可能性を検討していたが、行列表現の計画を与えて実験できるようなプログラムを開発して、実験したところ、当初の長めのビット長のほうが性能が良いことが多いという結果が得られた。また、冗長計算を階層的に省略するための結果のやり取りを、後で必要と判断されるまで遅延するための機構について、C言語への変換に基づくものやC++プログラミングに基づくものについて検討した。

並列分散環境において、一つの計算を複数の実行主体が協力して並列実行するには、各主体の担当範囲を決めることが多い。不規則計算等の場合は、分割統治的に与えられる階層的計算に関してワークスティールに基づく実行時割り当ても行われている。このような「計算を分担」という「常識」とは正反対の革新的パラダイムとして「冗長計算を階層的に省略」という並列実行手法を提唱している。どの主体も全範囲を異なる順序で担当しつつ、実行時に他から結果を得た部分の計算は省略し、全体として障害耐性も並列効率も高める。また、事前の並列実行順序計画から各主体が局所的に情報交換の内容や相手を判断する手法を考案している。各主体の視点からの階層的な状況を、限られた情報から制約方程式を解くように「逆算」する。当該年度も各主体（ワーカ）の計画法の改善を中心とした。行列表現などの数学的準備を整理し、当初 Pワーカ (2^{k－1} < P ≦ 2^k) の計画では、ハミング符号の全ビット（2^k －1 ビット）の一部（4k－1 ビット）を用いていたのに対して、任意の階層で順序バランスを改善するためにはさらに短いビット長（周期的な計画の長さ）のほうがよい可能性を検討していたが、行列表現の計画を与えて実験できるようなプログラムを開発して、実験したところ、当初の長めのビット長のほうが性能が良いことが多いという結果が得られた。また、冗長計算を階層的に省略するための結果のやり取りを、後で必要と判断されるまで遅延するための機構について、C言語への変換に基づくものやC++プログラミングに基づくものについて検討した。