中文

契约:拥塞控制鲁健性、公平性、拥塞与通用性的统一视角

网络与互联网体系结构 2025-06-09 v2

摘要

拥塞控制算法(CCA)在部分可观测环境中运行,缺乏对链路容量或竞争流量的直接可见性。为确保公平共享网络资源,CCA 通过可观察信号传递其公平份额。例如,Reno 的公平份额编码为 1/loss rate\propto 1/\sqrt{\texttt{loss rate}}。我们将此类通信机制称为"契约"。我们表明,契约的设计选择决定了若干关键稳态性能指标,包括对拥塞信号误差的鲁健性、公平性、拥塞量(如延迟、丢包)以及通用性(如支持的链路速率范围)。这导致这些指标之间存在根本性的权衡。通过分析契约的属性,我们还识别出导致资源饿死(极端不公平)的设计陷阱。我们认为,CCA 的设计与分析应从契约开始,以有意识地选择权衡并避免陷阱。我们通过实验验证了我们的发现,并讨论了其对 CCA 设计和网络测量的影响。

关键词

引用

@article{arxiv.2504.18786,
  title  = {Contracts: A unified lens on congestion control robustness, fairness, congestion, and generality},
  author = {Anup Agarwal and Venkat Arun and Srinivasan Seshan},
  journal= {arXiv preprint arXiv:2504.18786},
  year   = {2025}
}