极道
·
分布式系统阅读清单
💡
原文中文，约7500字，阅读约需18分钟。
📝
内容提要
本文介绍了分布式系统的理论和实践，包括模型类型、故障模式、共识问题、CAP定理、故障检测、状态机复制、一致性模型、数据库事务作用域、逻辑时钟、CRDT和领导者选举算法。文章还提到了常见的实际故障模式和资源供给。
🎯
关键要点
-
分布式系统的模型类型包括同步模型、半同步模型和异步模型。
-
故障模式包括故障停止、崩溃故障、遗漏故障、性能故障和拜占庭式故障。
-
共识问题是分布式系统的核心，涉及节点如何就一个值达成一致。
-
FLP结果表明，在纯异步模型中，无法实现共识。
-
故障检测分为强检测器和弱检测器，准确度是关键。
-
CAP定理指出在分布式系统中，一致性、可用性和分区容忍性不能同时满足。
-
信息传递的定义包括单播、任播、广播和原子广播等。
-
幂等性确保多次操作对系统的影响与单次操作相同。
-
状态机复制确保相同状态序列下的操作结果一致。
-
一致性模型包括线性化、顺序一致性、因果一致性等多种类型。
-
数据库事务的作用域在不同数据库中可能有不同的语义。
-
逻辑时钟用于创建信息或状态转换之间的排序。
-
CRDT是一种限制操作的数据结构，确保不会发生冲突。
-
领导者选举算法如Raft和Paxos用于实现一致性和协调。
-
分布式系统的设计需要考虑实际故障模式和资源供给。
➡️
