Paxos 算法的严格定义与数学证明|DB Paper Reading 线上直播
DB Paper Reading 这周继续来营业啦!我们希望通过对业界学术论文的分享,带大家了解数据库学术界最新的研究方向。8 月 24 日晚开源爱好者韩森将为大家解读 Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm。本次讲解将会包含如下几个部分:什么是 Paxos 与为什么需要 Paxos;Safety、Liveness 与分布式共识算法的局限性;Paxos 的严格定义与数学证明;如何将 Paxos 应用到实际工程中;Paxos 算法的工程优化。希望这次分享能够帮助更多人认识并理解 Paxos 算法。感兴趣的朋友不要错过,赶紧报名约起来~
直播季
PingCAP Paper Reading
时间:2021 年 8 月 24 日晚 19:00-20:00
19:00 - 20:00
Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
韩森
PingCAP 研发工程师
开源爱好者
Content:
本文包含 Paxos 算法的严格定义与数学证明。
The Paxos algorithm, when presented in plain Chinese, is very easy.
报名方式:扫描二维码即可参与报名~
关注公众号:拾黑(shiheibook)了解更多 [广告]赞助链接:
四季很好,只要有你,文娱排行榜:https://www.yaopaiming.com/
让资讯触达的更精准有趣:https://www.0xu.cn/
随时掌握互联网精彩
- 1 中俄关系的“五个坚持” 4904651
- 2 央行:设立3000亿保障性住房再贷款 4982285
- 3 老人300万房产赠水果摊主 二审宣判 4889077
- 4 重塑“诗和远方” 4784931
- 5 楼市40年最宽松提振政策出台 4650088
- 6 快捷酒店回应女子洗澡时触电身亡 4570441
- 7 人民文娱评吴磊骑有此理 4475253
- 8 #电影朝云暮雨# 4358738
- 9 蒙华铁路三门峡段断桥了?假 4276373
- 10 新一轮房产新政触发“抢人潮” 4184796