DatenLord X Segmentfault直播预告 l CURP协议的工业化实践

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++

相关推荐
狂奔solar4 天前
Segmentation fault 问题解决
segmentfault
Lijunyan12981 个月前
Python、C++、java阶乘算法
python·其他·音视频·twitter·segmentfault
Funny_AI_LAB3 个月前
BiRefNet:高分辨率图像分割的利器
人工智能·计算机视觉·阿里云·大模型·segmentfault
007php0075 个月前
PHP调用阿里云OSS的SDK封装成服务的完整指南与问题解决
java·开发语言·经验分享·笔记·git·功能测试·gpt·其他·nginx·百度·阿里云·docker·微信·chatgpt·架构·golang·系统架构·单元测试·appium·云计算·json·github·aigc·php·企业微信·文心一言·sass·课程设计·ai编程·laravel·微信公众平台·phpstorm·可用性测试·facebook·oneapi·twitter·composer·paddle·新浪微博·segmentfault·微信开放平台
007php0075 个月前
如何生成自定义二维码和实现安全便捷的扫码登录功能以及对接企业微信API
java·开发语言·经验分享·redis·笔记·git·功能测试·jmeter·其他·nginx·安全·百度·ajax·ci/cd·docker·微信·架构·golang·系统架构·单元测试·centos·github·jenkins·php·erlang·企业微信·postman·sass·课程设计·微信公众平台·safari·facebook·oneapi·twitter·composer·jira·paddle·新浪微博·lvs·segmentfault·微信开放平台
007php0075 个月前
在PHP项目中使用阿里云消息队列MQ集成RabbitMQ的完整指南与问题解决
java·运维·开发语言·经验分享·redis·笔记·后端·功能测试·selenium·测试工具·jmeter·其他·nginx·百度·阿里云·docker·微信·容器·架构·golang·系统架构·centos·rabbitmq·github·jenkins·php·erlang·postman·课程设计·laravel·微信公众平台·phpstorm·可用性测试·facebook·twitter·composer·安全性测试·paddle·新浪微博·segmentfault·微信开放平台
007php0075 个月前
docker安装消息队列mq中的rabbit服务
java·大数据·运维·经验分享·笔记·git·python·selenium·其他·nginx·mongodb·百度·docker·单例模式·微信·容器·架构·golang·系统架构·centos·github·php·apache·负载均衡·压力测试·postman·课程设计·微信公众平台·phpstorm·可用性测试·devops·facebook·oneapi·twitter·visual studio·composer·安全性测试·paddle·新浪微博·segmentfault·微信开放平台
007php0075 个月前
使用PHP对接企业微信审批接口的问题与解决办法(二)
java·大数据·开发语言·经验分享·redis·笔记·git·功能测试·jmeter·其他·nginx·百度·docker·微信·chatgpt·架构·golang·系统架构·centos·gitlab·github·aigc·测试用例·php·企业微信·postman·文心一言·sass·课程设计·制造·ai编程·微信公众平台·可用性测试·模块测试·oneapi·composer·paddle·新浪微博·segmentfault·微信开放平台
007php0075 个月前
高速公路智能管理系统:构建安全畅通的数字大动脉
java·大数据·经验分享·redis·笔记·git·功能测试·程序人生·nginx·安全·百度·docker·微信·chatgpt·架构·golang·系统架构·centos·appium·github·测试用例·php·负载均衡·postman·文心一言·课程设计·ai编程·微信公众平台·可用性测试·facebook·oneapi·composer·agi·新浪微博·segmentfault·微信开放平台
007php0075 个月前
探索智慧农业系统架构的设计与应用
java·运维·经验分享·笔记·git·gpt·selenium·其他·百度·docker·微信·chatgpt·ai作画·架构·golang·系统架构·centos·gitlab·rabbitmq·github·aigc·测试用例·php·集成测试·负载均衡·压力测试·postman·文心一言·课程设计·ai编程·微信公众平台·测试覆盖率·facebook·composer·agi·安全性测试·paddle·新浪微博·segmentfault·gitea·微信开放平台