Archives
All the articles I've archived.
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 “三驾马车”论文发布以后，“大数据”和“分布式”就成了各种