论文标题
关于分布式系统理论的注释
Notes on Theory of Distributed Systems
论文作者
论文摘要
耶鲁课程CPSC 465/565分布式系统理论的注释。 目录：1个介绍，2个模型，3个广播和收集，4个分布式广度优先搜索，5个领导者选举，6个因果订购和逻辑时钟，7个同步器，8个同步攻击，9个同步一致，10拜占庭协议，10个不可能的共识，11个不可能的共享，共享12 paxos，14模型的14型号。 18相互排除，19，无候补的层次结构，20个原子快照，21个下降范围，可扰动的物体，22个限制性物体，23个常见的对象，24个常见2，24个随机共识和测试和测试和测试，25个重命名，26个软件交易式记忆，27 BG梗阻，28 BG模拟，29 BG模拟，29个拓扑范围，31近31个近距离，31近31个近距离，31近31个跨度，31近31个近距离，31近31次，31近31个跨度，31近31个跨度，31近31个跨度，31近31个跨度。算法，34个人口协议，35个移动机器人，36个哔哔声
Notes for the Yale course CPSC 465/565 Theory of Distributed Systems. Table of Contents: 1 Introduction, 2 Model, 3 Broadcast and convergecast, 4 Distributed breadth-first search, 5 Leader election, 6 Causal ordering and logical clocks, 7 Synchronizers, 8 Coordinated attack, 9 Synchronous agreement, 10 Byzantine agreement, 11 Impossibility of asynchronous agreement, 12 Paxos, 13 Failure detectors, 14 Quorum systems, 15 Permissionless systems, 16 Model, 17 Distributed shared memory, 18 Mutual exclusion, 19 The wait-free hierarchy, 20 Atomic snapshots, 21 Lower bounds on perturbable objects, 22 Restricted-use objects, 23 Common2, 24 Randomized consensus and test-and-set, 25 Renaming, 26 Software transactional memory, 27 Obstruction-freedom, 28 BG simulation, 29 Topological methods, 30 Approximate agreement, 31 Overview, 32 Self-stabilization, 33 Distributed graph algorithms, 34 Population protocols, 35 Mobile robots, 36 Beeping
