- 博客(7)
- 收藏
- 关注
转载 Paxos算法[From 维基百科]
<br />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参考文献问题和假设<br />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 [续][原文解释版][转载]
<br /><br /> 有兄弟说上一篇关于 paxos 算法的文章不够清楚, 于是我从 fast paxos 这篇文章中, 把对 basic paxos的介绍的章节选择性翻译出来, 放到这里给大家做参考. 下面的内容都集中关注于算法的有效性证明, 至于算法的具体实现, 优化等, 都不做介绍. 所有的基本概念, 基本定义这里不再重复, 默认大家已经了解了算法的总体的目的, 主要的角色.<br /> 括号中的内容是我加的一些解释, –基本都是多余的—, 其他的都可以在 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
原创 清空数据库缓存
<br />测试数据库性能前,清空数据库缓存:<br /> <br />checkpoint<br />dbcc freeproccache<br />dbcc dropcleanbuffers<br />
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
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人