Paxos 算法的严格定义与数学证明|DB Paper Reading 线上直播

百家 作者:PingCAP 2021-08-19 21:00:34

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/

公众号 关注网络尖刀微信公众号
随时掌握互联网精彩
赞助链接