这篇文章 Seth Gilbert 和 Nancy Lynch 形式化证明了 Brewer 的 CAP 理论。讨论了异步网络环境和半异步网络环境下 CAP 理论的正确性。鄙人英语 so so ，再加上文章比较枯燥，仅翻译下所列出的定理:
Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web
回复
月度归档：12月 2011
Brewer 的 CAP 理论
Brewer 在 2000 年基于他在伯克利大学的工作以及对 Inktomi 的观察上提出了 CAP 理论（牛人就是观察出的理论啊！），这之前（1997 年SOSP Cluster-Based Scalable Network Services 和1999年 Cluster-Based Scalable Network Services）他和他的同事也提出了应该在高扩展性系统做出取舍权衡，所以在 2000 年提出的这个理论也不是一个特别意外新颖的观点，和许多著名的理论相同，他们都是建立大量工作和牛人基础之上的。
How to write high quality papers?
Conclude from the course of cyberbase security teaching by prof. Zhou.
Four kinds of papers:
- Survey papers (recommend to PH students in the first year)
- Theoretical papers
- experimental papers
- hybrid of three kinds above
Characteristics of all high quality papers:
- Novelty
- Evidence, benchmark and best practice
- Thorough analysis
- Well structure <note your contributions directly, originality, novelty>
- Constant improvement
FAST：Quick Application Launch on Solid-State Drives
FAST：Quick Application Launch on Solid-State Drives（后简称 FAST ，请区别于 FAST 会议）这篇文章是 2011 FAST 会议上的一篇文章，题目中的 FAST 是 Fast Application STarter 的简称，读完本文最大的感触就是加深了：“并行性是计算机提高性能的重要手段 ”的理解。
从计算机的硬件来看，处理器流水线提高指令执行速度，处理器频率在受到温度制约后无法提升后，开始发展了多核、多处理器，内存也依靠双通道大量提升速度和容量，硬盘通过组成 RAID 提高读写速度和安全性。从软件来说，依靠多线程提高并发性也是改进程序性能的方法。FAST 文章主要是提出了将应用程序读操作时间和计算时间进行重叠以提升应用程序加载速度，我认为这就是讲 I/O 和计算进行并行提高性能的一种软方法，也是论文的主要贡献。
mongodb 管理工具
http://www.javabloger.com/article/mongodb-gui-win-linux-mac.html
给出了一些管理工具，但是经过实测，有些工具无法使用或者难以实践。
