Anti-Caching的paper于2013年发表于VLDB [1]. 本文对其核心思想和实现方法做一个简单的总结，也算是自己的paper note [自己将Anti-Caching翻译成反缓存不知道合不合适？]。

Sequential Consisitency（顺序一致性）由Leslie Lamport于1979年在他的论文How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs[发表在IEEE Transactions on Computers]提出，原文定义是

递归[recursion]和迭代[iteration]是两个重要的算法实现方式，也是两种不同的理念。之前看到过一个说法来表示两者的区别，递归是俄罗斯套娃，一个套着一个；迭代是一个串珠，一个连着一个。虽然不能完全解释区别，倒也有几分形象。

B+ Tree是B Tree的一个升级，但是它比B Tree更适合实际应用中操作系统的文件索引和数据库索引（目前现代关系型数据库最广泛的支持索引结构就是B+ Tree）。因为B+ Tree的磁盘读写代价更低，查询效率更加稳定。一个数据库一般支持多种类型索引，而且一种索引也会建立在不同的key上。

介绍了指针的基本概念和用法后，指针表达式，运算和特殊的指针是下一步的需要阐述的问题。

指针是C语言强大的秘密也是最容易犯错误的地方。究其原因，还是在于指针的使用灵活、复杂、多变。但是如果从本质上理解了指针的原理和机制他们用起来就有一种如臂使指的感觉。

BASE理论是根据分布式系统中经典的CAP理论发展而来，由Ebay的Dan Pritchett于2008年在ACM QUEUE发表的文章Base: An Acid Alternative提出，从题目中就可以看出BASE是对应ACID提出的。

分布式系统领域CAP理论阐述，一个分布式系统无法同时满足一致性[Consistency]，可用性[Availability]，分区容错性[Partition tolerance]。最多只能满足三个中的两个。