互联网流量控制的朗之万模型及相变分析.pdfVIP

第 卷 第期 年月 物 理 学 报. , . , , / / / ?⑥ . .. 互联网流量控制的朗之万模型及相变分析 樊 华 李 理 袁 坚 山秀明 清华大学电子工程系,北京 年 月 日收到; 年 月 日收到修改稿 为互联网中的流量控制协议构建恰当模型,从而阐明具体协议算法与网络宏观性能问的关系,一直是互联网 研究者面临的重大挑战.本文通过逻辑演绎,建立了互联网传输控制协议下流量的朗之万方程.在此基础上,细致 分析了主动队列管理算法的有效性,在理论上证明了此类算法存在从畅通态到拥塞态到瘫痪态的相变过程,并给 出了相变临界点与系统参数的显式关系.本建模 分析方法虽以具体的主动队列管理算法为例,但其方法可以应 用于一般的网络流量控制问题 关键词:互联网,流量控制,朗之万方程,相变 : ,是,这种通/断突变在网络繁忙时常常引发网络流量 .引 言 的大范围震荡.此类震荡带给使用者的感觉就是网 络宏观性能的急剧恶化.因此,人们一直希望找到一 互联网的出现与高速发展无疑是上个世纪最重 种相对柔和的算法,能够避免网络宏观性能的恶化. 要的技术成就之一.但与其技术上的日趋完善相比, 工程师们从直觉出发,提出了算法,即路由器 人们对互联网运行机理的认识仍相对粗浅.如何构 根据自身队列的长度,主动参与对用户需求的控制, 建适当的模型来说明具体技术参数对用户宏观感受 从而避免通/断突变的出现.但在随后的测试和仿真 的影响,从而对互联网设计、组建进行有效地指引和 验证中,人们发现虽然可以在一定程度上改善 评估,就成为研究者面临的重大挑战. 网络性能,但其缺乏大范围的稳定性.当对应于某些 互联网设计的核心问题之一是流量控制.其中, 网络参数,调整算法参数使得系统稳定后,如果网络 主动队列管理 , 算法 参数发生变化,系统仍会发生大规模震荡,并导致宏 中的参数配置问题,是近 年来互联网研究领域一 观参数的急剧恶化.此即算法中的参数配置问 个备受关注的问题 . 题 .网络设计者们一直希望能够理解这种震荡 由于受到网络器件物理性能的限制,互联网需 产生的原因,并给出震荡发生的条件,进而找到有效 要对用户的流量,尤其是超出网络传输能力的流量 避免震荡的方法. 需求进行必要控制,以达到公平、高效利用网络资源 另一方面,理论研究者一直在尝试将网络宏观 的目的.目前通用的传输控制协议 性能的突变与相变问题相联系.现有工作已经发现 ,就实现了在有限带宽下公平地 网络中存在大量的相变现象 .但针对某一组特 动态分配用户需求的目标.协议使用的是简单 定协议,如何确认相变,进而如何解析地给出相变点 与协议参数的关系,仍处在摸索阶段. 丢弃方法,即当网络路由器节点处待传输数据包充 满存储队列时,简单丢弃此后到达的所有数据包,从 本文旨在通过演绎方法推导出算法的网 而降低此路由器负载,并通过在发送端的丢包检测 络流量方程,再在方程分析的基础上,给出网络宏观 隐性通知发送端降低发送速率.但相伴而生的问题 性能相变的产生机理及相变点参数的解析形式. 国家自然科学基金 批准号: ,, ,,国家重点基础研究发展计划 项目 批准号:资助的课题. 十 ?:.物 理 学 报卷 在此方面已有的一个重要工作属于 和 后在第 节中,对文中所用模型的结论和进一步扩? .他们首先将此问题阐述为反馈控制问题, 展进行了讨论. 并以路由器上队列的“平均队长”为受控变量,以丢 包概率为控制变量,列出了受控系统的方程,并对可 .模型建立 能导致震荡的原因给出了一个定性解释.他们的工 本文讨论如图 所示的一个单瓶颈通信结构. 作成为此后一系列工作的范例.但略有不足的是:在 他们的文章里,“平均队长”是个会导致偏差的选择. 在实际系统中,等待调节的量应该是此轨道下此次 实现中 的瞬时队长,如果将队长对系综作平均,将 失去控制的实际意义.因此在实现时,他们将此值取 为对时间的平均.但这样一来,模型就失去了精度, 因为只有在系统处于稳态时,两种平均才具有相等 的数值,但现在要研究的问题恰恰是系统是否存在 稳态.与此同时,他们给出的系统方程是通过排队论 图 基本通信链路模型 方法给出的一个半经验方程.此方程与排队论的大 在此系统中 。一 是 台发送端主机.它们通 多数结果一样,都是关于平均值的.因此,他们及后 过路由器 向连接在路由器 上的 台接收端主 继研究者皆无法给出算法的实时精确解释,更 机 一 不问断地发送大量数据 比如 业 无法得出此算法参数失配的定量条件 . 务 .假设每台主机到路由器的链路带宽足够高,延 在本文中,我们避开对队列的过度关注,转而关 时足够小这完全符合局域网中的情况 .因此整个 注具体流量.我们首先给出每个发送端在协议 系统的瓶颈就在于路由器 ,曰之