[论文解读] Stability and Capacity Regions or Discrete Time Queueing Networks

Michael J. Neely|arXiv (Cornell University)|Mar 17, 2010

Advanced Wireless Network Optimization参考文献 26被引用 50

一句话总结

该论文证明了网络容量区域——即在稳定性与时间平均属性约束下所有可实现流量速率向量的集合——在四种常见的稳定性定义下保持不变：速率稳定性、均值速率稳定性、稳态稳定性和强稳定性。在衰减记忆假设下，利用漂移加惩罚方法，证明了容量区域内部的任意速率向量均可实现强稳定性（因此也适用于所有定义），而位于该区域闭包之外的速率则在任何定义下本质上都是不稳定的。

ABSTRACT

We consider stability and network capacity in discrete time queueing systems. Relationships between four common notions of stability are described. Specifically, we consider rate stability, mean rate stability, steady state stability, and strong stability. We then consider networks of queues with random events and control actions that can be implemented over time to affect arrivals and service at the queues. The control actions also generate a vector of additional network attributes. We characterize the network capacity region, being the closure of the set of all rate vectors that can be supported subject to network stability and to additional time average attribute constraints. We show that (under mild technical assumptions) the capacity region is the same under all four stability definitions. Our capacity achievability proof uses the drift-plus-penalty method of Lyapunov optimization, and provides full details for the case when network states obey a decaying memory property, which holds for finite state ergodic systems and more general systems.

研究动机与目标

• 澄清离散时间排队网络中四种常见稳定性定义（速率稳定性、均值速率稳定性、稳态稳定性、强稳定性）之间的关系。
• 将网络容量区域表征为在稳定性与时间平均属性约束下所有可实现速率向量的闭包。
• 在温和的技术假设和衰减记忆性质下，证明容量区域在所有四种稳定性定义下保持一致。
• 展示在这些条件下，漂移加惩罚方法可实现容量区域，确保内部点的强稳定性。

提出的方法

• 论文采用李雅普诺夫漂移加惩罚框架，联合优化稳定性与性能，推导出时间窗内队列和约束漂移的界。
• 引入时间平均惩罚函数以建模额外的网络属性（如功率或延迟），并将其纳入优化目标。
• 分析假设网络事件（到达、信道）具有衰减记忆特性，涵盖有限状态遍历过程及更一般的系统。
• 通过证明强稳定性蕴含其他三种定义，且在温和的二阶矩有界性假设下，其他三种定义可推出均值速率稳定性，从而证明容量区域在不同稳定性定义下保持不变。
• 证明利用了詹森不等式和柯西-施瓦茨不等式来界定期望漂移，并证明收敛至最优区域。
• 证明若某速率向量位于容量区域内部，则存在一种控制策略，可确保所有队列实现强稳定性。

实验结果

研究问题

• RQ1 网络容量区域是否依赖于稳定性定义的选择——即速率、均值速率、稳态或强稳定性？
• RQ2 在具有衰减记忆的一般随机过程下，漂移加惩罚方法是否可实现整个容量区域？
• RQ3 在多队列网络设置中，强稳定性与其余三种稳定性定义之间存在何种关系？
• RQ4 将网络属性的时间平均约束纳入后，容量区域及其在不同稳定性定义下的不变性如何变化？
• RQ5 在何种条件下，给定的流量速率向量无论采用何种控制策略均不稳定，这与容量区域的闭包有何关联？

主要发现

• 在温和技术假设和衰减记忆性质成立时，容量区域在所有四种稳定性定义下保持一致。
• 均值速率稳定性是最弱的稳定性定义，因为在相同假设下，其余三种定义可推出它。
• 强稳定性蕴含其余三种定义，使其成为最稳健和最全面的稳定性准则。
• 对于具有独立同分布到达和服​​务的GI/GI/1队列，容量区域为[0, 1/2]，均值速率稳定性成立当且仅当λ ≤ 1/2，而强稳定性要求λ < 1/2（确定性情况除外）。
• 漂移加惩罚方法可实现整个容量区域，确保区域内部所有点的强稳定性。
• 所有四种定义下稳定速率集合的闭包完全相同，仅在边界点（如单队列示例中的λ = 1/2）可能存在差异。