唐师兄的个人主页https://tangwz.com/zh-CNhttps://tangwz.com/posts/202208-tla-6/https://tangwz.com/posts/202208-tla-6/与上一节讨论 Paxos 时一样，本文不介绍 Raft 协议基本知识，读者需已经了Sun, 21 Aug 2022 00:00:00 GMThttps://tangwz.com/posts/202208-tla-5/https://tangwz.com/posts/202208-tla-5/1、Paxos 简介 上一节我们讨论了两阶段提交的 TLA+ 规约。众所Mon, 01 Aug 2022 00:00:00 GMThttps://tangwz.com/posts/202207-tla-4/https://tangwz.com/posts/202207-tla-4/1、两阶段提交 本章要学习的是用在婚姻和数据库领域的分布式算Mon, 18 Jul 2022 00:00:00 GMThttps://tangwz.com/posts/202207-tla-3/https://tangwz.com/posts/202207-tla-3/1、倒水问题的 TLA+ 描述 本节我们来看一个更有趣、更具体的例子，Mon, 11 Jul 2022 00:00:00 GMThttps://tangwz.com/posts/202207-tla-2/https://tangwz.com/posts/202207-tla-2/本次 TLA+ 入门教程系列将分为几个部分，帮助你从零掌握 TLA+ 语言的基本Wed, 06 Jul 2022 00:00:00 GMThttps://tangwz.com/posts/202207-tla-1/https://tangwz.com/posts/202207-tla-1/本次 TLA+ 入门教程系列将分为几个部分，帮助你从零掌握 TLA+ 语言的基本Mon, 04 Jul 2022 00:00:00 GMThttps://tangwz.com/posts/202103-cpp-coroutine/https://tangwz.com/posts/202103-cpp-coroutine/C++20 带着 Coroutines 来了！ 花了一两周的时间后，我想写写 C++20 协程的基本用法，Sat, 06 Mar 2021 00:00:00 GMThttps://tangwz.com/posts/202102-raft-extension/https://tangwz.com/posts/202102-raft-extension/在上篇《条分缕析 Raft 算法》中推导和梳理了 Raft 算法，但仍有一些细节Fri, 19 Feb 2021 00:00:00 GMThttps://tangwz.com/posts/202102-raft/https://tangwz.com/posts/202102-raft/本文整理自 Ongaro 在 Youtube 上的视频。 目标 Raft 的目标（或者说是分布式共识Mon, 01 Feb 2021 00:00:00 GMThttps://tangwz.com/posts/202101-fosa5/https://tangwz.com/posts/202101-fosa5/《软件架构基础（Fundamentals of Software Architecture）》读书笔记（5）Mon, 25 Jan 2021 00:00:00 GMThttps://tangwz.com/posts/202101-fosa4/https://tangwz.com/posts/202101-fosa4/《软件架构基础（Fundamentals of Software Architecture）》读书笔记（4）Sat, 16 Jan 2021 00:00:00 GMThttps://tangwz.com/posts/202101-fosa3/https://tangwz.com/posts/202101-fosa3/《软件架构基础（Fundamentals of Software Architecture）》读书笔记（3）Thu, 14 Jan 2021 00:00:00 GMThttps://tangwz.com/posts/202101-fosa2/https://tangwz.com/posts/202101-fosa2/《软件架构基础（Fundamentals of Software Architecture）》读书笔记（2）Fri, 08 Jan 2021 00:00:00 GMThttps://tangwz.com/posts/202101-fosa1/https://tangwz.com/posts/202101-fosa1/《软件架构基础（Fundamentals of Software Architecture）》读书笔记（1）Thu, 07 Jan 2021 00:00:00 GMThttps://tangwz.com/posts/202012-impl-basic-paxos/https://tangwz.com/posts/202012-impl-basic-paxos/前文《理解 Paxos》只包含伪代码，帮助了理解但又不够爽，既Sun, 13 Dec 2020 00:00:00 GMThttps://tangwz.com/posts/202011-leveldb-index/https://tangwz.com/posts/202011-leveldb-index/leveldb 是一个持久化的 key/value 存储，key 和 value 都是任意的字节数组(bytMon, 30 Nov 2020 00:00:00 GMThttps://tangwz.com/posts/202011-disk/https://tangwz.com/posts/202011-disk/数据库系统总会涉及非易失性存储，我们需要知道一个典型的计算机Thu, 26 Nov 2020 00:00:00 GMThttps://tangwz.com/posts/202011-understanding-multi-paxos/https://tangwz.com/posts/202011-understanding-multi-paxos/Multi-Paxos 在文献中并没有准确的实现细节，这里提供一个相对完整的规范，Sun, 15 Nov 2020 00:00:00 GMThttps://tangwz.com/posts/202010-paxos-exam/https://tangwz.com/posts/202010-paxos-exam/试题 1. (4 分）下面的每张图都显示了一种 Multi-Paxos 服务器上可能的日志Mon, 26 Oct 2020 00:00:00 GMThttps://tangwz.com/posts/202010-raft-exam/https://tangwz.com/posts/202010-raft-exam/试题 1. （4 分）下面的每张图都显示了一台 Raft 服务器上可能存储Mon, 26 Oct 2020 00:00:00 GMThttps://tangwz.com/posts/202010-multi-paxos/https://tangwz.com/posts/202010-multi-paxos/分布式系统为了实现多副本状态机（Replicated state macSun, 18 Oct 2020 00:00:00 GMThttps://tangwz.com/posts/202009-basic-paxos/https://tangwz.com/posts/202009-basic-paxos/Google Chubby 的作者 Mike Burrows 说过：There is only one consensus protocol, and that’s Paxos. 引言 上文我们Tue, 29 Sep 2020 00:00:00 GMThttps://tangwz.com/posts/202009-git-merge-vs-rebase/https://tangwz.com/posts/202009-git-merge-vs-rebase/最近在给 kubernetes 提交代码，k8s 社区要求非常严格，既要分支保持与主Sun, 13 Sep 2020 00:00:00 GMThttps://tangwz.com/posts/202009-consensus/https://tangwz.com/posts/202009-consensus/混乱的“一致性”问题 Consensus != Consistency 受翻译影响，网上很多讨论 paxos 或 raft 的Sun, 06 Sep 2020 00:00:00 GMThttps://tangwz.com/posts/202008-intro-distributed-system/https://tangwz.com/posts/202008-intro-distributed-system/Google “三驾马车”论文发布以后，“大数据”和“分布式”就成了各种Tue, 18 Aug 2020 00:00:00 GMT