[论文解读] Queue Length Behavior in a Switch under the MaxWeight Algorithm

Siva Theja Maguluri, R. Srikant|arXiv (Cornell University)|Mar 19, 2015

Advanced Queuing Theory Analysis参考文献 16被引用 11

一句话总结

本文通过李雅普诺夫漂移技术，表征了在 MaxWeight 调度算法下，$n \times n$ 交换机在重负载条件下的总队列长度稳态行为，证明重负载缩放后的队列长度为 $\left(1 - \frac{1}{2n}\right)\|\sigma\|^{2}$，其最优性在两倍因子范围内接近通用下界。对于均匀伯努利到达，结果为 $n - \frac{3}{2} + \frac{1}{2n}$，证实了 MaxWeight 在重负载情形下的近似最优性。

ABSTRACT

We consider a switch operating under the MaxWeight scheduling algorithm, under any traffic pattern such that all the ports are loaded. This system is interesting to study since the queue lengths exhibit a multi-dimensional state-space collapse in the heavy-traffic regime. We use a Lyapunov-type drift technique to characterize the heavy-traffic behavior of the expectation of the sum queue lengths in steady-state, under the assumption that all ports are saturated and all queues receive non-zero traffic. Under these conditions, we show that the heavy-traffic scaled queue length is given by $\left(1-\frac{1}{2n} ight)||σ||^2$, where $σ$ is the vector of the standard deviations of arrivals to each port in the heavy-traffic limit. In the special case of uniform Bernoulli arrivals, the corresponding formula is given by $\left(n-\frac{3}{2}+\frac{1}{2n} ight)$. The result shows that the heavy-traffic scaled queue length has optimal scaling with respect to $n,$ thus settling one version of an open conjecture; in fact, it is shown that the heavy-traffic queue length is at most within a factor of two from the optimal. We then consider certain asymptotic regimes where the load of the system scales simultaneously with the number of ports. We show that the MaxWeight algorithm has optimal queue length scaling behavior provided that the arrival rate approaches capacity sufficiently fast.

研究动机与目标

• 解决关于 MaxWeight 是否在均匀流量下对 $n \times n$ 交换机实现最优队列长度缩放的开放问题。
• 分析当完全资源池化（CRP）条件被违反时（如在均匀饱和条件下发生的情况）的稳态总队列长度行为。
• 证明即使在多维状态空间坍缩条件下，MaxWeight 仍能保持近似最优的缩放性能。
• 验证关于 MaxWeight 在重负载交换系统中性能的长期猜想之一。
• 将李雅普诺夫漂移方法扩展至非 CRP 条件，以表征一般随机到达下的队列长度矩。

提出的方法

• 应用一种李雅普诺夫型漂移技术，通过在稳态下令漂移为零，推导出稳态队列长度矩的界。
• 提出一种新颖的状态空间坍缩形式，以队列长度矩表示，即使在无 CRP 条件下也成立。
• 通过在多个时间槽上对精心构造的李雅普诺夫函数进行漂移分析，处理多维状态空间坍缩。
• 通过分析重负载缩放下的漂移条件，推导出期望总队列长度的上下界。
• 证明重负载缩放后的队列长度为 $\left(1 - \frac{1}{2n}\right)\|\sigma\|^{2}$，其中 $\sigma$ 是各端口到达标准差的向量。
• 考虑负载随 $n$ 增长的渐近情形，证明当 $\gamma_n n^{-\beta} \to 0$ 时，MaxWeight 下平均队列长度实现 $\Theta(n^{1+\beta})$ 缩放。

实验结果

研究问题

• RQ1 在均匀流量下，尽管违反了 CRP 条件，MaxWeight 算法是否在 $n \times n$ 交换机中实现了重负载下的最优队列长度缩放？
• RQ2 李雅普诺夫漂移方法能否扩展至表征多维状态空间坍缩下的稳态队列长度矩？
• RQ3 在重负载下，对于均匀伯努利到达，MaxWeight 下期望总队列长度的精确渐近行为是什么？
• RQ4 MaxWeight 算法的性能在渐近情形下距离队列长度缩放的通用下界有多近？
• RQ5 即使系统不处于 CRP 状态，MaxWeight 下的稳态平均队列长度是否仍在最优缩放的常数因子范围内？

主要发现

• 在 MaxWeight 下，重负载缩放后的总队列长度为 $\left(1 - \frac{1}{2n}\right)\|\sigma\|^{2}$，其中 $\sigma$ 是各端口到达标准差的向量。
• 对于均匀伯努利到达，稳态总队列长度缩放为 $n - \frac{3}{2} + \frac{1}{2n}$，其与最优值的差距小于两倍因子。
• MaxWeight 算法在渐近情形下实现了平均队列长度的 $\Theta(n^{1+\beta})$ 缩放，当负载随 $n$ 增长时，其与通用下界仅相差一个常数因子。
• 李雅普诺夫漂移方法成功表征了非 CRP 条件下多维状态空间坍缩的队列长度矩。
• 对期望总队列长度的界是紧致的：当 $\beta > 4$ 时，有 $\mathbb{E}\left[\sum_{ij}\overline{q}_{ij}^{(n)}\right] = \frac{n^{1+\beta}}{\gamma_n} \pm o(n^{1+\beta})$，证实了最优缩放。
• 该结果验证了关于 MaxWeight 性能的长期猜想之一，表明其在重负载缩放下近乎最优。