codedump的网络日志
·
第二章：分布式系统模型
💡
原文中文，约13400字，阅读约需32分钟。
📝
内容提要
本章讨论了分布式系统模型，包括两将军问题和拜占庭将军问题，揭示了网络通信和节点行为导致的故障。两将军问题强调在不可靠通信中达成共识的困难，而拜占庭将军问题则探讨恶意节点的影响。通过定义通信、故障和时间模型，帮助设计者理解和应对复杂的分布式环境。
🎯
关键要点
- 本章讨论分布式系统模型，包括两将军问题和拜占庭将军问题。
- 两将军问题强调在不可靠通信中达成共识的困难。
- 拜占庭将军问题探讨恶意节点的影响。
- 分布式系统由多个节点组成，节点通过消息进行通信，导致系统复杂性增加。
- 分布式系统模型用于描述和分析分布式系统的行为、属性和设计。
- 两将军问题是一个思想实验，展示了不可靠连接下的通信挑战。
- 在两将军问题中，消息传递的不确定性和无限确认问题导致无法达成共识。
- 拜占庭将军问题引入了恶意节点的概念，讨论节点行为导致的故障。
- 在拜占庭将军问题中，假设通信是可靠的，但可能存在叛徒节点。
- 拜占庭容错系统需要在存在恶意节点的情况下正常运行。
- 系统模型包括通信模型、故障模式和时间模型。
- 通信模型描述节点间如何交换信息，故障模式描述节点可能出现的故障。
- 时间模型定义了对延迟的把握程度，包括同步、异步和半同步模型。
- 公平损失链路、可靠链路和认证链路是通信模型的不同类型。
- 故障模型分为崩溃模型、遗漏模型和拜占庭模型，处理难度逐渐增加。
- 崩溃-停止模型是最简单的故障模型，适用于无状态服务。
- 崩溃-恢复模型是工业界常见的模型，节点可能重启并面临状态丢失问题。
- 遗漏故障模型指节点可能遗漏发送或接收消息，故障检测困难。
- 拜占庭模型是最复杂的，节点可以执行任意操作，包括恶意行为。
- 时间模型影响算法对超时的判断，决定了系统的可靠性和一致性。
➡️
