## 引言 > 不敢說全部，大多數系統原子級的操作，在微觀層面都是分布式的。 比如： 1. Mysql中的事務原子性的實現原理； 2. Java內存數據一致性原理。 其實現，從微觀層面來講都需要有更細粒度的組件來保證。 ## Mysql redo log和binlog區別 | | redo log | binlog| | --- | --- | --| | 引擎 | Innodb引擎特有的，用于保證crash-safe能力 |是Mysql的server層實現的，所有引擎都可以使用| | 功能| redo log是物理日志，記錄的是在某個數據頁上做了什么修改|binlog是邏輯日志，記錄的是這個語句的原始邏輯，比如值+1| |特性| redo log是循環寫的，空間固定會用完 | binlog是可以追加寫入的| Mysql中保證數據的一致性，有兩個重要的日志：物理日志redo log和邏輯日志binlog。 redo log用于保證crash-safe能力。 `Innodb_flush_log_at_trx_commit`這個參數設置成1，表示每次失誤的redo log都直接持久化到磁盤，可以保證Mysql異常重啟后數據不丟失。 sync_binlog這個參數設置成1的時候，表示每次失誤的binlog都持久化到磁盤，這樣可以保證Mysql異常重啟后binlog不丟失。  ## 兩階段提交 兩階段提交是跨系統維持數據邏輯一致性時常用的一個方案。 比如： - Mysql通過redo log、binlog實現數據一致性。 - 分布式事務2PC，兩階段提交，將事務的提交過程分為資源準備和資源提交兩個階段，并且由事務協調者來協調所有事務參與者，如果準備階段所有事務參與者都預留資源成功，則進行第二階段的資源提交，否則事務協調者回滾資源。