会员服务
Paxos算法是分布式技术大师Lamport提出的,主要目的是通过这个算法,让参与分布式处理的每个参与者逐步达成一致意见。用
2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
THU数据派
1+阅读 · 2022年5月27日
2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
新智元
0+阅读 · 2022年5月25日
Thinking Above Code：TLA+ 思维概述
Thinking Above Code：TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
分布式系统一致性测试框架Jepsen在女娲的实践应用
分布式系统一致性测试框架Jepsen在女娲的实践应用
阿里技术
0+阅读 · 2021年10月26日
形式化验证工具TLA+：程序员视角的入门之道
形式化验证工具TLA+：程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
Facebook 如何使用 ZippyDB 构建通用键值存储？
Facebook 如何使用 ZippyDB 构建通用键值存储？
InfoQ
1+阅读 · 2021年9月24日
分布式一致性算法：解决分布式系统 80%核心问题
分布式一致性算法：解决分布式系统 80%核心问题
夕小瑶的卖萌屋
1+阅读 · 2021年8月31日
一文了解分布式一致性算法EPaxos
一文了解分布式一致性算法EPaxos
阿里技术
0+阅读 · 2020年10月27日
一文总结：分布式一致性技术是如何演进的？
一文总结：分布式一致性技术是如何演进的？
阿里技术
0+阅读 · 2020年7月23日
我们的系统需要什么样的分布式锁？
我们的系统需要什么样的分布式锁？
阿里技术
0+阅读 · 2020年7月5日
新发布的自研数据库 OceanBase 有哪些看点？
新发布的自研数据库 OceanBase 有哪些看点？
阿里技术
0+阅读 · 2020年3月27日
如何解决分布式系统中的“幽灵复现”？
如何解决分布式系统中的“幽灵复现”？
阿里技术
0+阅读 · 2020年3月12日
MIT经典课程“分布式系统”视频版上线！网友：终于来了非偷拍清晰版本
MIT经典课程“分布式系统”视频版上线！网友：终于来了非偷拍清晰版本
量子位
0+阅读 · 2020年2月20日
拿下它，解决分布式系统 80% 核心问题 | 极客时间
拿下它，解决分布式系统 80% 核心问题 | 极客时间
InfoQ
1+阅读 · 2020年2月12日
漫话：如何给女朋友解释什么是 3PC？
漫话：如何给女朋友解释什么是 3PC？
CSDN
0+阅读 · 2020年1月29日
参考链接
父主题
数据一致性相关算法
微信扫码咨询专知VIP会员
Top