Variable Timestep Accumulator for Frame-Rate Adaptive Physics

游戏循环的核心矛盾在于渲染与物理两个时钟的速率不一致。渲染通常以显示刷新率为准，可能在 30Hz 至 240Hz 之间波动；而物理模拟若想保持确定性行为，最理想的状态是以固定时间步长稳定推进。当这两个时钟强行耦合时，物理行为会随帧率漂移 —— 快速移动的物体会穿墙，弹簧系统会爆炸，玩家会从地面跌落。可变 dt 累加模式（Variable Timestep with Accumulator）正是为解决这一问题而生的经典工程方案，其核心思想是将时间视为一种可被生产与消费的离散资源。

累加器模式的工作机制

累加器的运作逻辑可以概括为三个阶段：生产、分配与消费。首先，渲染循环每帧测量真实的帧间隔时间（frameTime），这个值是变化的，取决于显示器刷新率、系统负载和垂直同步设置。然后，将这个 frameTime 累加到一个浮点累加器（accumulator）中，累加器记录了尚未被物理模拟消费的挂起时间。最后，在消费阶段，只要累加器的值大于等于固定物理步长 dt，就执行一次固定步长的物理更新，并从累加器中减去相应的 dt 值。

这种设计的精妙之处在于物理更新与帧渲染的完全解耦。物理始终以 dt 为步长前进，无论渲染帧率是 30 还是 240，物理的积分步长保持一致。对于需要确定性行为的物理系统（如网络同步的锁步游戏、碰撞检测的穿透控制），这一特性至关重要。累加器充当了一个缓冲区，抹平了渲染时钟与物理时钟之间的抖动。

固定步长与变量步长的工程权衡

可变 dt 方案（每帧直接使用 frameTime 作为 dt）的优点是实现极其简单，且能天然匹配渲染节奏。但其致命缺陷是物理行为高度依赖帧率：相同的初始条件在不同帧率下会产生分歧的发散轨迹。积分步长越大，数值积分的误差呈非线性增长，欧拉积分的误差与步长成正比，而 RK4 等高阶方法也对步长敏感。对于弹簧阻尼系统或刚体碰撞检测，微小的 dt 差异会导致截然不同的收敛路径或碰撞穿透量。

固定 dt 方案（始终使用 1/60 秒）能保证物理的数值稳定性，但当帧率低于目标时，物理模拟速度会慢于真实时间 —— 游戏逻辑以慢动作运行。可变 dt 累加模式正是试图在两者之间找到折中：渲染时钟自由变化，物理时钟保持固定步长，通过累加器抹平差异。

从工程实现角度，选择 dt = 1/60 秒（16.666ms）是经验值。这个值既足够精细，能够捕捉大多数碰撞事件的临界条件；又不会导致物理更新成为性能瓶颈。如果你的游戏有非常刚性的约束（如高速子弹、绳索物理），可以考虑 dt = 1/120 或更小，并通过子步数（substeps）控制每帧最大物理计算量。

螺旋死亡防护与帧时间钳制

累加器模式引入了一个经典风险：螺旋死亡（spiral of death）。当物理模拟的计算成本高于其模拟的时间量时，每帧产生的帧时间会持续超过累加器所能消费的速度，导致模拟永远无法追上实时时钟。例如，假设物理模拟模拟 16ms 的内容需要 20ms 的真实时间，那么每帧都会产生 4ms 的净延迟积压，下一帧积压更多，计算量更大，最终系统崩溃式地变慢。

防护策略的第一层是帧时间钳制（frameTime clamping）。在任何累加操作之前，应当将 frameTime 限制在一个安全上限，典型值为 0.25 秒（即 250ms）。这个阈值背后的逻辑是：如果单帧的帧时间超过 250ms，系统一定处于极端负载或调试状态，此时应视为掉帧而非正常帧率。若不进行钳制，极端情况（如断点暂停后恢复、单帧处理大量物理体）会导致累加器瞬间膨胀，触发大量物理子步，进一步加剧卡顿。

第二层防护是每帧最大子步限制（max substeps cap）。通过限制每帧最多执行的物理更新次数，可以将模拟延迟优雅地转化为慢动作而非无限积压。当累加器要求的子步数超过上限时，超出部分被丢弃，物理模拟暂时落后于真实时间，但系统保持响应。这一策略在物理负载突增时表现为游戏节奏略微放缓，相比螺旋死亡，这是更可接受的降级行为。

状态插值与渲染平滑

累加器消费后，累加器中通常会剩余一个小于 dt 的余数时间。这个余数代表了物理模拟的 “预测盲区”—— 下一次物理更新尚未到达，但渲染已经需要输出当前帧的画面。最直接的方案是直接渲染 currentState，这会引入一个最多 dt/2 的渲染延迟，在快速运动场景中表现为明显的帧抖动。

状态插值方案通过维护两个状态快照来解决这个问题。在每次固定 dt 更新前，将 currentState 复制为 previousState，然后执行积分得到新的 currentState。渲染时，累加器中的余数除以 dt 得到插值因子 alpha（范围 0 到 1），然后对 previousState 和 currentState 进行线性插值：renderState = currentState * alpha + previousState * (1 - alpha)。当 alpha 接近 0 时，渲染状态接近 currentState；当 alpha 接近 1 时，接近下一次更新前夕的状态。这一方案将渲染延迟控制在亚帧级别，在视觉上消除了固定 dt 带来的离散感。

对于旋转类状态（使用四元数存储方向），需要使用球面线性插值（slerp）而非普通线性插值，以避免插值结果退化为非法的四元数。

监控指标与调参实践

在实际项目中部署可变 dt 累加器时，有几个关键指标需要持续监控。平均每帧子步数（avg substeps per frame）反映了物理负载与 dt 目标的匹配程度：若持续高于 1，说明每帧需要多个物理步，可能需要优化物理算法或增大 dt；若波动剧烈，说明帧率不稳定，需要检查渲染或物理的性能瓶颈。累加器占用率（accumulator occupancy = accumulator /dt）反映了插值因子分布：高占用率意味着渲染状态倾向于 previousState，低占用率倾向于 currentState，若分布极端化可能影响插值平滑度。

在实际调参中，dt 的选择应基于物理系统中最严格的时间约束。考虑一个最大速度 500 单位 / 秒的子弹系统，若允许的最大穿透距离为 0.5 单位，则 dt 必须小于 1ms—— 这在大多数游戏中是不切实际的。此时的工程折中是采用连续碰撞检测（CCD）或穿透惩罚力，而非无限制缩小 dt。可变 dt 累加模式的物理步长最终是一个工程权衡：在计算成本与数值精度之间找到可接受的下限。

资料来源：Gaffer On Games 的经典文章 "Fix Your Timestep!" 奠定了这一模式的基础，后续被广泛引用于游戏引擎架构设计中。

systems