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