Counterfeiting Congestion Control Algorithms
Counterfeiting Congestion Control Algorithms
复制标题
DOI：
10.1145/3484266.3487381
复制
发表时间：
2021-11
期刊：
影响因子：
--
通讯作者：
Margarida Ferreira;Akshay Narayan;I. Lynce;R. Martins;Justine Sherry
中科院分区：
文献类型：
--
作者：
Margarida Ferreira;Akshay Narayan;I. Lynce;R. Martins;Justine Sherry
拥塞控制算法（CCAs）影响许多期望的互联网属性，例如性能、稳定性和公平性。因此，网络社区投入大量精力研究新算法是否适合大规模部署。然而，今天的运营商不断创新，一些已部署的CCA尚未发布-因为CCA处于测试阶段或因为它被认为是专有的。当这些新的CCA的内部工作原理未知时，网络社区如何评估它们？在本文中，我们提出了“假冒拥塞控制算法”-反向工程的实现，使用程序合成的基础上观察到的原始实现。使用伪造的（合成的）CCA实现，研究人员可以使用受控的经验测试台或数学分析来评估CCA，即使没有访问原始实现。我们最初的原型，“先生880”，可以合成几个基本的CCA，包括一个简化的里诺使用只有几个痕迹。
Congestion Control Algorithms (CCAs) impact numerous desirable Internet properties such as performance, stability, and fairness. Hence, the networking community invests substantial effort into studying whether new algorithms are safe for wide-scale deployment. However, operators today are continuously innovating and some deployed CCAs are unpublished - either because the CCA is in beta or because it is considered proprietary. How can the networking community evaluate these new CCAs when their inner workings are unknown? In this paper, we propose 'counterfeit congestion control algorithms' - reverse-engineered implementations derived using program synthesis based on observations of the original implementation. Using the counterfeit (synthesized) CCA implementation, researchers can then evaluate the CCA using controlled empirical testbeds or mathematical analysis, even without access to the original implementation. Our initial prototype, 'Mister 880,' can synthesize several basic CCAs including a simplified Reno using only a few traces.