分布式系统阅读清单
内容提要
本文介绍了分布式系统的理论和实践，包括模型类型、故障模式、共识问题、CAP定理、故障检测、状态机复制、一致性模型、数据库事务作用域、逻辑时钟、CRDT和领导者选举算法。文章还提到了常见的实际故障模式和资源供给。
延伸解读
理论模型的选择：同步、异步与半同步
文章指出分布式系统理论常用同步、异步和半同步三种模型。同步模型假设通信和处理有已知上限，易于证明但脱离现实；异步模型无上限，证明困难但结论通用；半同步模型介于两者之间，通过设置超时等机制来近似同步，是实际系统设计的常见选择。理解这些模型的差异有助于评估协议在不同网络条件下的适用性。
故障模式：从崩溃到拜占庭
文章列举了故障停止、崩溃、遗漏、性能及拜占庭等故障模式。故障停止和崩溃故障在理论和实践中较常见，而拜占庭故障可能涉及任意错误甚至恶意行为，处理起来最复杂。大多数分布式系统默认假设无拜占庭故障，但区块链等场景需要专门应对。设计系统时需根据实际需求选择合适的故障模型。
CAP定理的实践启示与扩展
CAP定理表明在存在网络分区时，一致性和可用性不可兼得。文章提到，实际系统中分区难以避免，因此往往需要在C和A之间权衡。为增加灵活性，可采用产量/收获模型或PACELC定理，后者进一步考虑了无分区时的延迟与一致性权衡。这些扩展帮助设计者更细致地平衡系统属性。
一致性模型与数据库事务的多样性
文章概述了线性化、顺序一致性、因果一致性等多种一致性模型，并指出不同数据库对事务作用域的实现可能不同。例如，PostgreSQL、MySQL等对事务的语义有各自定义。开发者在选择数据库时，需仔细了解其提供的一致性保证，避免因假设统一语义而导致错误。
Q&A
分布式系统的模型类型有哪些？
分布式系统的模型类型包括同步模型、半同步模型和异步模型。
CAP定理的核心内容是什么？
CAP定理指出在分布式系统中，一致性、可用性和分区容忍性不能同时满足。
什么是共识问题，它的重要性是什么？
共识问题是分布式系统的核心，涉及节点如何就一个值达成一致，重要性在于能够做出决策。
故障检测器的类型有哪些？
故障检测器分为强检测器和弱检测器，前者能识别所有故障进程，后者只能识别部分故障进程。
什么是幂等性，它在分布式系统中有什么作用？
幂等性确保多次操作对系统的影响与单次操作相同，防止重复操作导致的不一致性。
CRDT是什么，它的主要特点是什么？
CRDT是一种限制操作的数据结构，确保不会发生冲突，适用于分布式系统中的并发操作。
