[论文解读] A Fast-CSMA Algorithm for Deadline-Constrained Scheduling over Wireless Fading Channels

Bin Li, Atilla Eryılmaz|arXiv (Cornell University)|Mar 13, 2012

Advanced Wireless Network Optimization参考文献 17被引用 21

一句话总结

本文提出了一种名为FCSMA的分布式调度算法，用于在时变衰落无线信道上支持具有截止时间约束的实时流量。与依赖马尔可夫链混合时间的传统CSMA不同，FCSMA通过快速达到并维持有利调度，加速了调度过程，在截止时间和丢包率约束下，实现了对最大可满足集合内所有实时流量的最优支持。

ABSTRACT

Recently, low-complexity and distributed Carrier Sense Multiple Access (CSMA)-based scheduling algorithms have attracted extensive interest due to their throughput-optimal characteristics in general network topologies. However, these algorithms are not well-suited for serving real-time traffic under time-varying channel conditions for two reasons: (1) the mixing time of the underlying CSMA Markov Chain grows with the size of the network, which, for large networks, generates unacceptable delay for deadline-constrained traffic; (2) since the dynamic CSMA parameters are influenced by the arrival and channel state processes, the underlying CSMA Markov Chain may not converge to a steady-state under strict deadline constraints and fading channel conditions. In this paper, we attack the problem of distributed scheduling for serving real-time traffic over time-varying channels. Specifically, we consider fully-connected topologies with independently fading channels (which can model cellular networks) in which flows with short-term deadline constraints and long-term drop rate requirements are served. To that end, we first characterize the maximal set of satisfiable arrival processes for this system and, then, propose a Fast-CSMA (FCSMA) policy that is shown to be optimal in supporting any real-time traffic that is within the maximal satisfiable set. These theoretical results are further validated through simulations to demonstrate the relative efficiency of the FCSMA policy compared to some of the existing CSMA-based algorithms.

研究动机与目标

• 解决现有基于CSMA的算法在时变衰落无线信道上支持具有截止时间约束的实时流量时的局限性。
• 识别在严格截止时间约束下，可支持的实时流量特征（以丢包率和信道统计为指标）的最大集合。
• 设计一种分布式调度策略，避免依赖缓慢的马尔可夫链混合时间，转而专注于快速吸收到有利调度中。
• 证明所提出的FCSMA策略在支持特征位于所表征的最大可满足集合内的任何实时流量方面具有最优性。

提出的方法

• FCSMA通过针对快速吸收到有利调度而非达到稳态分布，来绕过传统CSMA的缓慢收敛问题。
• 该算法使用李雅普诺夫漂移分析证明稳定性和性能边界，其漂移函数结合了队列长度和信道状态信息。
• 它引入了一种基于阈值的调度机制，优先安排队列拥塞高且信道条件有利的链路进行立即传输。
• 该策略根据队列拥塞和信道状态动态调整传输概率，确保对变化条件的快速响应。
• 理论分析采用以吸收时间为性能度量的马尔可夫链模型，与CSMA中传统的混合时间形成对比。
• 关键组成部分是使用函数 $ g(X_l) $ 表示队列拥塞，通过推导漂移边界以确保正递归性和稳定性。

实验结果

研究问题

• RQ1 在衰落信道上，具有严格截止时间和长期丢包率约束下，可支持的最大实时流量到达过程集合是什么？
• RQ2 如何设计一种分布式调度算法，在不依赖缓慢的马尔可夫链混合时间的前提下，实现对截止时间约束流的低延迟？
• RQ3 能否设计一种基于CSMA的策略，在时变信道条件下仍能保持高吞吐量，同时确保数据包在一个时隙内被服务？
• RQ4 对于一种避免稳态收敛、转而专注于快速选择调度的分布式算法，可提供哪些性能保证？
• RQ5 在现实的衰落和截止时间约束条件下，FCSMA策略与现有基于CSMA的算法在延迟和吞吐量方面相比如何？

主要发现

• 已证明FCSMA策略在支持位于截止时间与丢包率约束下最大可满足集合内的任何实时流量方面具有最优性。
• 该算法通过最小化吸收到有利调度的时间实现最优性能，相较于依赖混合时间的传统CSMA，显著降低了延迟。
• 理论分析表明，FCSMA所诱导的马尔可夫链是正递归的，确保了长期稳定性与有界队列长度。
• 仿真结果验证了在截止时间约束流量下，FCSMA在延迟和丢包率性能方面优于现有基于CSMA的算法。
• 漂移分析确认，期望队列拥塞保持有界，且 $ rac{1}{T} o rac{E}{ ilde{ heta}} < ilde{ heta} $，表明均值稳定性。
• 性能增益归因于从稳态收敛（混合时间）向吸收时间的转变，后者对于单时隙截止时间流量显著更快。