一合理相分

分布式系统工程师有一个说了二十年、却从未有人见过的东西：集群的「当前全局状态」。

监控大盘上写着 cluster state，故障复盘里写着「那一刻系统处于……」，但认真做过一次分布式调试的人都知道：没有任何观察者、在任何物理时刻，真正读到过这个东西。没有全局时钟，没有瞬时的全局快照，每个节点手里只有自己的局部视图，加上一堆延迟不一的消息。「系统此刻的状态」这个短语在实现层面没有所指——不是测不准，是压根不存在一个可供测量的对象。

本品做的正是这个断言，只是对象从集群换成了物理世界。「若世界实有者，则是一合相」：如果世界实有，它就得是一个真实的、于某一刻浑然成立的整体——相当于要求存在一个全局一致、瞬时为真的 state。而工程事实是：所谓全局状态，从来都是观测协议装配出来的。Chandy-Lamport 快照算法让 marker 沿因果链传播，切出一条「一致割线」（consistent cut）；这条割线满足因果一致，可以用来打 checkpoint、做故障恢复，但它描述的那个「时刻」在物理时间里从未同时存在过。两次并发的快照会切出两条互不相同的割线，两条都一致，谁也不比谁更「真」。快照是装配的产物，不是发现的对象。梵文 piṇḍa-grāha 的重心正在这里：不是世上现成有一块，而是发生了一次「执取为一块」的操作。世界是一次打包动作，不是一个包。

更激进的是零件那一侧。还原论者会退一步：好吧，全局状态是假的，但单个事件总是真的。Lamport 在 1978 年给出的答案与本品一致：也不是。「事件 A 先于事件 B」只在 happened-before 这个偏序里成立，它由消息传递关系定义，是关系性的，不是事件自带的属性；两个没有因果路径相连的事件之间，「谁先谁后」这个问题本身没有答案。不存在一条绝对时间轴让所有事件各就各位，事件的「位置」和割线一样，只相对于观测方式成立。「微尘众，则非微尘众」——最小单位同样不自存，往下拆没有 ground truth。

那怎么办？惠能说「不坏假名，而谈实相」。工程上我们本来就是这么干的：没有人因为全局状态不实有就拆掉监控大盘。快照照做，checkpoint 照打，只是心里清楚交付物是一条构造出来的割线，而非某个时刻的世界本身。真正的事故出在忘记这一点的时候：把一次陈旧的读当成「现状」，让一个节点把自己的局部视图执为全局真相——每一次 split-brain，本质上都是「凡夫贪著其事」：把打包动作的输出当成了实事。「不可说」由此也不神秘：actual_state(cluster, at=t) 这个函数无法实现，不是因为难，而是因为它的返回值类型没有居民。

from dataclasses import dataclass

@dataclass(frozen=True)
class ConsistentCut:
    """一条一致割线：由快照协议装配出来的「整体」。

    它满足因果一致，但它所描述的那个「时刻」
    在物理时间里从未同时存在过。
    """
    node_states: dict[str, bytes]      # 各节点在割线上的局部状态
    in_flight: dict[str, list[bytes]]  # 被割线穿过、尚在途中的消息

def snapshot(cluster: Cluster) -> ConsistentCut:
    """Chandy-Lamport：marker 沿因果链传播，把散多的局部视图
    执取为一块。「一合相」是这次打包操作的输出，不是它的输入。
    """
    ...

cut_a = snapshot(cluster)
cut_b = snapshot(cluster)   # 并发的第二次观测
assert is_consistent(cut_a)
assert is_consistent(cut_b)


def actual_state(cluster: Cluster, at: float) -> World:
    """「若世界实有者，则是一合相」——本函数即那个「实有」。
    它无法实现：不是精度不够，而是返回值没有所指（「不可说」）。
    """
    raise NotImplementedError("no global now")

这个映射在哪里失效：Chandy-Lamport 仍然预设了实有的节点、实有的消息，以及一个站在系统之外发起快照的工程师，而般若不给观察者留这个机位——那个正在执取的心本身也是被打包出来的一合相，无处可退。并且，工程师认清割线是构造物之后照常上班即可，佛经的目标却不是修正世界模型，而是止息贪著本身：前者是认识论的修补，后者是解脱。所以不要把本品读成一篇分布式系统随笔——方向恰恰相反，是分布式系统偶然踩到了它两千年前画下的刀口。