发布了 12 篇内容
共 45723字, 被阅读 9895次
获得了 72 次赞同
获得了 19次喜欢, 获得了 53 次收藏
参与了 13 次互动
互动包含发布评论、点赞评论、参与投票等

TLA+ 入门教程(1):形式化方法简介
本次 TLA+ 入门教程系列将分为几个部分,帮助你从零掌握 TLA+ 语言的基本知识,欢迎关注公众号和知乎“多颗糖”。

爱讲故事的计算机科学家,和他的分布式系统
Paxos 算法简史

Paxos vs. Raft:我们对共识算法达成共识了吗?
以下内容来源于《深入理解分布式系统》一书,作者唐伟志(“多颗糖”)曾在网易、腾讯从事基础架构相关工作,本书深入浅出分析了各类共识算法,以及其它分布式系统相关知识点。

我做基础架构学到的 42 件事
让你的客户开心;否则这篇文章的其余部分都无关紧要。

数据库为何又如何走向分布式?
Jim Gray 说过:“所有的存储系统最终都会演变成数据库系统。(All storage systems will eventually evolve to be database systems.)”

万字长文说透分布式锁
“分布式锁”这个问题快被说烂了,奈何笔者实在没有找到一个满意的答案,故记录自己寻找答案、总结的过程。分布式锁的设计涉及了许多分布式系统相关的问题,许多地方值得推敲,非常有意思。

每个程序员都应该知道的数字
Jeff Dean 在他关于分布式系统的 ppt 中列出了“每个程序员都应该了解的数字 (Numbers Everyone Should Know)”,对计算机各类操作的耗时做了大致估计。这些数字在很多地方都很有用。

Raft 作者亲自出的 Raft 试题,你能做对几道?
Raft 作者亲自出的 Raft 试题,你能做对几道?

Paxos 的变种(一):Multi-Paxos 是如何劝退大家去选择 Raft 的
近些年越来越多的分布式系统选择 Raft 算法,让我们一起来看看“罪魁祸首” Multi-Paxos 是如何劝退大家的,Multi-Paxos 的实现到底有多么困难。

图解超难理解的 Paxos 算法(含伪代码)
通过图片和伪代码,深入浅出理解分布式系统大名鼎鼎、超难理解的 Paxos 算法。
分布式系统的核心:共识问题
从 0 开始讨论分布式系统的共识问题,回顾解决共识问题的历史,和提出的一些算法。

认识分布式系统
重新认识分布式系统。
最新评论
图解超难理解的 Paxos 算法(含伪代码)
Paxos 的变种(一):Multi-Paxos 是如何劝退大家去选择 Raft 的
Paxos 的变种(一):Multi-Paxos 是如何劝退大家去选择 Raft 的
Paxos 的变种(一):Multi-Paxos 是如何劝退大家去选择 Raft 的
Paxos 的变种(一):Multi-Paxos 是如何劝退大家去选择 Raft 的