分布式系统理论笔记
Notes on Theory of Distributed Systems
AI总结：
本文总结了分布式系统理论的核心概念和方法，涵盖了广播、共识算法、故障容忍、共享内存等关键技术，并探讨了分布式算法的理论基础和实现挑战。
摘要：
本文为耶鲁大学CPSC 465/565分布式系统理论课程的笔记。目录包括：1. 引言，2. 模型，3. 广播和收敛广播，4. 分布式广度优先搜索，5. 领导者选举，6. 因果顺序和逻辑时钟，7. 同步器，8. 协调攻击，9. 同步同意，10. 防御性同意，11. 异步同意的不可能性，12. Paxos，13. 故障探测器，14. 团体系统，15. 无许可系统，16. 模型，17. 分布式共享内存，18. 互斥，19. 无阻塞层次，20. 原子快照，21. 可扰动对象的下界，22. 限制使用对象，23. Common2，24. 随机共识和测试-设置，25. 重命名，26. 软件事务内存，27. 阻塞自由，28. BG模拟，29. 拓扑方法，30. 近似同意，31. 概述，32. 自稳定化，33. 分布式图算法，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 Mobile Robots, 35 Beeping, 36 Population protocols
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
