Database Recovery

ARIES

Log Sequence Numbers

MasterRecord 被硬编码到 DBMS，所以我们恢复时这个页面会先被拉到内存中

仅仅当 pageLSN <= flushLSN，才能将 log 刷入磁盘
所有的记录都有一个 LSN
每次一个事务修改一个页上的 record，pageLSN 会改变
每次 DBMS 将 WAL buffer 中的东西写入磁盘，flushedLSN 会更新

Normal Execution

Transaction Commit

我们只需要保证在刷新 flushLSN 之前先将日志记录刷新到磁盘即可
TXN-END 写入后说明 commit 已经成功，所以 wal 可以清除没有用的 Log

Transaction Abort

prevLSN 维护一个链表允许我们追踪 abort 事务的记录链表

我们在 abort 和 end 之间可能存在其他日志，我们需要维护这些日志；我们不会在 abort 时立即将这些记录刷写到磁盘

Compensation Log records

是对 update 的撤销操作
undoNextLSN 是一个效率优化，而不是一个核心优化

Abort Algorithm

Checkpoints

Non-Fuzzy Checkpoints

  1. 任何新事务开始都会被停止
  2. 所有活跃的事务等待直到 checkpoint 执行完成
  3. 将所有的脏页刷新到磁盘

Slightly better Checkpoints

暂停事务，然后将部分提交的数据写入磁盘；
缩短了等待时间，但是磁盘上存储的并非是稳定快照

Active Transaction Table(ATT)

Dirty Page Table(DPT)

ATT 和 DPT 必须刷进磁盘后再恢复事务执行

Fuzzy Checkpoints

复制了 ATT 和 DPT 的副本在内存中

任何在之后开始的事务会被的 ATT 排除

ARIES - Recovery Algorithm

Overview

Analysis Phase

analysis 的过程仅仅是确定 ATT 和 DPT


Redo Phase


Undo Phase

Additional Crash Issues