签名只有名字，没有职位，没有问候，没有“发送自iPhone”之类的废话。干净俐落，像她写的程式码。

但他注意到一个细节。

她写的是“共识算法选型”，不是“技术方案评审”，也不是“问题复盘”。选型意味著还有选择的空间，意味著她的态度从“否决”变成了“讨论”。

这是一个很小的变化。小到可能连她自己都没有意识到。

但他意识到了。

他回了一封邮件：“收到。明天见。”

发送之后他把邮件关掉，打开文档开始整理测试数据。萤幕上密密麻麻的数字和图表在他眼前闪过，他一个一个地看，一个一个地核对，确保每一个数据都准确无误。

窗外的天已经完全黑了。办公区里只剩下他一个人，键盘的声音在安静的空气里显得很响，哒哒哒哒，像一段稳定的心跳。

他不知道自己还要工作多久。也许到深夜，也许到凌晨。他不累，甚至觉得有点清醒——那种只有在深夜才会出现的、万籁俱寂的清醒。

手机震了一下。

他拿起来看，是何悦在群组里发的消息。群组名字叫“干饭小分队”，是他们平时约午饭用的。何悦发了一张照片，是便利店的关东煮，配文：“加班狗的晚餐。”

陆维安回了一个哭泣的表情。

然后何悦又发了一条：“你们猜我刚才看到谁了？程姐还在公司，一个人坐在工位上发呆。好心疼。”

陆维安回：“你心疼什么？”

何悦：“你不懂。”

然后群组就安静了。

裴衍之把手机翻过去，萤幕朝下扣在桌上。

他不想看。他不想知道她还在公司，不想知道她一个人在工位上发呆，不想知道她是不是也在想什么。

因为如果他想这些，他就没有办法继续做一个“够理性”的人。

他打开文档，继续整理数据。

萤幕上是一张系统延迟分布图，横轴是时间，纵轴是延迟。曲线在三百毫秒的位置上波动，偶尔有一个尖峰，但整体保持平稳。

他盯著这条曲线，忽然想起她以前说过的一句话。

那是他们还在谈恋爱的时候，有一次她盯著系统的监控画面看了很久，然后说：“你看这个曲线，多稳定。如果人跟人之间的关系也能用数据监控就好了，波动超过阈值就自动报警，该重启的重启，该降级的降级。”

他当时说：“那我们的关系现在是什么状态？”

她想了想，说：“正常运行。”

他问：“有没有报警？”

她说：“没有。”

他问：“那你开心吗？”

她没有回答。

现在想起来，那个时候可能已经在报警了。只是她没有告诉他，他也没有看到。

明天上午九点，会议室三。

他关掉文档，关掉电脑，拿起外套走出办公室。

经过走廊的时候他经过那面贴满技术海报的墙。海报上写著那行字：“分布式系统的最终一致性：理论与实践。”

最终一致性。

他想，如果人与人之间也有最终一致性，那他们现在算什么状态？

是正在同步，还是永远不会同步？

电梯到了一楼，门打开。大厅里很安静，保全在前台后面打瞌睡。他走出大楼，夜风吹过来，带著十一月的凉意。

他抬头看了一眼。

十五楼的灯还亮著。

他看了大概三秒，然后低下头，走向停车场。

车钥匙在手心里冰凉，他握紧了一下，又松开。

三年了。他以为自己已经把所有的情绪都压好了，压到最深的地方，用理性盖上盖子，用工作压住，用时间封死。

但今天在会议室里，她站起来说“我有问题”的时候，那个盖子被掀开了一条缝。

他闻到了里面那些东西的味道。

还是原来的味道。

会议室三的门在八点五十八分被打开。

程司白第一个到，坐在靠窗的位置，面前摊著笔记本，旁边放著一台笔记型电脑。她把投影机打开，萤幕上显示著她昨晚准备到凌晨两点的简报——第一页是一张性能对比图，Raft变体算法的数据用蓝色标注，每一项指标都比Paxos高出百分之十五到二十。

九点整，裴衍之推门进来。

他手里拎著一台笔记型电脑和一个文件夹，文件夹鼓鼓的，里面塞满了打印出来的测试报告。他看了一眼会议室里的座位，选择了离程司白最远的那个位置——长方形会议桌的对角线，中间隔著六把空椅子和一台投影机。

何悦跟在他后面进来的，手里端著两杯咖啡，一杯放在自己面前，一杯推到程司白手边。她坐下来的时候打开笔记本，手指放在键盘上，一副准备速记的样子。

陆维安最后一个到，抱著一台笔记型电脑气喘吁吁地冲进来，在裴衍之旁边坐下。

“开始吧。”程司白没有寒暄，直接点开简报的第一页。

萤幕上出现一张架构图，节点之间用箭头连接，每一个箭头上都标注著数据流向和时延参数。图的右下角写著一行字：Raft变体——优化后的领导者选举机制。

“这是我提出的方案。”程司白站起来，走到投影幕前，手里握著翻页笔，“基于Raft的共识算法变体，主要优化了两个方面。第一，领导者选举的超时机制从固定值改为动态调整，根据网络延迟实时计算最优超时窗口。第二，日志复制阶段引入并行写入，吞吐量提升百分之二十三。”

她点了一下翻页笔，萤幕切换到第二页。

“测试数据。在同样的硬件配置下，我的方案吞吐量每秒一万五千笔交易，延迟两百二十毫秒。比公司现有系统提升百分之二十二的性能。”

她把翻页笔放在桌上，转头看向裴衍之。

“裴衍之，你的方案数据是多少？”

裴衍之没有立刻回答。他打开自己的笔记型电脑，调出一份文档，萤幕上是一张密密麻麻的测试报告。

“每秒一万两千笔交易，延迟三百毫秒。”他的声音很平，“但我的方案在稳定性测试中波动幅度不超过百分之五，你的方案呢？”

“百分之八。”程司白说，“但这是因为测试环境的网络有波动，在实际生产环境中——”

“实际生产环境的网络波动只会更大，不会更小。”裴衍之打断她，“百分之八的波动意味著在高峰期你的系统可能会出现百分之十五到二十的性能抖动。这个风险你考虑过吗？”

“考虑过。”程司白翻到简报的第三页，萤幕上出现一张网络抖动模拟图，“我在三种不同的网络条件下做了模拟测试。即使在最坏的情况下——跨洲网络延迟五百毫秒、丢包率百分之一——系统的吞吐量仍然维持在一万两千笔交易以上，延迟控制在四百毫秒以内。这个数据仍然优于你的方案。”

“但稳定性呢？”裴衍之站起来，走到投影幕前，离她很近，近到她能闻到他衬衫上洗衣液的味道——和三年前一样，某个不太常见的牌子，闻起来像柠檬和雪松。

“你的方案在网络波动的时候，领导者选举的频率会增加多少？”

程司白后退半步，把翻页笔从桌上拿起来。“频率增加百分之三十。”

“百分之三十。”裴衍之重复了一遍这个数字，“也就是说，在高峰期你的系统每十秒就要重新选举一次领导者。每次选举期间系统不可用，客户端会收到超时错误。你觉得业务方能接受吗？”

“选举过程只持续一到两秒，影响范围——”

“一到两秒在分布式系统里是很长的时间。”裴衍之的声音不大，但每一个字都很清楚，“用户点击一个按钮等两秒没有反应，就会刷新页面。刷新页面就会重复提交。重复提交就会产生脏数据。脏数据——”

“脏数据可以通过幂等性设计来解决。”程司白的手指在翻页笔上敲了一下，“我在方案第五章写了幂等性的具体实现——”

“你的幂等性方案依赖于客户端生成全局唯一的请求ID。”裴衍之翻开自己带来的文件夹，抽出一页纸，“但你们架构组上个季度的技术评审中明确指出，现有的客户端无法保证请求ID的全局唯一性。你用一个无法保证的前提来解决脏数据问题，这不是架构设计，这是论文写作。”

会议室的温度骤降了五度。

何悦的手指停在键盘上，不敢动。她偷偷看了一眼陆维安，陆维安正盯著萤幕上的测试报告发呆，脸上写满了“我为什么要在这里”。

程司白沉默了两秒。

这两秒里会议室里只有空调的嗡嗡声。她看著裴衍之，裴衍之看著她。两个人的目光在空中撞上，没有闪躲，也没有退让。

“你说得对。”程司白先开口了，“幂等性方案的确依赖于客户端支持。这是我考虑不周。”

她说这话的时候语气很平静，没有任何被戳穿的窘迫。何悦在心里暗暗佩服——程姐被当面指出方案漏洞还能这么冷静，换成她早就红脸了。

“但你的方案也有漏洞。”程司白翻开自己的笔记本，念出她昨晚写好的问题清单，“Paxos在提案者并发的情况下，活锁概率是多少？你的文档说小于百分之零点一，但这个数字是怎么算出来的？你有数学证明吗？”

裴衍之的手指在文件夹的边缘敲了一下。“有。证明在附录B。”

“附录B我看了。”程司白抬起头，“你的证明假设了提案者的数量不超过三个。但在实际生产环境中，业务中台对接的服务节点有十七个。当十七个节点同时提案的时候，你的活锁概率还是百分之零点一吗？”

裴衍之没有立刻回答。

他翻开文件夹，找到附录B那一页，从头到尾看了一遍。然后合上文件夹。

“不是。”他说，“十七个节点的情况下，活锁概率会上升到百分之二点三。”

“百分之二点三。”程司白重复这个数字，“也就是说每一百次提案，就有两到三次会因为活锁导致延迟增加。你觉得业务方能接受吗？”

她把他的问题原封不动地还给了他。

何悦在键盘上敲了四个字：“程姐反杀。”然后迅速删掉。

陆维安终于忍不住了，举起手想说话。

“那个——”

裴衍之和程司白同时转头看他。

陆维安的手举在半空中，看了看裴衍之，又看了看程司白，把举著的手放下来，改成摸了摸后脑勺。

“没事，我就是想说……要不要先喝口水？”

没有人理他。

“百分之二点三的活锁概率，可以通过业务层的重试机制来解决。”裴衍之重新把目光转回程司白脸上，“用户感知到的延迟最多增加一百毫秒，不会影响体验。”

“那你刚才说的一到两秒的选举延迟呢？”程司白说，“你的选举延迟影响用户体验，我的选举延迟也影响用户体验。我们扯平了。”

“不一样。”裴衍之说，“你的选举发生频率是我的十倍。”

“但我的单次选举时间是你的五分之一。”程司白说，“算下来系统不可用的总时间，我的方案比你的少百分之五十。”

“你怎么算的？”

“用数学。”

这三个字落地的时候，会议室的气氛达到了一个新的低点。

何悦在桌子底下给陆维安发了一条消息：“我们要不要出去？”

陆维安的手机震了一下，他低头看了一眼，然后抬头看了看何悦，轻轻点了点头。

但两个人都没有动。因为唐嘉树推门进来了。

技术总监手里端著一杯茶，慢悠悠地走进来，看了一眼投影幕上的架构图，又看了一眼站在投影幕两侧的程司白和裴衍之，最后把茶杯放在桌上。

“吵完了？”

没有人说话。

“没吵完的话继续，我在旁边听。”唐嘉树拉开一把椅子坐下，喝了一口茶，“吵完了的话我来说两句。”

程司白走回自己的位置坐下。裴衍之也回到座位上。

唐嘉树放下茶杯，目光在两个人脸上轮流停了一下。

“你们两个的方案我大概听明白了。程司白的方案性能好，但稳定性有风险。裴衍之的方案稳定，但性能不够。对吧？”

两个人同时点头。

“那就简单了。”唐嘉树站起来，“两个方案都做。两周之后给测试数据对比。哪个好就用哪个。”

“唐总——”程司白开口。

“没有商量。”唐嘉树打断她，“项目不能因为你们的技术分歧卡住。两周时间够不够？”

程司白看了裴衍之一眼。他也正在看她。

“够。”两个人同时说。

唐嘉树点了点头，端著茶杯走出会议室。门关上的时候，何悦终于松了一口气，开始收拾东西。陆维安合上笔记型电脑，站起来准备走。

“何悦，你先出去。”程司白说。

何悦愣了一下，看了看程司白的表情，又看了看裴衍之的表情，然后拉著陆维安快步走出会议室。门在他们身后关上。

会议室里只剩下两个人。

程司白站在窗边，裴衍之站在会议桌的另一端。窗外的阳光透过百叶窗照进来，在地上投下一条一条的光影，正好把两个人隔开。