《挑战程序设计竞赛》2.6节第一道题中讲解了求线段上格点个数的问题，该解答给出了结果，但中间过程省略了不少内容。本文补充了相关的证明和解释。
问题描述如下：
格点是指平面坐标系中，横纵坐标都是整数的点。给定平面上两个格点，P1(x1,y1)，P2(x2,y2)，则线段P1P2上除了P1和P2外，有几个格点？事实上，该问题答案为|x2-x1|和|y2-y1|的最大公约数减1，并给出了一个图示。本文对该结论给出了证明。
《挑战程序设计竞赛》读书笔记（四）格点问题的证明
再读GFS论文
再读GFS的一些笔记。主要涉及GFS架构、Chunk大小选择的一些折中考量、元数据管理及锁、写数据流程、GFS一致性模型的理解、快照的实现原理、过期失效副本检测等几个问题。
重新审视Paxos协议的Quorum问题
Flexible Paxos: Quorum intersection revisited 这篇论文重新审视了Paxos中关于Quorum的问题。在Basic Paxos中，要求任何quorum都有交集（通常选择多数派作为quorum）。事实上，这个要求可以放宽到Paxos的两个阶段prepare/accept阶段的quorum有交集即可。文中描述了majority, simple, grid三种quorum system。
Haketon的高性能并发控制算法
High-Performance Concurrency Control Mechanisms for Main-Memory Databases (VLDB12')
这篇文章是微软Hekaton上的in-memory storage engine的高性能控制算法。
MV Storage Engine
关于事务可串行化的一个洞察和论述
如果事务的读和写逻辑上发生在同一时刻，则事务就是可串行化的。SI隔离级别并不满足这个情况，SI的读实际上是发生在事务开启时（事务开启时取快照，快照一旦确定了，即使读请求是...
Split-Order Hash基本原理
之前阅读论文并实现了一个可扩展的哈希表，已经在生产环境使用。这里简单描述一下思路和一些经验教训，详细的实现可以参见论文。
Raft的乱序commit和乱序apply
不知怎么地，前一阵子知乎上对Raft的乱序的问题的讨论就变多了。我觉得其实这个问题可讨论的东西并不多。
Raft作者觉得Multi Paxos太复杂，所以搞了一个Raft。Raft加了很多约束，其中可能最重要的一条就是只能顺序commit。
所以，顺序commit的锅，Raft是得好好背着，翻不了案的。
值得谈一谈的是乱序apply。
能不能乱序apply本质上取决于你的状态机的设计。
比如，考虑rocksdb...
What's Really New with NewSQL?
这篇文章介绍的面很广，提到了诸多系统，不过每个点都不太细。另外虽然是16年的文章，但不知道为啥还是感觉有点陈旧了。。。简单来说，当个手册看吧，遇到具体细节问题，可以找文中提到的具体系统参考下。这里捡我感兴趣的点罗列了一下，详细内容读者可以看原文。
DBMS简史
1968年第一个DBMS上线，IBM在数据库领域发力甚早，比如System R，不过没有对外。
70年代，Oracle发布了第一个版本。
...
偏序/DAG的一个例子
序问题可以说是分布式系统中天字第一号问题，因为它来自分布式系统最基础的那个系统模型假设 - 异步网络，而且影响了分布式系统算法设计等等很多方面。分布式系统的序问题阐述起来非常庞大，这里只是简单描述下跟偏序/DAG的一个例子 - 区块链公链的DAG。
前面已经写过一点关于偏序的东西，读者可以参见Anna KVS中的Lattice是什么？里面介绍的一些内容。
首先从比特币网络开始，比特币...
Google Spanner论文解读
Google Spanner是google在2012年公开的存储系统，它的最大特点就是数据分布在全球范围内，支持外部一致性的分布式事务。本文依据论文解读了该系统的设计和实现。
Cwinux源码解析（四）
Cwinux中使用Reactor模式来处理底层文件描述符fd上的事件。本文简单介绍Reactor模式。