閱讀記錄----分佈式系統相關

Book

Distributed Algorithms

• 很詳細, 由淺入深, 全面地介紹了各類分佈式算法
• 很是推薦!

Communicating Sequential Process

共識:從理論到實踐

• raft做者的書, 關於分佈式共識算法

Pony Tutorial

• pony 語言, OO + actor model, 看起來頗有趣

Paper

✔️2007___分佈式系統介紹

• Google 對分佈式系統的介紹
• 講了分佈式系統中會出現的錯誤
• 講了網絡的層次
• 介紹了RPC

✔️1984___實現RPC

• 詳細說明了rpc的目的,原理和實現方式

✔️2004___MapReduce:大型集羣中的簡化數據處理

• Google著名論文
• MapReduce是一個很簡潔的模型

✔️1978___分佈式系統中的時間,時鐘和事件的順序

• 邏輯時鐘的目的, 原理以及數學證實
• 部分有序和徹底有序的概念

✔️1982___拜占庭將軍問題

• 提出了拜占庭將軍問題：即一個分佈式系統中能夠承受多少個「間諜」節點
• 解決拜占庭將軍問題的幾種方法

✔️1999___實用拜占庭容錯

• 結合了3PC協議
• timeout來觸發view-change
• 使用信息驗證碼(MAC)來加密

再看Viewstamped Replication

尋找一種可理解的共識算法

• raft 論文

支持高吞吐和可用性的鏈式複製

✔️分佈式快照: 肯定分佈式系統的全局狀態

• 分佈式系統的狀態包含每一個進程的狀態, 以及消息通道的狀態
• 能夠經過傳遞一個marker消息來記錄系統的狀態
• 在穩定的系統中, 任意的全局狀態都可由初始狀態到達, 並變化爲最終狀態.

分佈式狀態