"《分布式高可用算法》是市面上少有的繫統性闡述分布式繫統底層架構原理的著作。長期以來，在996的工作壓力下，工程師們更重視實踐中的技巧，力求快速解決眼前的問題，而鮮有時間關注問題背後的底層原理。表面看來，這種做法提高了工作效率，但實際上，這樣容易形成“頭疼醫頭，腳疼醫腳”的思維和工作方式，難以工程中的問題，也難以形成長效的機制，無法透徹地剖析繫統工程，從而埋下了眾多隱患。本書作者洞悉了這一本質難題。《分布式高可用算法》結合作者在本領域十餘年的豐富實踐，不僅剖析了經典算法背後的邏輯，而且深等

●1初識分布式1
1.1什麼是分布式繫統1
1.2分布式算法的意義3
1.3“兩將軍”問題3
1.4設計分布式算法的主要挑戰8
1.4.1並發執行8
1.4.2進程失敗9
1.4.3鏈路失敗10

2算法模型12
2.1I/O自動機12
2.1.1基本模型13
2.1.2組合模型15
2.1.3隱藏操作16
2.1.4與業務邏輯的關繫18
2.1.5小結19
2.2編程模型20
2.2.1調用關繫21
2.2.2事件和事件處理器23
2.2.3抽像和實現25

3繫統模型30
3.1進程30
3.2消息31
3.3進程啟動32
3.4進程失敗33
3.4.1崩潰式失敗33
3.4.2遺漏式失敗34
3.4.3恢復後崩潰失敗35
3.4.4拜占庭失敗36
3.4.5各種失敗的關繫37
3.5時鐘37
3.5.1本地時鐘和全局時鐘37
3.5.2因果順序不變38
3.5.3邏輯時鐘41
3.5.4時鐘偏移42
3.6時間假設43
3.6.1異步繫統44
3.6.2同步繫統45
3.6.3部分同步繫統46
3.7安全性和活性47
3.8組合模型48
3.9多數派50
3.10性能度量51

4鏈路52
4.1公平丟包鏈路53
4.1.1定義53
4.1.2消息繫統54
4.2頑固鏈路57
4.2.1定義57
4.2.2靜音型失敗算法57
4.3可靠鏈路60
4.3.1定義61
4.3.2靜音型失敗算法61
4.4優選先出可靠鏈路63
4.4.1定義63
4.4.2靜音型失敗算法63
4.5日志可靠鏈路65
4.5.1定義65
4.5.2恢復型失敗算法66
4.6其他說明69

5失敗檢測和選主70
5.1失敗檢測70
5.2完美失敗檢測71
5.2.1定義71
5.2.2停止型失敗算法71
5.3最終完美失敗檢測73
5.3.1定義73
5.3.2噪音型失敗算法74
5.4選主76
5.4.1定義76
5.4.2停止型失敗算法77
……

本書從原理出發，繫統性地介紹了分布式繫統和算法，而非介紹如何使用某種分布式框架。本書首先介紹了分布式繫統是如何被建模的，以及分布式算法是如何被描述的，然後從基礎的鏈路抽像開始逐步增加復雜度，最終將復雜的共識抽像以簡單的方式呈現在讀者面前。通過閱讀本書，讀者不僅可以掌握常用的分布式算法，還可以學到分布式算法的證明方法及適用條件，為自行設計分布式繫統和算法打下堅實的基礎。
本書適合分布式領域的初學者及相關從業者閱讀參考。

江峰 著