序 Lamport面包店算法是解决多个线程并发访问一个共享的单用户资源的互斥问题的算法。由莱斯利·兰波特发明。 算法类比 Lamport把这个并发控制算法非常直观地类比为顾客去面包店采购。 面包店一次只能接待一位顾客的采...
...容错、拜占庭将军问题。拜占庭将军问题是Leslie Lamport（2013年的图灵讲得住）用来为描述分布式系统一致性问题（Distributed Consensus）在论文中抽象出来一个著名的例子。 这个例子大意是这样的： 拜占庭帝国想要进攻一个...
...了无恶意节点的分布式一致性问题。 背景 1990年，Leslie Lamport在论文《The Part-Time Parliament》中提出Paxos算法。由于论文使用故事的方式，没有使用数学证明，起初并没有得到重视。直到1998年该论文才被正式接受。后来2001年Lamport...
...，使得确立精确的时间点概念在事实上成为可能。 Leslie Lamport 1978 年的论文 分布式系统中的时间，时钟和事件顺序 中对这个问题有了详细描述，但是除了正确同步的物理时钟，实际上并没有提供一个详细的解决方案。1...
...个将军问题已被证实无解。 拜占庭将军问题 于1982年由Lamport、Shostak和Pease着名描述，是一个带反转的广义版本的两个将军问题。它描绘了同一个场景，但两个以上的将军需要对攻打他们共同敌人的时间作出同意。增加的一层复...
... 拜占庭问题 拜占庭问题又叫拜占庭将军问题，是 Leslie Lamport 等科学家提出用来解释一致性问题的一个虚构模型。Leslie Lamport 等人证明，当叛变者不超过1/3时，存在有效的拜占庭容错算法（最坏需要F+1轮交互）。繁殖，如果叛...
...小百科 Byzantine Generals’ problem 拜占庭将军问题是由 Leslie Lamport（2013 年的图灵奖得主）提出的，研究分布式系统的容错性。 拜占庭帝国想要进攻一个强大的敌人，为此派出了 10 支军队去包围这个敌人。拜占庭帝国的将军们只能...
...小百科 Byzantine Generals’ problem 拜占庭将军问题是由 Leslie Lamport（2013 年的图灵奖得主）提出的，研究分布式系统的容错性。 拜占庭帝国想要进攻一个强大的敌人，为此派出了 10 支军队去包围这个敌人。拜占庭帝国的将军们只能...
...也是有限制的，即不到三分之一的网络是不诚实的。 用Lamport、Shostak和Pease提出的算法解决的拜占庭将军问题的运行时间（n = 成员数量, m = 叛徒数量） 这把我们带到了计算机科学中一个经典的问题： 我们能做的更好吗？ 本文...
...才有了分布式共识的需求。目前最为认同的共识算法就是lamport大神在98年发表的论文中提及的Paxos协议(然而由于太难以理解又在01年发表了paxos made simple)，即使过了这么多年，Paxos依然难以理解和难以实现，工程实现大多都是精...
...ubby 底层实现的共识（consensus）协议 Multi-Paxos，该协议对 Lamport 的原始 Paxos 算法做了改进，提高了运行效率 [ref ]。Chubby 作为锁服务被 Google 应用在 GFS 和 Bigtable 中。受 Chubby 的影响，来自 Yahoo 研究院的 Benjamin Reed 和 Flavio Junqueir...
...ackend Checkpoint的执行流程 Checkpoint的执行流程是按照Chandy-Lamport算法实现的。 Checkpoint Barrier的对齐 全量Checkpoint 全量Checkpoint会在每个节点做备份数据时，只需要将数据都便利一遍，然后写到外部存储中，这种情况会影响备份性...
ChatGPT和Sora等AI大模型应用，将AI大模型和算力需求的热度不断带上新的台阶。哪里可以获得...
大模型的训练用4090是不合适的，但推理（inference/serving）用4090不能说合适，...
图示为GPU性能排行榜，我们可以看到所有GPU的原始相关性能图表。同时根据训练、推理能力由高到低做了...
