MENTAL MODEL · M4051
FLP不可能定理
FLP Impossibility Result
更新于 2026-08-08
CORE DEFINITION · 核心定义
在异步网络系统中,如果哪怕只有一个节点可能失效,就不存在一种确定性的共识算法能保证系统既安全又活跃。即在不完美的环境中,完美的共识是理论上不可能的。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
共识成本认知。在团队决策中,不要追求"全员无条件一致"。如果环境充满噪音(异步),强制追求完美共识会导致系统死锁(停滞)。必须接受某种程度的"最终一致性"或独断。
anchor
锚定快速决策
分布式计算中的根本性结论(Fischer-Lynch-Paterson):在**异步网络**中,只要有一个节点可能崩溃,就不存在确定性算法能同时保证安全性(不达成错误共识)与活性(最终能达成共识)。机制是异步 + 故障的不可区分性——无法判断一个慢节点是"真慢"还是"已死"。
MINIMUM ACTION · 最小行动
进行中 0/5在一个真实场景中练习这个模型:
勾选记录你的进度(本机暂存)
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Consensus_%28computer_science%29verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels;回答仅使用公开词条上下文。
RELATED MODELS · 相关模型