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: