1 背景 在分佈式系統應用中，高可用、一致性是經常面臨的問題，針對不同的應用場景，我們會選擇不同的架構方式，比如master-slave、基於ZooKeeper選主。隨着時間的推移，出現了基於Raft算法自動選主的方式，Raft是在Paxos的基礎上，做了一些簡化和限制，比如增加了日誌必須是連續的，只支持領導者、跟隨者和候選人三種狀態，在理解和算法實現上都相對容易許多。 1）DLedger 是op
raft
