联机不卡却总被踢出重下地图？Factorio 掉同步真正的原因

Factorio 的联机模型写在 Friday Facts 第 76 期，和大多数玩家的直觉正好相反：没有服务器给每个人发当前世界。每个联网节点都在完整模拟世界上发生的一切，玩家行动时，传给别人的只有这个行动。带宽因此极小——键盘每秒只能产生几百字节，几百个物体的地图和几百万个物体的地图玩起来感觉一样。代价是小误差无法被纠正，只会累积，直到两个玩家看到的游戏完全不同，这就是 Factorio 玩家说的掉同步。同一篇还说了另一个代价：游戏速度受最慢玩家限制，因为一帧要等所有其他节点的输入处理完才能结束，而缓解这个问题的延迟缓冲又会拖慢本地操作。换句话说，变慢是模型自带的，掉同步不是变慢，是跑偏。

Friday Facts 第 188 期写于 0.15 实验版需要玩家帮忙修掉同步的时候，给出了可操作的定义：所有玩家必须每一 tick 都模拟得完全相同，任何一台电脑哪怕只差一点点，就会掉同步，被踢出的玩家要重连并重新下载地图。这篇还给出了让这类 bug 能被修掉的上报方法：掉同步报告里有服务器和客户端的状态可供对比，而最有用的上报要附上玩家当时在做什么、以及复现步骤，比如加载这个存档、等朋友进来、点一下这个机械臂、就掉同步。光一个报告文件、没有上下文，线索价值很弱。

Friday Facts 第 340 期调查了两起带 mod 的掉同步报告，那一周玩家上报比平时多，背景是 Krastorio 2 刚发布。第一个案例的起点是个合理的设计：在 Construction Drones 风格的 mod 里，玩家记录自己拥有的无人机，每架无人机也记录属于哪个玩家。运行时互相引用完全没问题，存档时问题来了：Serpent 序列化器遍历 global 里的全部数据，遇到循环引用就先写一个占位值、之后再回来修正。问题在于 Serpent 选了 nil 当占位值，而在 Lua 里把表值写成 nil 就等于删除这个键。占位值在位期间，遍历根本看不到这个键，等 Serpent 回来修正时，由于 Factorio 定制版 Lua 更深层的细节，每个节点存下来的表顺序各不相同。Boskid 的修复实际只有一词之改：把占位值从 nil 改成 0，让迭代顺序在保存和加载后保持一致。原文说问题很深、很难找，修复很简单。两半都重要：一词之改不等于浅 bug。

第二起报告来自同时用 Krastorio 2 和 Rampant mod 的玩家，表面看很像 Rampant 的错，因为差异全在单位位置，而 Rampant 就是管单位的。真正的原因安静得多：一个单位组会按组内最慢单位缓存一个最大速度值，但这个值没有随存档保存，而是每次加载时重新计算。这条逻辑一直都在，但 0.17 之前单位最大速度只由原型决定，重算结果永远不变。0.17 新增了两项 mod 能力——单位受地形影响、脚本可直接改单位速度——而基础游戏本身不用这两项，问题就一直藏着，直到有 mod 用上。在 Krastorio 2 的 creep 地形上走（这种地形会惩罚单位速度），加载后组算出的最大速度更低，两局模拟就此分叉。修复是让单位在必要时通知组重新计算，而不是信任一个加载时被悄悄改掉的值。两个案例背后的规律是一句话：bug 很少在你看得见的、正在动的逻辑里，而在那些你以为加载后自然会算对的值和顺序里。

第 340 期的两个案例，踩在 Friday Facts 反复讲的更老规律上。第 63 期说，大多数掉同步来自没有正确初始化或保存的隐藏状态，并描述了用 heavy mode 跑可疑存档来猎杀这类 bug 的做法——本文只讲这个思路，因为原文没有给出可照抄的命令或步骤。第 70 期报告了一次动到 Factorio 所用 Lua 深层内部的修复，起因是 mod 按不确定顺序遍历哈希表的值导致掉同步。第 242 期补充了不变量：墙上永远不能再叠一堵墙，因为相邻墙块可能在不同玩家那里连到不同的墙上而掉同步，传送带、管道、铁轨有类似不变量。Factorio 对此的回答是在版本迁移时全量扫一遍地图的一致性检查。对单人开发者来说，能带走的不是 Factorio 的任何工具——那些只属于 Factorio——而是这张清单：存档里的值、固定的顺序、占位值的语义、变化时的通知、写出来并主动检查的不变量，而不是默认它们成立。