基于主动队列管理的拥塞控制策略及其稳定性研究

摘要

拥塞控制机制在维护网络稳定和保障服务质量上起着至关重要的作用,其主要由基于端到端的传输控制协议(Transmission Control Protocol,TCP)和基于路由的主动队列管理(Active Queue Managment,AQM)组成。部署在路由端的AQM机制能够主动的避免和缓解网络拥塞,有着提高链路利用率、减少丢包率以及降低队列排队延时的优势。但研究表明,AQM算法面对动态突变以及混杂流量的网络场景,存在参数配置难、队列性能不稳定、链路利用率低等不足,进而引起了国内外学术界和工业界的关注。
　　 本文围绕着这一系列问题展开了对AQM机制的深入研究。首先搭建了一个基于NS2(Network Simulator2)的算法设计/性能测试平台,并通过此平台对几个典型的AQM算法进行分析和比较,归纳影响算法性能的主要因素。然后在此基础上,分别提出了3种不同类型的AQM算法。最后,使用丢包概率增益代替复杂的AQM算法控制函数,从非线性分岔理论的角度,着重分析了网络时滞τ对拥塞控制系统稳定性及动力学行为的影响。
　　 本文的主要工作和研究成果如下:
　　 1.针对目前国内外尚未有一个统一的AQM算法设计/测试框架,提出了一个基于NS2的AQM算法设计/性能测试平台架构。该平台包括四个模块:AQM算法引擎模块、性能分析模块、网络拓扑模块和流量突发模块。在分析和总结现实网络中各类拥塞突发场景的基础上,设计了一系列网络测试场景,并在该平台上验证了几种代表性的AQM算法性能。仿真结果表明:网络三元组(N,RTT,C)、短时Web流、非响应UDP(User Datagram Protocol)流以及AQM算法的拥塞检测尺度和队列控制函数,都将影响拥塞控制系统的性能。
　　 2.针对网络流量突变场景,为提高算法的瞬态响应性能,提出一种带加速因子的自适应SABlue(Self-tune Accelerate Blue)算法。该算法将瞬时队列长度作为早期拥塞检测参量,依据队列负载因子控制丢包步长,实现丢包概率幅度的自适应调整,最终将路由队列长度稳定在目标区域内。为了提高网络突变跨度较大情况时算法的性能,在队列警戒区域内引入了加速因子α,综合考虑算法各性能指标,最终选取α∈[1.43.7]区间。仿真结果表明:由于加速因子的引入,SABlue算法的瞬时队列收敛时间相对PI算法和SBlue算法快,且稳态队列控制性能与PI算法相当；同时,在面对各种突变的网络场景时,SABlue算法的瞬时队列收敛时间较短,链路利用率较高,丢包率较小,且具有一定的鲁棒性。
　　 3.针对复杂多变的网络场景,为获得更好的平滑过渡非线性控制输出效果,提出一种基于活动流参数估计的自适应模糊NFL(adaptive Fuzzy-Logic algorithm withactive-flow-Number estimation)算法。本文在综合权衡各性能指标的基础上,设计了一组能适应一定网络变化的模糊规则,并对该算法进行了运算优化。为捕获网络突发流,引入了一种基于Bloom Filter的无状态维护活动流参数估计策略,并依此提出一个模糊AQM输出增益补偿器。仿真结果表明:面对负载动态变化时,相对同类型的。FAFC算法和FEM算法,NFL算法能较好的适应网络变化,具有更快的收敛速度和稳定的稳态队列控制性能。
　　 4.为了解决UDP/TCP混杂流场景中AQM算法存在公平性问题,提出了一种速率感知的多虚拟队列RMVQ(Rate-perceptive Multi Virtual Queue)算法。该算法引入了区分服务思想,为UDP/TCP流维护两个逻辑上独立的虚拟队列,并对它们采用不同的拥塞控制策略。同时,根据活动流感知器提供的UDP流和TCP流负载特征,自适应动态的调整虚拟队列大小。仿真结果表明,相对其他算法,在面对混杂流的场景,RMVQ算法不仅提高了链路吞吐量,也保障了流之间的竞争公平性。
　　 5.由于不确定的网络时滞将会造成拥塞控制系统性能不稳定,本文将AQM算法进行模型化抽象,使用丢包概率增益k代替复杂的AQM算法控制函数的输出,来着重研究网络时滞τ对时滞GAIMD/AQM(Generalized Additive Increase Multiplicative Decrease/ActiveQueue Management)系统性能所造成的影响。通过分析时滞GAIMD/AQM系统的特征方程根分布情况,给出了关于时滞τ的系统稳定性充要条件。同时,将时滞τ作为分岔参数,应用中心流形定理和规范型理论,推得系统的Hopf分岔存在条件、周期解的Hopf分岔方向以及稳定性结论。基于上述结论,给出了拥塞控制参数对GAIMD(α,β)、网络三元组参数(N,τ,C)、丢包概率函数增益k对GAIMD/AQM系统分岔性质的影响规律。理论分析和仿真结果验证了上述分析的合理性和有效性。