動的計画法による最適チェックポイント間隔に関する考察

摘要

ビリティを向上させるソフトウェアフォールトトレラダ目上夕こ昔肯ソフトウェアシステムのデインス技術にチェックボインテ理したデータあるいは処理中ことである.これらを配置すイのると呼ばれる手法がある．チェックポイントとは，処を主記憶から安定な二次記憶媒体に保存する時期のよりシステム障害が発生した場合　直前のチェックポイントまで後ろ向き回復（ロールバックリカバリ）を行い，そこから処理を再開することが可能となる．これにより，システム障害による再処理の無駄を軽減することができる．さらに，処理過程のログファイルを生成しておくことにより，チェックポイントから障害発生時までの処理を復元することが可能になる（ロールフォワード）．しかしながら，チェックポイントの生成には若干のコスト（処理時間や処理負荷など）が発生する．つまり，過剰なチェックポイントの生成を行うと，障害が発生した場合における再実行に要するコストは少なくて済むが，チェックポイントを生成するためのコスト（チェックポイントオ一バ」ヘッド）が増大してしまうい逆にCP配置が味な場合は，障害時のロールバックリカバリおよび処理の再実行に要するコストが増大することになる．従って，それらのトレードオフを考慮した上で，ある評価規範にしたがって最適なチェックポイント生成時開聞隔（CP系列）を求めることは重要な問題となる．