Lamport

我对Lamport Logical Clock的理解

原文地址：http://www.orzace.com/lamport-logical
Beaver_·2015-05-06 00:00

Paxos学习笔记

这篇文章里面Lamport详细的描述了为何Paxos算法会是这个逻辑。
ESINNG·2015-04-25 01:00

分布式系统的时钟和事件顺序

Lamport提出逻辑时钟的概念。在同一process中，事件发生的顺序很
foodon·2015-01-27 13:00

【原创】一步一步理解Paxos算法

一步一步理解Paxos算法作者：jw（360电商技术组）背景Paxos算法是Lamport于1990年提出的一种基于消息传递的一致性算法。
heiyeshuwu·2015-01-05 19:00

Raft系列文章之一: 什么是Raft?

自Lamport1998年提出Paxos以来,该协议虽逐渐成为主流一致性协议，但也以难以理解而著名，实现起来比较困难。
chicm·2014-12-07 17:50

Paxos历史回顾

709717672012112203543166/    自Paxos提出，迄今已有20多年了，围绕着该算法曾经发生过一些非常有趣的事情，这些也已成为人们津津乐道的一段轶事，故事的主角自然是Paxos的提出者Lamport
voidccc·2014-09-28 22:00

分布式理论之一：Paxos算法的通俗理解

维基的简介：Paxos算法是莱斯利·兰伯特（Leslie Lamport，就是 LaTeX 中的"La"，此人现在在微软研究院）于1990年提出的一种基于消息传递且具有高度容错特性的一致性算法
·2014-09-07 12:00

Data Race Free 的前世今生

事情要追溯到遥远的1979年，Lamport在他的著名论文 Howtomakeamultiprocessorcomputerthatcorrectlyexecutesmultiproce
on_1y·2014-08-17 21:00

Raft一致性算法

由于算法难以理解起初并没有引起人们的重视，使Lamport在八年后1998年重新发表到ACMTransactionsonComputerSystems上（ThePart-TimeParliament）。
cszhouwei·2014-08-04 20:15

C++无锁编程资料，无锁队列等

1.Lamport'sLock-FreeRingBuffer    [Lamport,Comm.ofACM,1977]   也就常说的单生产者-单消费者的ringbuffer，限制就是只能一个读线程（消费者
qq51931373·2014-07-11 11:00

Zookeeper全解析——Paxos作为灵魂

先说Paxos，它是一个基于消息传递的一致性算法，Leslie Lamport在
·2014-06-13 18:00

C++无锁编程资料，无锁队列等

1.Lamport'sLock-FreeRingBuffer    [Lamport,Comm.ofACM,1977]   也就常说的单生产者-单消费者的ringbuffer，限制就是只能一个读线程（消费者
stormbjm·2014-06-13 10:00

ZooKeeper 使用

‍‍我觉得我需要先介绍一下zookeeper的基础算法 Paoxs算法Paoxs算法是Lamport在98年提出的 之后一直在改进 改进幅度最大的动作最大的莫过于05年发布的Fast Paoxs算法 主要改进了性能与吞吐量之间的权衡为了区分两者
散关清渭·2014-04-13 23:00

Time And Global State 中的两篇论文

论文一time,clocks,andtheorderingofEventsinaDistributedSystemhttp://www.stanford.edu/class/cs240/readings/lamport.pdfhttp
usdaydayup·2014-04-08 11:45

Time Clocks and the Ordering of Events in a Distributed System

作者：LeslieLamport.1978原文：http://www.stanford.edu/class/cs240/readings/lamport.pdf译者：phylips@bmy2012-10
wliufu·2014-02-12 10:00

lamport 的关于分布式论文网址

http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#lamport-paxos
deyangliu·2014-01-20 22:00

拜占庭将军问题中的签名算法SM，以及有关证明。

这里来具体阐释一下：Lamport在文中提出，之所以会出现在口头传达中的那些错误是因为一些叛徒可以说谎，这里通过签名就是为了防止说谎。
u011321908·2013-12-27 20:00

拜占庭将军问题。口头算法OM(n.m);n=3m+1

一、拜占庭问题的背景这里就不再介绍直接说算法：下面的这个截图是从Lamport发表的论文中截取的：对于这个算法需要说明的是：(1)在第一轮将军会把消息发送给所有的副官，第i个副官收到的记为Vi。
u011321908·2013-12-27 15:00

介绍的比较全面中国人最容易懂的paxos

Paxos算法的难理解与算法的知名度一样令人敬仰，从我个人的经历而言，难理解的原因并不是该算法高深到大家智商不够，而在于Lamport在表达该算法时过于晦涩且缺乏一个完整的应用场景。
dellme99·2013-11-05 10:00

Zookeeper全解析——Paxos作为灵魂

先说Paxos，它是一个基于消息传递的一致性算法，Leslie Lamport在
·2013-10-18 17:00

兼职议会

Lamport为我们描述了如何确保存储系统的读写一致性，称为Paxos协议。描述的方式非常独特，作者化身为考古学家，透过Paxon文明的议会运行机制阐述了Paxos协议的本质。Paxos协议最重要
fomy·2013-10-09 20:00

Paxos算法 Paxos Made Simple

【为了描述Paxos算法，Lamport设计了一个虚拟的希腊城邦Paxos】实际上，它是最简单和直观的分布式算法之一【这个…，
qingen1·2013-10-07 20:00

mnesia里的lamport clock

Lamport定义了一个关系叫做happens-before，记为->。a->b意味着所有的进程都同意事件a发生在事件b之前。在以下两种情况下，可以很容易的得到这个
hncscwc·2013-09-23 07:00

paxos算法

人阅读 评论(1) 收藏 举报算法servernosqllessinsertc Paxos算法的难理解与算法的知名度一样令人敬仰，从我个人的经历而言，难理解的原因并不是该算法高深到大家智商不够，而在于Lamport
pi9nc·2013-09-08 22:00

paxos算法

PaxosMadeSimple(http://www.cs.utexas.edu/users/lorenzo/corsi/cs380d/past/03F/notes/paxos-simple.pdf),作者也是该算法发明人Lamport
jollyjumper·2013-08-23 23:00

【转载】Paxos算法之旅（一）追本溯源

为了形象的表达其中的问题，Lamport设想出了一种场景：拜占庭帝国有许多支军队，军队的将军们必须制订一个统一的行动计划——进攻或者撤退。将军
yu616568·2013-04-29 00:00

Sequential Consistency Paper Reading

阅读更多Lamport1979paperisoftencitedwhentalkingaboutsequentialconsistency[1].Butthepapercontextisoutdated.RobertMorrisgivesthefollowingrequirementswhicharetogetherequivalenttoIR1andIR2
yaojingguo·2013-04-12 21:00

Paxos Made Simple

The Part-Time Parliament，Lamport，1998，ACM Transactions on Computer Systems.
·2013-04-11 15:00

Paxos算法

为了形象的表达其中的问题，Lamport设想出了一种场景：拜占庭帝国有许多支军队，军队的将军们必须制订一个统一的行动计划——进攻或者撤退。将军们在地理上是分隔开来的，只能靠通讯员进行通讯。
dugu61888·2013-04-03 15:00

Fast Paxos

自从Lamport在1998年发表Paxos算法后，对Paxos的各种改进工作就从未停止，其中动作最大的莫过于2005年发表的FastPaxos。
c__ilikeyouma·2013-03-03 17:00

分布式一致性算法

paxos算法 http://www.docin.com/p-251511734.html 原汁原味论文 http://research.microsoft.com/en-us/um/people/lamport
hill007299·2013-02-23 22:00

Zookeeper全解析

先说Paxos，它是一个基于消息传递的一致性算法，Leslie Lamport在1990年提出，近几年被广泛应用于分布式计算中，Google的Chubby，Apache的Zookeeper都是基于它的理论来实现的
michael8335·2012-11-12 18:00

分布式设计与开发学习资料

几种必须了解的分布式算法http://my.oschina.net/jsan/blog/49700 Paxos算法http://research.microsoft.com/en-us/um/people/lamport
Magister_Feng·2012-10-24 09:00

一种集群Master节点选举算法

Lamport的重要贡献，献是把分布式一致性的问题，形式化并给出了证明，给出了理论指导。为简化实现，常见的分布式系统或者是采用Master-Slaves结构，或者是采用某种随机算法，防止破坏
dlite·2012-10-12 13:27

一种集群Master节点选举算法

Lamport的重要贡献，献是把分布式一致性的问题，形式化并给出了证明，给出了理论指导。      为简化实现，常见的分布式系统或者是采用Master-Slaves结构，或者是采
DLite·2012-10-12 13:00

面包店算法

转自维基百科http://zh.wikipedia.org/wiki/Lamport%E9%9D%A2%E5%8C%85%E5%BA%97%E7%AE%97%E6%B3%95Lamport面包店算法是解决多个线程并发访问一个共享的单用户资源的互斥问题的算法
yucan1001·2012-09-12 23:00

How to Build a Highly Available System Using Consensus

                如何使用一致性建立高可用性的系统概要：鉴于在一致性算法中，副本能用于处理每次输入，lamport指出实现一个高可用性系统通常都是用一个可复制（备份）确定的状态机。
ggxxkkll·2012-07-27 12:00

Paxos算法

  Paxos 算法是由 Lamport 提出来的，他得论文 Paxos made simple 是最好的 学习资料。我在阅读的过程中遇到很多困难，文中的一些逻辑
kenby·2012-04-18 10:00

NOSQL DB concurrency

This mechanism relies on timestamps (presupposing a shared clock) or Vector Clocks, as described in [Lamport
wanhuir·2012-03-16 07:00

数据一致性： 时间戳策略

本片文章为Lamport关于时间戳文章的翻译，但是又加了一点自己的理解。因此没有将其归为“翻译”一类。并且这也不是问题的关键，重要的是希望能为大家学习提供方便。     
shenlan211314·2012-03-02 16:00

Fast Paxos

 自从Lamport在1998年发表Paxos算法后，对Paxos的各种改进工作就从未停止，其中动作最大的莫过于2005年发表的FastPaxos。
chen77716·2012-02-28 11:00

LaTeX命令速查手册1

tex提供300多条基本排版命令由D.E.Knuth1978年开发plaintex：在tex基础上新定义600多条复合命令AMS-TEX：美国数学会开发（amsmath宏包）排版的数学公式LATEX：L.Lamport
lishoubox·2012-02-18 20:00

Paxos master选举--PaxosLease算法

偏偏在Paxos原论文中，作者L.Lamport不屑于讨论这个问题，因为选举过程中，即使出现多个master共存，也不影响Paxos算法正确性。
anderscloud·2012-02-10 16:55

[置顶] Paxos master选举--PaxosLease算法

偏偏在Paxos原论文中，作者L.Lamport不屑于讨论这个问题，因为选举过程中，即使出现多个master共存，也不影响Paxos算法正确性。
AndersCloud·2012-02-10 16:00

Paxos算法

Paxos算法是莱斯利·兰伯特（Leslie Lamport，就是 LaTeX 中的"La"，此人现在在微软研究院）于1990年提出的一种基于消息传递的一致性算法。
king_c·2011-12-16 10:00

Paxos 算法

paxos-algorithm/Paxos是分布式计算里非常重要的一个算法，最初由LeslieLamport在1990年发表，题为：ThePart-timeParliament，这是一篇很有趣的论文，Lamport
vaporz·2011-05-31 15:04

Paxos 算法

paxos-algorithm/Paxos是分布式计算里非常重要的一个算法，最初由LeslieLamport在1990年发表，题为：ThePart-timeParliament，这是一篇很有趣的论文，Lamport
vaporz·2011-05-31 15:04

PAXOS算法理解

proposer:为了对一个问题达成一致意见，不断提出更高编号的value（value选择是有约束的，Lamport主要是在加强这个约束。）2
sxf_824·2011-03-31 12:00

Paxos算法1-算法形成理论

 Paxos算法的难理解与算法的知名度一样令人敬仰，从我个人的经历而言，难理解的原因并不是该算法高深到大家智商不够，而在于Lamport在表达该算法时过于晦涩且缺乏一个完整的应用场景。
chen77716·2011-01-27 15:00

Paxos算法之旅（一）追本溯源

为了形象的表达其中的问题，Lamport设想出了一种场景：拜占庭帝国有许多支军队，军队的将军们必须制订一个统一的行动计划――进攻或者撤退。将军们在地理上是分隔开来的，只能靠通讯员进行通讯。
阿里中间件·2010-10-26 22:00
上一页 1 2 3 4 5 6 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他