本文讲述分布式系统的一致性模型
浅析分布式一致性模型
浅析CAP理论
CAP理论是Eric Brewer在2000年前后提出的一个设计上的折中原则，大意是说，一个系统在Consistency、Availability、Partition Tolerance三者之间无法兼顾，必须舍弃一个。CAP理论作为一个设计折中原则，在后面的几年被人误解，因此Eric Brewer在2012年又写了一篇文章，着重解释了CAP的一些误解，一个系统并非一定要预先在CAP中彻底牺牲一个属性，更多的场景下，没有P发生时，CA可以兼得，而在P发生时，可以选择C或A中的一个，并在P结束后恢复。
Raft论文解读
Raft论文解读，本文根据Raft会议论文，参考Raft博士论文，解读了部分内容。Raft跟(Multi)Paxos差别较大，相比Paxos加强了很多约束，尤其是strong leader，直接影响了Raft协议的架构。
分布式系统下的时间 时钟 事件序 论文解读
分布式系统的happen-before关系是个偏序关系，并且我们扩展为一个全序关系并用于分布式资源协调问题的求解。但是即使在全序关系下，会有异常情况发生，这里通过同步时钟来避免异常现象。本文解读了Lamport的经典论文，Time, Clocks, and the Ordering of Events in a Distributed System。
Basic Paxos证明
Basic Paxos协议的证明过程
Google Spanner论文解读
Google Spanner是google在2012年公开的存储系统，它的最大特点就是数据分布在全球范围内，支持外部一致性的分布式事务。本文依据论文解读了该系统的设计和实现。
Percolator论文阅读笔记
Percolator论文解读，Google用于替换MapReduce做页面索引的系统。
再读Bigtable论文
bigtable论文解读。介绍了基本概念、设计实现和一些细节优化。
再读GFS论文
再读GFS的一些笔记。主要涉及GFS架构、Chunk大小选择的一些折中考量、元数据管理及锁、写数据流程、GFS一致性模型的理解、快照的实现原理、过期失效副本检测等几个问题。