TLA+ 入门教程（6）：Raft
与上一节讨论 Paxos 时一样，本文不介绍 Raft 协议基本知识，读者需已经了
Read articleMy Work
Articles, videos, reading notes, and letters.
Everything I make and share, in one place.
TLA+ 入门教程（5）：Paxos
1、Paxos 简介 上一节我们讨论了两阶段提交的 TLA+ 规约。众所
Read article
TLA+ 入门教程（4）：两阶段提交
1、两阶段提交 本章要学习的是用在婚姻和数据库领域的分布式算
Read articleTLA+入门教程（3）：《虎胆龙威3》倒水谜题
1、倒水问题的 TLA+ 描述 本节我们来看一个更有趣、更具体的例子，
Read articleTLA+ 入门教程（2）：一个简单的例子
本次 TLA+ 入门教程系列将分为几个部分，帮助你从零掌握 TLA+ 语言的基本
Read articleTLA+ 入门教程（1）：形式化方法简介
本次 TLA+ 入门教程系列将分为几个部分，帮助你从零掌握 TLA+ 语言的基本
Read article如何编写 C++ 20 协程(Coroutines)
C++20 带着 Coroutines 来了！ 花了一两周的时间后，我想写写 C++20 协程的基本用法，
Read article条分缕析 Raft 算法(续)：日志压缩和性能优化
在上篇《条分缕析 Raft 算法》中推导和梳理了 Raft 算法，但仍有一些细节
Read article条分缕析 Raft 算法
本文整理自 Ongaro 在 Youtube 上的视频。 目标 Raft 的目标（或者说是分布式共识
Read article软件架构基础 5 架构特性识别与实战: 订餐系统
《软件架构基础（Fundamentals of Software Architecture）》读书笔记（5）
Read article软件架构基础 4: 你的架构需要考虑的架构特性
《软件架构基础（Fundamentals of Software Architecture）》读书笔记（4）
Read article软件架构基础 3: 什么是好的模块化代码？高内聚、低耦合如何衡量？
《软件架构基础（Fundamentals of Software Architecture）》读书笔记（3）
Read article软件架构基础 2：架构思维
《软件架构基础（Fundamentals of Software Architecture）》读书笔记（2）
Read article软件架构基础 1：基本介绍
《软件架构基础（Fundamentals of Software Architecture）》读书笔记（1）
Read articleGolang 实现 Paxos 分布式共识算法
前文《理解 Paxos》只包含伪代码，帮助了理解但又不够爽，既
Read articleLeveldb 基本介绍和使用指南
leveldb 是一个持久化的 key/value 存储，key 和 value 都是任意的字节数组(byt
Read article系统设计那些事儿：硬盘 I/O
数据库系统总会涉及非易失性存储，我们需要知道一个典型的计算机
Read article用 Raft 的方式理解 Multi-Paxos
Multi-Paxos 在文献中并没有准确的实现细节，这里提供一个相对完整的规范，
Read articleRaft 作者出的 Paxos 的试题
试题 1. (4 分）下面的每张图都显示了一种 Multi-Paxos 服务器上可能的日志
Read articleRaft 作者亲自出的 Raft 试题，你能做对几道？
试题 1. （4 分）下面的每张图都显示了一台 Raft 服务器上可能存储
Read articlePaxos 的变种（一）：Multi-Paxos
分布式系统为了实现多副本状态机（Replicated state mac
Read article理解 Paxos（含伪代码）
Google Chubby 的作者 Mike Burrows 说过：There is only one consensus protocol, and that’s Paxos. 引言 上文我们
Read article同样更新分支，git merge 和 rebase 有什么区别？
最近在给 kubernetes 提交代码，k8s 社区要求非常严格，既要分支保持与主
Read article分布式系统的核心：共识问题
混乱的“一致性”问题 Consensus != Consistency 受翻译影响，网上很多讨论 paxos 或 raft 的
Read article认识分布式系统
Google “三驾马车”论文发布以后，“大数据”和“分布式”就成了各种
Read article