竞态

论分布式系统的半开闭问题节点 A 向节点 B 发出一个请求，然后等待响应。在等待期间，A 不知道 B 是否收到了请求，不知道 B 是否正在处理，不知道 B 是否已经发出了响应而响应在网络中丢失。A 只知道一件事：我还没有收到响应。除此之外，A 对 B 的状态一无所知。

论双机热备：分布式双机热备是一个直觉上合理但分布式理论上脆弱的方案。它试图用两台机器实现对等的高可用——任一台故障，另一台立即接管。这个目标在单机思维下自然成立，但在分布式条件下，它面临一个无法绕过的矛盾：两台机器如果对等，就无法收敛；如果收敛，就不再对等。

论无知：分布式承认无知，不是认输，是认清边界。有一种认知惯性，认为“知道”是常态，“不知道”是暂时的、可修复的缺陷。今天不知道，明天可以知道。这一代不知道，下一代可以知道。这种惯性把无知视为知识总量的一个减项，等待被新知填补。但有一类无知不是知识总量的减项，而是认知能力本身的边界。它不是尚未被照亮的黑暗，而是光本身无法穿透的墙。

天若有情673

循环条件隐藏陷阱：我发现了「同循环双条件竞态问题」最近在写循环逻辑时，遇到一个非常反直觉的问题：一个只有两个判断条件的while循环，明明语法完全正确，执行次数却总是和预期不符。一开始以为是短路求值、变量自增顺序等问题，反复实验后才发现，这是一个同循环内的双条件竞态问题，和多线程里的竞态逻辑高度相似。

我是有底线的