Cwinux是如何实现框架功能的。使用Cwinux时，需要先继承AppFramework，并实现AppFramework的noticeXXX和onXXX两种类型的函数。本文描述什么是框架，noticeXXX和onXXX是如何实现的。
Flexible Paxos: Quorum intersection revisited 这篇论文重新审视了Paxos中关于Quorum的问题。在Basic Paxos中，要求任何quorum都有交集（通常选择多数派作为quorum）。事实上，这个要求可以放宽到Paxos的两个阶段prepare/accept阶段的quorum有交集即可。文中描述了majority, simple, grid三种quorum system。
《挑战程序设计竞赛》读书笔记（五）尺取法。本文介绍了尺取法。针对尺取法的思想，扩展介绍了双指针这种比较通用的方法，并给出了几个例子和对应的解法。
Cwinux Commander执行方式。Command设计模式，消息被处理的过程。
Google Spanner是google在2012年公开的存储系统，它的最大特点就是数据分布在全球范围内，支持外部一致性的分布式事务。本文依据论文解读了该系统的设计和实现。
