公开课：免费学
SegmentFault 思否是国内领先的新一代开发者社区和技术媒体，也是中国最大的黑客马拉松组织者。目前已经覆盖和服务了上千万中国软件开发者和 IT 信息从业者。
Curp 协议发表于2019年，其协议主要论述的是主从备份的场景，共识场景仅仅在附录中有简单表述，缺乏严肃验证。共识算法的正确性是至关重要的，在生产场景中尤为如此，因此我们尝试使用 TLA+ 工具进行严肃的验证，以此获得 Curp 共识协议的正确性保证。本次演讲首先论述了 Curp协议的正确性，同时以 KV 存储软件 Xline 为例子讲述如何在工业产品中使用该共识算法。
Curp 协议发表于2019年，其协议主要论述的是主从备份的场景，共识场景仅仅在附录中有简单表述，缺乏严肃验证。共识算法的正确性是至关重要的，在生产场景中尤为如此，因此我们尝试使用 TLA+ 工具进行严肃的验证，以此获得 Curp 共识协议的正确性保证。本次演讲首先论述了 Curp协议的正确性，同时以 KV 存储软件 Xline 为例子讲述如何在工业产品中使用该共识算法。
购买须知：
1、本课程为虚拟产品，一经购买，概不退款（讲师特别声明除外）
2、在使用过程中，遇到任何问题，请邮件联系：pr@sifou.com
3、划线价说明：商品展示的划横线价格为参考价，并非原价。该价格仅供您参考。
版权声明：讲者在本产品上发表的全部原创内容（包括但不限于文字、视频、图片等）著作权均归讲师本人所有。未经讲师授权许可，观众用户不得以任何载体或形式使用讲师的内容。
