Recovery

Steal：允许未提交的事务写到磁盘上

Force：在事务提交之前该事务所有更新必须被写到磁盘上

No-Steal+Force

性能差，需要等待修改被写到磁盘上才能顺利commit

不需要undo，因为aborted事务不会被写到磁盘上

不需要redo，因为只有成功写入才能提交

Shadow Paging

将数据保存两份：master和shadow，事务在shadow上作修改，commit之后，shadow成为master

No-Steal+Force

Undo直接将root指向master，删掉shadow

不需要redo

Log-Based Recovery

Write-Ahead Logging (WAL)

DBMS must write to disk the log file records that correspond to changes made to a database object before it can flush that object to disk

Buffer Pool Policy: STEAL + NO-FORCE

<Ti  start>
<Ti, X,  V1,  V2>
Ti：Transaction ID
X: Data object ID or Data object address
V1: value of X  before the write (old value)
V2: value of X  after the write (new value)
<Ti  commit> / <Ti  abort> 
<Ti  End>

Group Commit

WAL Buffer写满了会直接刷盘

此情况下T2需要确认T1的commit被刷盘才能commit

Physical and Logical

Physical：记录物理地址信息，更新了哪个页，页内偏移是多少，值等

Logical：记录做了什么逻辑操作，例如update

Physiological：记录更新哪个页面，但记录slot而不是偏移

Checkpoints

检查点之前所有的日志都被刷盘，所有被修改的数据块都被写入磁盘

对检查点之后commit的事务redo，对检查点之后没有commit的事务做undo。在检查点之前就完成的事务不做任何处理

Redo

Undo

undo 忽略<Ti,Xj,V2>