[论文解读] Heavy-Traffic Insensitive Bounds for Weighted Proportionally Fair Bandwidth Sharing Policies

Weina Wang, Siva Theja Maguluri+2 more|arXiv (Cornell University)|Aug 6, 2018

Network Traffic and Congestion Control参考文献 30被引用 3

一句话总结

本文提出一种基于李雅普诺夫漂移的方法，推导出在加权比例公平策略下带宽共享网络中加权流计数期望值之和的显式、重交通无关界。该研究在稳态下建立了乘法型状态空间坍缩，所得界线性依赖于关键拥塞链路的数量，且与相型文件大小分布无关，同时表明扩散近似中极限可交换。

ABSTRACT

We consider a connection-level model proposed by Massoulié and Roberts for bandwidth sharing among file transfer flows in a communication network. We study weighted proportionally fair sharing policies and establish explicit-form bounds on the weighted sum of the expected numbers of flows on different routes in heavy traffic. The bounds are linear in the number of critically loaded links in the network, and they hold for a class of phase-type file-size distributions; i.e., the bounds are heavy-traffic insensitive to the distributions in this class. Our approach is Lyapunov-drift based, which is different from the widely used diffusion approximation approach. A key technique we develop is to construct a novel inner product in the state space, which then allows us to obtain a multiplicative type of state-space collapse in steady state. Furthermore, this state-space collapse result implies the interchange of limits as a by-product for the diffusion approximation of the equal-weight case under phase-type file-size distributions, demonstrating the heavy-traffic insensitivity of the stationary distribution.

研究动机与目标

• 分析在重交通网络中加权比例公平带宽共享策略的稳态性能。
• 推导不同路径上期望流计数加权和的显式、紧致界。
• 建立这些界对相型文件大小分布的重交通无关性。
• 通过状态空间坍缩证明扩散近似中极限可交换。
• 展示该漂移方法在扩散近似无法得出显式结果的复杂带宽共享模型中的适用性。

提出的方法

• 在状态空间中构造一种新型内积，以在稳态下实现乘法型状态空间坍缩。
• 直接应用李雅普诺夫漂移方法分析系统稳态行为，避免依赖扩散近似。
• 利用状态空间坍缩结果推导出期望流数的紧致尾部界。
• 使用普罗霍罗夫定理通过证明紧致性，建立缩放后稳态过程的弱收敛。
• 通过证明状态向量的正交分量在极限下趋于零，分析子序列的收敛性。
• 通过结合状态空间坍缩与扩散缩放过程收敛到极限扩散，建立极限可交换性。

实验结果

研究问题

• RQ1 能否在重交通下，为加权比例公平带宽共享中期望流计数的加权和推导出显式、闭式界？
• RQ2 只要文件大小分布为相型分布，这些界是否对具体形式不敏感？
• RQ3 漂移方法是否可用于在扩散近似难以处理的系统中建立状态空间坍缩与性能界？
• RQ4 状态空间坍缩结果是否意味着在等权情况下扩散近似中极限可交换？
• RQ5 在该设定下，李雅普诺夫漂移方法是否能比标准扩散近似框架得出更强的结果？

主要发现

• 本文建立了期望流计数加权和的显式上界与下界，其与关键拥塞链路数量呈线性关系。
• 这些界具有重交通无关性，即其主导项不依赖于文件大小的具体相型分布。
• 在稳态下证明了乘法型状态空间坍缩，表明当系统趋近重交通时，状态向量的正交分量趋于零。
• 状态空间坍缩结果意味着在等权情况下，扩散近似中极限可交换，从而验证了扩散极限的使用有效性。
• 李雅普诺夫漂移方法在扩散近似无法得出闭式结果的场景中，成功导出了显式界。
• 通过紧致性与子序列分析，确立了缩放后稳态过程收敛到极限扩散，证实了该近似的有效性。