分布式系统研究简介：
随着计算及技术的发展，如今几乎所有实际应用的计算机系统都是分布式的。分布式系统的理论研究其实是从Leslie Lamport在1989年提出关于Paxos算法的论文开始的。这篇论文企图用一个寓言的方式来描述Paxos算法；但由于其理论过于超前，阐述方式非常奇特，导致其很长一段时间不被学术界接受和认可。从1996年开始，学术界才开始大量的分布式计算的理论研究，2001年Lampson发表的论文“The ABCD's of Paxos"对当时的Paxos理论进行了分类和集中地描述，奠定了分布式系统的理论基础。紧接着产业界,主要是互联网公司对大规模分布式计算机系统的需求和应用，业界对这些基础理论的应用和实践进一步推动了其发展，理论和实践的结合，催生出了大量的成果。Google公司由于自身的需要，在这个过程中扮演了尤其重要的角色。现在，存储，计算相关的分布式系统很大程度上都是Google应用和研究成果的使用和衍生，比如BigTable，MapReduce，Chubby/Zookeeper(Yahoo)等等。随着计算及技术的发展，如今几乎所有实际应用的计算机系统都是分布式的。
