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

翻译：耶鲁大学课程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 随机化共识与test-and-set，25 重命名，26 软件事务内存，27 无阻塞自由，28 BG模拟，29 拓扑方法，30 近似共识，31 概述，32 自稳定，33 分布式图算法，34 移动机器人，35 蜂鸣，36 群体协议