為了保證系統中所有數據都是符合一致性（Consistency），欲達成該目標，需要三方來保障：

• 原子性（Atomic）：保證多個操作結果只有兩種情況，都生效或都不生效
• 隔離性（Isolation）
• 持久性（Durability）：一旦事務生效，就不會再因為任何原因而導致其修改的內容被撤銷或遺失

作者認為，A、I、D 是手段，C 是目的。

以下會根據不同服務數量與不同資源數量的場景，介紹對應的事務處理手段：

本地事務（Local Transaction）/局部事務

• 適用於單一服務使用單一資料來源的場景
• 直接依賴資料來源本身提供的事務能力來運作
• ARIES 理論（Algorithms for Recovery and Isolation Exploiting Semantics）為現代資料庫的基礎理論

實現原子性和持久性

• 寫入中間狀態與崩潰都是無法避免的，為了確保原子性和持久性，只能在崩潰後採取補救措施。為了崩潰恢復，主流一般採取“提交日誌 Commit Logging”來實作。

  還有另一種稱為“Shadow Paging”的事務實作機制，實作相對簡單，但迸發能力相對有限

• 但「對所有資料的修改都必須發生在交易提交之後」為其缺陷，對此有了“Write-Ahead Logging”的改進方案，所謂提前寫入“Write-Ahead”就是允許在交易提交前寫入變動資料。

FORCE v.s. STEAL

何時寫入變動數據會依照事務提交時點為界，分為 FORCE 和 STEAL 兩種情況：

• FORCE：當交易提交後，要求變動資料必須同時完成寫入
  • NO-FORCE：不強制變動資料必須同時完成寫入
• STEAL：在交易提交前，允許變動資料提前寫入
  • NO-STEAL：不允許變動資料提前寫入

資料庫按照是否允許 FORCE 和 STEAL 可以產生四種組合，NO-FORCE 加STEAL 組合的性能最高，複雜度也是最高：