CURP協議

傳統單數據中心解決方案無法滿足跨數據中心的場景對性能和一致性的需求。DatenLord推出開源的分布式KV存儲Xline，針對多數據中心場景，實現數據的高性能跨云、跨數據中心共享訪問，并且保證數據的一致性，方便業務系統實現多地多中心多活部署。

Xline 中所使用的共識協議，即非 Paxos ，也非 Raft，而是一種新的名為 Curp 的共識協議，其全稱為 “Consistent Unordered Replication Protocol”。CURP 協議發表于2019年，其協議主要論述的是主從備份的場景，共識場景僅僅在附錄中有簡單表述，缺乏嚴肅驗證。

然而，共識算法的正確性是至關重要的，在生產場景中尤為如此，因此我們嘗試使用 TLA+ 工具進行嚴肅的驗證，以此獲得 CURP 共識協議的正確性保證。

本次直播分享，達坦科技聯合思否，邀請達坦科技的聯合創始人兼CTO施繼成做一個關于CURP協議的工業化實踐的直播，分享將論述 CURP 協議的正確性，同時以 KV 存儲軟件 Xline 為例子講述如何在工業產品中使用該共識算法。

如果您感興趣，登陸騰訊會議觀看直播：
會議號：474-6575-9473

往期推薦

從數學角度思考程序與驗證正確性

Xline 源碼解讀（一） —— 初識 CURP 協議

Curp 共識協議的重新思考

Xline是一個用于元數據管理的分布式KV存儲。Xline項目以Rust語言寫就，歡迎大家參與我們的開源項目！

GitHub鏈接：

https://github.com/xline-kv/Xline

Xline官網：www.xline.cloud

Xline Discord:?

https://discord.gg/XyFXGpSfvb