Junezth-CSDN博客

转载 Paxos算法[From 维基百科]

Paxos算法是莱斯利·兰伯特（Leslie Lamport，就是 LaTeX 中的"La"，此人现在在微软研究院）于1990年提出的一种基于消息传递的一致性算法。[1] 这个算法被认为是类似算法中最有效的。目录1问题和假设2算法2.1算法的提出与证明2.2算法的内容2.2.1决议的提出与通过2.2.2实例2.2.2.1情况一2.2.2.2情况二2.2.2.3情况三2.2.3决议的发布2.2.4Progress 的保证3其他4参考文献问题和假设 Paxos 算法解决的问题是一个分布式系

2011-03-27 18:09:00 1553

转载分布式系统 Topic & Resource [转载]

Topic-list现在计算机业界正在进入一个“海量数据”（Big Data）时代，分布式计算技术是存储和处理海量数据的基础，里面有很多有趣的问题值得探讨。从体系结构上说，海量数据系统可以分为三个层次：最底层是一些分布式系统的基础架构，如 RPC，同步机制，组管理协议等，这些技术无论是分布式存储还是分布式计算系统都需要依赖。处于中间的是分布式存储系统，这又可以分为两大类：分布式数据库和分布式文件系统。数据库用于存储结构化的数据，而文件系统用于存储非结构化的数据。在前面两个层次基础之上，可以构建一个分布式的

2011-03-27 17:51:00 864

转载 Paxos Made Simple [续][原文解释版][转载]

有兄弟说上一篇关于 paxos 算法的文章不够清楚, 于是我从 fast paxos 这篇文章中, 把对 basic paxos的介绍的章节选择性翻译出来, 放到这里给大家做参考. 下面的内容都集中关注于算法的有效性证明, 至于算法的具体实现, 优化等, 都不做介绍. 所有的基本概念, 基本定义这里不再重复, 默认大家已经了解了算法的总体的目的, 主要的角色. 括号中的内容是我加的一些解释, –基本都是多余的—, 其他的都可以在 fast pa

2011-03-27 17:30:00 440

转载 Paxos Made Simple [原文解释版][转载]

本介绍是 Paxos Made Simple 的中文说明。会摘录一些原来的段落讲解。如果大家发现有问题的地方，参照原文。说明中部分内容摘自维基百科。 Paxos Made Simple 是因为最初的论文比较难懂，作者又写了这篇比较形象好懂的介绍。首先要明确的是 Paxos 算法，是为了解决分布式环境下一致性的问题而提出的算法。这里将牺牲一些严格性，采用比较好懂的具体例子对文章加以解读。

2011-03-27 17:04:00 4275 1

转载 Paxos Made Simple [原文翻译版][转载]

为实现具有容错能力的分布式系统而提出的Paxos算法，曾被认为难以理解，可能因为对于大部分读者而言，原来的描述是基于希腊故事的。实际上，它是最简单和直观的分布式算法之一。它的核心是一个一致性算法——中提出的“synod”算法。下一节描述这个一致性算法，并遵从我们要求的性质。最后一节解释了完整的Paxos算法，从一致性的直观应用到构建分布式系统的有限状态机模型——应该是总所周知的模型，因为它是论文[5]的主题——它可能是分布式系统理论被引用最多的论文。

2011-03-27 16:42:00 524

原创清空数据库缓存

测试数据库性能前，清空数据库缓存： checkpoint dbcc freeproccache dbcc dropcleanbuffers

2011-03-09 17:29:00 1060

原创 [2010-VLDB] The Performance of MapReduce: An In-depth Study

一般认为，云数据处理系统应该能够提供较高的elasticity, scalability, fault tolerance, 而作者提出在上述三个特点之上，云系统也应该提供efficiency。尽管云系统可以通过部署更多的计算节点来提高性能，然而这种做法代价高昂，偏离了云计算的本意。作者提出，一个好的云数据处理系统应当以最经济的方式提供弹性的数据处理。作者对MapReduce的设计因素进行了深入的研究，从三大方面探讨了五个可能会影响到MapReduce性能的因素：I/O Mode, indexing

2011-03-09 16:01:00 773

Zhang Jun的专栏