分佈式系統的正確性驗證方法

分佈式系統的正確性驗證方法 1.  Jepsen框架      Jepsen是一個開源的分佈式一致性驗證框架，可用於驗證分佈式數據庫、分佈式消息隊列、分佈式協調系統。Jepsen探索特定故障模式下分佈式系統是否滿足一致性。Jepsen框架是一個Clojure程序庫，Clojure是一門運行在JVM上的解釋型的類Lisp語言。Jepsen測試程序是一個Clojure程序，它使用Jepsen框架來構建

>>阅读原文<<