多颗糖

《人类简史》提到，人类之所以开启认知革命，站到生物链的最顶端，主要是因为智人会讲虚构的故事。智人不但会讲故事，智人还相信虚构的故事。Paxos 算法背后的有趣故事。

本文整理自 Ongaro 在 Youtube 上的视频。 Raft 的目标（或者说是分布式共识算法的目标）是：保证 log 完全相同地复制到多台服务器上。 只要每台服务器的日志相同，那么，在不同服务器上的状态机以相同顺序从日志中执行相同的命令，将会产生相同的结果。 共识算法的工…

《软件架构基础（Fundamentals of Software Architecture）》被誉为和《设计数据密集型应用》一样经典的后端书籍，架构师的入门指南。本篇为该书第一章的读书笔记，2021 年第一个目标就是和大家一起读完这本书。 如今，全球范围内“架构师”这一头衔炒得…

最近，工程业界资料库 levels.fyi 公布了 2020 年软件工程师的薪水报告，包括工资、股票和奖金，当中大部分的资料都来自美国的硅谷——该地云集不少顶尖的高科技公司，如 Google、Facebook、Amazon 等，湾区也在整个工程界中给薪最高的地区。 报告显示，在…

前文《理解 Paxos》只包含伪代码，帮助了理解但又不够爽，既然现在都讲究 Talk is cheap. Show me the code. 这次就把文章中的伪代码用 Go 语言实现出来，希望能帮助各位朋友更直观的感受 Paxos 论文中的细节。 但我们需要对算法做一些简化，有…

试题1.（4分）下面的每张图都显示了一台Raft服务器上可能存储的日志（日志内容未显示，只显示日志的index和任期号）。考虑每份日志都是独立的，下面的日志可能发生在Raft中吗？如果不能，请解释原因

上文我们已经详细的阐述了共识问题并介绍了一些共识算法，其中 Paxos 算法是 Leslie Lamport 于 1990 年提出的共识算法，不幸的是采用希腊民主议会的比喻很明显失败了，Lamport 像写小说一样，把一个复杂的数学问题弄成了一篇带有考古色彩的历史小说。根据 L…

leveldb 是一个持久化的 key/value 存储，key 和 value 都是任意的字节数组(byte arrays)，并且在存储时，key 值根据用户指定的 comparator 函数进行排序。 作者是大名鼎鼎的 Jeff Dean 和 Sanjay Ghemawat…

数据库系统总会涉及非易失性存储，我们需要知道一个典型的计算机系统是如何进行存储管理的。时至今日，虽然 SSD 已经成为很多数据库管理员的选择，但传统 HDD 还是有着广泛的应用，文件系统和存储引擎大部分设计和发展还是基于 HDD 的行为；过去数十年来，HDD 一直是计算机系统中…