摘要

  • 在 Keshav 的模型里，两个背靠背数据包会被路径上最慢的速率分配服务器拉开；确认包的间距让发送端可以估计这条会话获配的瓶颈服务速率。
  • 这个观测有延迟、有噪声。论文用自适应的模糊指数平均、队列目标点、稳定控制律与主动停发校准，把不完整观测约束成一次有限决策。
  • 包对不是通用带宽证明。该方法依赖类似公平排队的调度语义，明确不适用于普通先到先服务网络，也不保证零丢包、应用交付或服务质量。

先让空队列露出一个可读的动作

如果一条流已经在路由器中排队，连续确认包的节奏可能透露它获得服务的速度。真正难的是队列恰好为空：没有相邻的工作，也就没有可供观察的节拍。

Keshav 在 2019 年的回顾中，把灵感追溯到 1989 年 12 月伯克利一家咖啡馆。办法是把两个包背靠背发送。第一个包占用服务机会，第二个包在它后面等一个瞬间；路径上对这条会话服务最慢的节点，会把二者拉开得最明显。若确认包保留了这个间隔，发送端就能在不要求路由器显式报告速率的情况下得到估计。

这段个人回忆本身有清楚的证据等级：文章注明它是未经过同行评审的编辑札记，适合说明 Keshav 如何记得研究过程，不是独立性能验证。它还记录了重要归属边界：Samar Singh 与 Ashok Agrawala 在相近时间独立想到类似办法，后来三人合写了 1991 年的相关工作。控制论论文由 Keshav 单独署名，但“包对”不能被讲成一人的孤立发明。

可观测性来自调度器，而不是探针魔法

论文假设交换机输出队列使用速率分配服务器，即一种与公平排队、Virtual Clock 相近的轮转式服务。每条活跃会话得到相对可辨识的服务间隔。某节点在处理本流两个相邻包之间，还要轮到其他活跃会话；这个总间隔就是本流在该节点感受到的服务时间。路径上最大的间隔构成瓶颈。

包对之所以有意义，是因为背靠背发送先把人为间隔压到最小，再让调度器写入自己的节奏。更快的后续节点在模型中不会把瓶颈留下的间隔重新合拢。

这也解释了论文为何明确排除普通 FCFS 网络。先到先服务队列中，另一条流的一次突发就可能突然改变本流的等待节奏。若调度语义没有给每条会话相对稳定的份额，两个包无法单独建立同样的状态观测。探针只能读出系统愿意留下的结构。

返回的间距仍会被路途改写

发送端看到的并不是瓶颈队列本身。两只确认包在回程中可能遭遇不同排队，间距会被放大或压缩；正向路径上位于瓶颈之后的节点也可能给两个数据包添加不同延迟。即使接收端先测再汇报，也只能减少部分回程噪声，不能消除瓶颈之后的全部扰动。

因此，论文把服务速率当作带观测噪声的估计，并把真实分配速率的变化看作系统噪声。活跃会话加入或离开，下一轮可用的份额就会改变。一次返回间隔既是过去时，也不是无误差的读数。

Kalman 滤波在理论上可以给出最小方差估计，但它需要系统噪声与观测噪声的方差；这些数字仍要由测量或仿真提供。Keshav 认为这在实践中不够方便，于是采用模糊指数平均：系统显得稳定时，多信任历史；变化明显时，提高新观测的权重。这里的“模糊”不是放弃证据，而是公开说明遗忘速度如何随状态改变。

稳定性证明也有自己的入场券

控制器并未把最后一次测得的速率原样照抄为发送速率。它还使用未确认包数、往返时间、瓶颈服务速率估计和瓶颈队列占用估计，并选择一个目标队列深度。

论文为论证方便使用 B/2：队列太空，轮到本流时可能没有包可发；队列太满，则时延与丢包风险增大。在噪声对称的模型里，半满用于平衡两端风险。作者也明确说可以选择别的目标点。它不是延续至今的通用参数。

最初推导出的控制器极点落在单位圆上，不能渐近稳定。引入极点配置参数后，在既定线性模型中可把极点移入单位圆。后续的连续时间版本还允许每收到一次探针就采取动作，而不是固定每个 RTT 一次。证明是实质成果，但证明对象是那组方程：线性动态、流体近似、可观测的速率分配服务与约定噪声。它不会自动覆盖所有同名实现。

用一次停发，把估计重新接回现实

由旧估计推算新估计，误差可能逐轮积累。内部数字彼此一致，并不代表它们仍与真实队列一致。

论文的修复并不是再叠一层平滑，而是付出可见成本：发出一对特殊数据包，然后停发，直到确认返回。由于后面没有新包，本流在瓶颈处的队列可以排空，发送端便能把队列估计重置为零。代价大约是一个 RTT 的带宽闲置。

这一动作让校准本身成为记录。控制器先创造一个可验证的空状态，再恢复工作。与其把不确定性藏进更精细的小数，不如用短暂沉默重建起点。

速率控制仍不保证零丢包。论文把窗口控制作为另一道保守上限，并假定每条会话可获得相应缓冲。速率环选择运行点，窗口限制最坏边缘；两者的承诺不能互相借用。

两个包没有获得的权力

1991 年论文只给出仿真的定性总结，详细结果在博士论文等材料中，真实网络测量被列为未来工作。线性模型无法充分容纳所有窗口交互；高斯白噪声、单会话视角和把其他用户归入噪声，都是明示限制。

后来“包间距”方法常被用于讨论链路容量或可用带宽，但不能把后来的含义反向写进这篇论文。Keshav 的包对，在特定 RAS 调度模型下估计一条会话获配的服务速率；它本身不证明物理链路速率、剩余容量、端到端吞吐、零丢包或应用结果。

Cambridge 官方简介记录了 Keshav 从 Berkeley、Bell Labs、Cornell、Waterloo 到 Cambridge 的经历；个人网站还特别说明，Keshav 是他的名字，只是在语法位置上放在最后。这个历史机制最值得保留的，是测量与适用条件的绑定：间距、调度器、方向、时间和噪声必须一起进入账本，数字才能进入控制。

来源