分布式系统由多个通过通信协作的计算节点构成,需要在各节点只掌握部分信息、通信可能延迟或失败的条件下提供服务。
部分故障
某个节点或通信路径失败时,其他节点可能仍在运行。调用方超时无法单独证明远端是否完成操作,因此需要明确重试、去重、状态确认和恢复协议。
一致性与可用性
一致性模型规定并发操作及读取结果的可观察行为。网络分区下,某些一致性与可用性保证无法同时满足;CAP 定理刻画其中一种限制,不是所有系统设计问题的完整答案。
最终一致性关注满足条件后的收敛;实际系统仍须定义冲突处理、延迟目标及无法恢复时的行为。