分布式系统阅读清单

分布式系统的模型类型包括同步模型、半同步模型和异步模型。

故障模式包括故障停止、崩溃故障、遗漏故障、性能故障和拜占庭式故障。

共识问题是分布式系统的核心，涉及节点如何就一个值达成一致。

FLP结果表明，在纯异步模型中，无法实现共识。

故障检测分为强检测器和弱检测器，准确度是关键。

CAP定理指出在分布式系统中，一致性、可用性和分区容忍性不能同时满足。

信息传递的定义包括单播、任播、广播和原子广播等。

幂等性确保多次操作对系统的影响与单次操作相同。

状态机复制确保相同状态序列下的操作结果一致。

一致性模型包括线性化、顺序一致性、因果一致性等多种类型。

数据库事务的作用域在不同数据库中可能有不同的语义。

逻辑时钟用于创建信息或状态转换之间的排序。

CRDT是一种限制操作的数据结构，确保不会发生冲突。

领导者选举算法如Raft和Paxos用于实现一致性和协调。

分布式系统的设计需要考虑实际故障模式和资源供给。