公司企业网站建设的建站流程解析,京东网站开发需求,做网站的流程方法,住房城乡建设部网站CURP协议
传统单数据中心解决方案无法满足跨数据中心的场景对性能和一致性的需求。DatenLord推出开源的分布式KV存储Xline#xff0c;针对多数据中心场景#xff0c;实现数据的高性能跨云、跨数据中心共享访问#xff0c;并且保证数据的一致性#xff0c;方便业务系统实现…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
