| 摘要 |
A journal output device generates a journal describing a processing definition ID of a processing definition for which a processing is in progress and indicating a progress status of the processing in an application, and writes a journal generated, in a journal file. When a write destination journal file is to be changed among journals having a common processing definition ID, the journal output device describes a write destination change notice in a journal. A recovery device separates the processing definition ID of the journal describing the write destination change notice, from another processing definition ID as a write destination change notice, and concatenates two or more journal arrays having a common write destination change incidence ID, to guarantee the sequential order. In case of the write destination change incidence ID, the recovery device analyzes a journal array which has been sequential-order-guaranteed. Regarding other processing definition IDs, the recovery device analyzes the journal array without sequential order guarantee.
|
