有限なロールバック間隔に対するハイブリッド状態保存手法の最適チェックポイント間隔

摘要

本稿では，限られた計算資源を用いて動作する実際的なアプリケーションにおける，非連携チェックポインティングの総期待オーバヘッドについて議論する．具体的には，各プロセスが保持できるチェックポイント数に制限があり，ロールバック間隔に上限がある場合の，ハイブリッド状態保存手法の総期待オーバヘッドを評価する離散時間確率モデルを構築し，これを最小化する最適チェックポイント間隔を導出する．本稿の評価モデルは，ロールバック間隔を確率変数とし，その分布に片側の切れた幾何分布を仮定する．最適チェッケポイント間隔を陽に導出するのは難しいが，より単純な確率分布を用いて，最適チェックポイント間隔が近似的に与えられる．シミュレーションによる数値例から，この近似が良好であることや，本稿の評価モデルが従来の確率モデルに比べてより適切なチェックポイント間隔考与えることが示される．