酷应用

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/

*文章为作者独立观点，不代表 爱尖刀 立场
本文由 PingCAP发表，转载此文章须经作者同意，并请附上出处( 爱尖刀 )及本页链接。
原文链接 https://www.ijiandao.com/2b/baijia/414389.html
直播 数学
图库
PingCAP PingCAP
公众号 关注网络尖刀微信公众号
随时掌握互联网精彩
赞助链接
百度热搜榜
排名 热点 搜索指数
iTrust
AiDeep Ued
关于我们 联系我们 升级日志 法律声明 广告服务 侵删通道
Copyright © 2021 K2CMS All rights reserved.
京ICP备14006288号