Recovery logging in the presence of snapshot files by ordering of buffer pool flushing

摘要

In a transaction processing system, snapshot records are stored in volatile memory along with volatile state memory records, and modifications to the volatile state memory records by the transactions are logged to an after-image log in non-volatile memory for recovery of the volatile state memory records. For recovery of the snapshot records in volatile memory, when any one of the records of volatile state memory are to be written from volatile memory to non-volatile state memory, the volatile snapshots records of the volatile state memory record are first written from volatile snapshot memory to non-volatile snapshot memory. This ordering of buffer pool flushing permits recovery of the volatile snapshot records from non-volatile state memory or from modifications in the after-image log. Moreover, recovery can be performed without writing modifications to the volatile snapshot records in an after-image log or flushing the snapshot records using an atomic operation.