| 摘要 |
<p>ジャーナル出力装置１００は、処理が進行している処理定義の処理定義ＩＤが記述される、アプリケーション３００での処理の進行状況を示すジャーナルを生成し、生成したジャーナル６００をジャーナルファイル４００（５００）に書込む。ジャーナル出力装置１００は、処理定義ＩＤが共通するジャーナルの間で書出先ジャーナルファイルが変更になる場合に、ジャーナルに書出先変更通知を記述する。復旧装置２００は、書出先変更通知が記述されているジャーナルの処理定義ＩＤを書出先変更発生ＩＤとして他の処理定義ＩＤから区別し、共通する書出先変更発生ＩＤの２つ以上のジャーナル列を連結して順序保証する。復旧装置２００は、書出先変更発生ＩＤの場合は、順序保証後のジャーナル列を解析し、その他の処理定義ＩＤの場合は、順序保証なしにジャーナル列を解析する。</p> |
