Delay-sensitive communications: code-rates, strategies, and distributed control

An ever increasing demand for instant and reliable information on modern communication networks forces codewords to operate in a non-asymptotic regime. To achieve reliability for imperfect channels in this regime, codewords need to be re-transmitted from receiver to the transmit buffer, aided by a fast feedback mechanism. Large occupancy of this buffer results in longer communication delays. Therefore, codewords need to be designed carefully to reduce transmit queue-length and thus the delay experienced in this buffer. We first study the consequences of physical layer decisions on the transmit buffer occupancy. We develop an analytical framework to relate physical layer channel to the transmit buffer occupancy. We compute the optimal code-rate for finite-length codewords operating over a correlated channel, under certain communication service guarantees. We show that channel memory has a significant impact on this optimal code-rate. Next, we study the delay in small ad-hoc networks. In particular, we find out what rates can be supported on a small network, when each flow has a certain end-to-end service guarantee. To this end, service guarantee at each intermediate link is characterized. These results are applied to study the potential benefits of setting up a network suitable for network coding in multicast. In particular, we quantify the gains of network coding over classic routing for service provisioned multicast communication over butterfly networks. In the wireless setting, we study the tradeoff between communications gains achieved by network coding and the cost to set-up a network enabling network coding. In particular, we show existence of scenarios where one should not attempt to create a network suitable for coding. Insights obtained from these studies are applied to design a distributed rate control algorithm in a large network. This algorithm maximizes sum-utility of all flows, while satisfying per-flow end-to-end service guarantees. We introduce a notion of effective-capacity per communication link that captures the service requirements of flows sharing this link. Each link maintains a price and effective-capacity, and each flow maintains rate and dissatisfaction. Flows and links update their respective variables locally, and we show that their decisions drive the system to an optimal point. We implemented our algorithm on a network-simulator and studied its convergence behavior on few networks of practical interest.

[1]  R. Srikant,et al.  TCP-Illinois: A loss- and delay-based congestion control algorithm for high-speed networks , 2008, Perform. Evaluation.

[2]  Parimal Parag,et al.  Resource Allocation and Quality of Service Evaluation for Wireless Communication Systems Using Fluid Models , 2007, IEEE Transactions on Information Theory.

[3]  Atilla Eryilmaz,et al.  Control for Inter-session Network Coding , 2006 .

[4]  Stephen B. Wicker,et al.  Applications of Error-Control Coding , 1998, IEEE Trans. Inf. Theory.

[5]  Bruce Hajek,et al.  Birth-and-death processes on the integers with phases and general boundaries , 1982, Journal of Applied Probability.

[6]  Rayadurgam Srikant,et al.  The Mathematics of Internet Congestion Control , 2003 .

[7]  Devavrat Shah,et al.  ARQ for network coding , 2008, 2008 IEEE International Symposium on Information Theory.

[8]  Yu-Han Chang,et al.  On Constructive Network Coding for Multiple Unicasts , 2006 .

[9]  Steven H. Low,et al.  Optimization flow control—I: basic algorithm and convergence , 1999, TNET.

[10]  Jean C. Walrand,et al.  Effective bandwidths for multiclass Markov fluids and other ATM sources , 1993, TNET.

[11]  Wei Wu,et al.  Optimal power allocation for a time-varying wireless channel under heavy-traffic approximation , 2006, IEEE Transactions on Automatic Control.

[12]  Hamid Ahmadi,et al.  Equivalent Capacity and Its Application to Bandwidth Allocation in High-Speed Networks , 1991, IEEE J. Sel. Areas Commun..

[13]  Onno J. Boxma,et al.  The busy period in the fluid queue , 1998, SIGMETRICS '98/PERFORMANCE '98.

[14]  Vaidyanathan Ramaswami,et al.  Introduction to Matrix Analytic Methods in Stochastic Modeling , 1999, ASA-SIAM Series on Statistics and Applied Mathematics.

[15]  Debasis Mitra,et al.  Effective bandwidth of general Markovian traffic sources and admission control of high speed networks , 1993, IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings.

[16]  A. Ephremides,et al.  On the queueing delay of a multicast erasure channel , 2006, 2006 IEEE Information Theory Workshop - ITW '06 Chengdu.

[17]  A. Robert Calderbank,et al.  Layering as Optimization Decomposition: A Mathematical Theory of Network Architectures , 2007, Proceedings of the IEEE.

[18]  Samuli Aalto Output from an A-M-S type fluid queue , 1994 .

[19]  R. Srikant,et al.  Network Optimization and Control , 2008, Found. Trends Netw..

[20]  Hong Shen Wang,et al.  Finite-state Markov channel-a useful model for radio communication channels , 1995 .

[21]  Cheng-Shang Chang,et al.  Sample path large deviations and intree networks , 1995, Queueing Syst. Theory Appl..

[22]  Richard V. Evans Geometric Distribution in Some Two-Dimensional Queuing Systems , 1967, Oper. Res..

[23]  Kohji Itoh,et al.  Asymptotic performance of a modified Schalkwijk-Barron scheme for channels with noiseless feedback (Corresp.) , 1979, IEEE Trans. Inf. Theory.

[24]  Rudolf Ahlswede,et al.  Network information flow , 2000, IEEE Trans. Inf. Theory.

[25]  Cheng Jin,et al.  FAST TCP: Motivation, Architecture, Algorithms, Performance , 2006, IEEE/ACM Transactions on Networking.

[26]  Reinhard Lang,et al.  Spectral Theory of Random Schrödinger Operators , 1991 .

[27]  Marcel F. Neuts,et al.  Matrix-geometric solutions in stochastic models - an algorithmic approach , 1982 .

[28]  Anthony Ephremides,et al.  A queueing model for random linear coding , 2007, MILCOM 2007 - IEEE Military Communications Conference.

[29]  Nihar Jindal,et al.  Coding versus ARQ in Fading Channels: How Reliable Should the PHY Be? , 2011, IEEE Trans. Commun..

[30]  Sanjay Shakkottai,et al.  Effective Capacity and QoS for Wireless Scheduling , 2008, IEEE Transactions on Automatic Control.

[31]  K F.P.,et al.  STATE SPACE COLLAPSE AND DIFFUSION APPROXIMATION FOR A NETWORK OPERATING UNDER A FAIR BANDWIDTH SHARING POLICY , 2004 .

[32]  R. Koetter,et al.  An algebraic approach to network coding , 2001, Proceedings. 2001 IEEE International Symposium on Information Theory (IEEE Cat. No.01CH37252).

[33]  Anthony Ephremides,et al.  Cross-Layer Optimization of MAC and Network Coding in Wireless Queueing Tandem Networks , 2008, IEEE Transactions on Information Theory.

[34]  R. Srikant,et al.  Optimal Delay–Throughput Tradeoffs in Mobile Ad Hoc Networks , 2008, IEEE Transactions on Information Theory.

[35]  Micheal Rubinovitch The output of a buffered data communication system , 1973 .

[36]  S. Asmussen,et al.  Applied Probability and Queues , 1989 .

[37]  Parimal Parag,et al.  Code rate, queueing behavior and the correlated erasure channel , 2010, 2010 IEEE Information Theory Workshop on Information Theory (ITW 2010, Cairo).

[38]  B. Conolly Structured Stochastic Matrices of M/G/1 Type and Their Applications , 1991 .

[39]  Richard J. Gibbens,et al.  Effective bandwidths for the multi-type UAS channel , 1991, Queueing Syst. Theory Appl..

[40]  M. Medard,et al.  On Delay Performance Gains From Network Coding , 2006, 2006 40th Annual Conference on Information Sciences and Systems.

[41]  Glenn Vinnicombe,et al.  ON THE STABILITY OF NETWORKS OPERATING TCP-LIKE CONGESTION CONTROL , 2002 .

[42]  Marwan Krunz,et al.  Bandwidth allocation in wireless networks with guaranteed packet-loss performance , 2000, TNET.

[43]  Ward Whitt,et al.  Tail probabilities with statistical multiplexing and effective bandwidths in multi-class queues , 1993, Telecommun. Syst..

[44]  Larry L. Peterson,et al.  Computer Networks: A Systems Approach, 5/E. , 2016 .

[45]  Peter Sanders,et al.  Polynomial time algorithms for multicast network code construction , 2005, IEEE Transactions on Information Theory.

[46]  R. Gallager Information Theory and Reliable Communication , 1968 .

[47]  Rudolf Ahlswede,et al.  To get a bit of information may be as hard as to get full information , 1981, IEEE Trans. Inf. Theory.

[48]  Y. Bar-Shalom,et al.  Censoring sensors: a low-communication-rate scheme for distributed detection , 1996, IEEE Transactions on Aerospace and Electronic Systems.

[49]  Prasanna Chaporkar,et al.  Adaptive network coding and scheduling for maximizing throughput in wireless networks , 2007, MobiCom '07.

[50]  Anthony Ephremides,et al.  Information Theory and Communication Networks: An Unconsummated Union , 1998, IEEE Trans. Inf. Theory.

[51]  Vidyadhar G. Kulkarni Effective bandwidths for Markov regenerative sources , 1997, Queueing Syst. Theory Appl..

[52]  Daniel Pérez Palomar,et al.  A tutorial on decomposition methods for network utility maximization , 2006, IEEE Journal on Selected Areas in Communications.

[53]  Sanjay Shakkottai,et al.  Looking at Large Networks: Coding vs. Queueing , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[54]  Cheng-Shang Chang,et al.  Effective bandwidths of departure processes from queues with time varying capacities , 1995, Proceedings of INFOCOM'95.

[55]  Mung Chiang,et al.  Rethinking internet traffic management: from multiple decompositions to a practical protocol , 2007, CoNEXT '07.

[56]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[57]  Chun-Hung Liu,et al.  Network Coding for Two-Way Relaying: Rate Region, Sum Rate and Opportunistic Scheduling , 2008, 2008 IEEE International Conference on Communications.

[58]  Frank Kelly,et al.  Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..

[59]  Ness B. Shroff,et al.  Optimization Based Rate Control for Communication Networks with Inter-Session Network Coding , 2008, IEEE INFOCOM 2008 - The 27th Conference on Computer Communications.

[60]  Samuli Aalto,et al.  Tandem fluid queues fed by homogeneous on-off sources , 2000, Oper. Res. Lett..

[61]  Samuli Aalto Characterization of the output rate process for a Markovian storage model , 1998 .

[62]  J. W. Brown,et al.  Complex Variables and Applications , 1985 .

[63]  Rohit Negi,et al.  Analysis of Delay Statistics for the Queued-Code , 2009, 2009 IEEE International Conference on Communications.

[64]  Aylin Yener,et al.  On the energy-delay trade-off of a two-way relay network , 2008, 2008 42nd Annual Conference on Information Sciences and Systems.

[65]  Parimal Parag,et al.  Value-aware Resource Allocation for Service Guarantees in Networks , 2010, 2010 Proceedings IEEE INFOCOM.

[66]  Thomas E. Stern,et al.  Analysis of separable Markov-modulated rate models for information-handling systems , 1991, Advances in Applied Probability.

[67]  Dirk P. Kroese,et al.  Joint Distributions for Interacting Fluid Queues , 2001, Queueing Syst. Theory Appl..

[68]  Andrea J. Goldsmith,et al.  Outage capacities and optimal power allocation for fading multiple-access channels , 1999, WCNC. 1999 IEEE Wireless Communications and Networking Conference (Cat. No.99TH8466).

[69]  Cheng-Shang Chang,et al.  Stability, queue length, and delay of deterministic and stochastic queueing networks , 1994, IEEE Trans. Autom. Control..

[70]  Theodore S. Rappaport,et al.  Wireless Communications: Principles and Practice (2nd Edition) by , 2012 .

[71]  Laurence B. Milstein,et al.  On the effect of imperfect interleaving for the Gilbert-Elliott channel , 1999, IEEE Trans. Commun..

[72]  D. Mitra Stochastic theory of a fluid model of producers and consumers coupled by a buffer , 1988, Advances in Applied Probability.

[73]  Frank P. Kelly,et al.  Effective bandwidths at multi-class queues , 1991, Queueing Syst. Theory Appl..

[74]  Jorma T. Virtamo,et al.  Fluid queue driven by anM/M/1 queue , 1994, Queueing Syst. Theory Appl..

[75]  C H Chang,et al.  EFFECTIVE BANDWIDTH IN HIGHSPEED DIGITAL NETWORKS , 1995 .

[76]  Jean C. Walrand,et al.  Resource Management in Wide-Area ATM Networks Using Effective Bandwiths , 1995, IEEE J. Sel. Areas Commun..

[77]  Dapeng Wu,et al.  Effective capacity: a wireless link model for support of quality of service , 2003, IEEE Trans. Wirel. Commun..

[78]  M. Thomas Queueing Systems. Volume 1: Theory (Leonard Kleinrock) , 1976 .

[79]  Parimal Parag,et al.  Quality of Service Analysis for Wireless User-Cooperation Networks , 2007, IEEE Transactions on Information Theory.

[80]  Ward Whitt,et al.  A Storage Model with a Two-State Random Environment , 1992, Oper. Res..

[81]  Tom Kelly,et al.  Scalable TCP: improving performance in highspeed wide area networks , 2003, CCRV.

[82]  P. Sadeghi,et al.  Finite-state Markov modeling of fading channels - a survey of principles and applications , 2008, IEEE Signal Processing Magazine.

[83]  Frank Kelly,et al.  Charging and rate control for elastic traffic , 1997, Eur. Trans. Telecommun..

[84]  Mohamed-Slim Alouini,et al.  Outage probability of diversity systems over generalized fading channels , 2000, IEEE Trans. Commun..

[85]  Emre Telatar,et al.  A Simple Converse of Burnashev's Reliability Function , 2006, IEEE Transactions on Information Theory.

[86]  D. Mitra,et al.  Stochastic theory of a data-handling system with multiple sources , 1982, The Bell System Technical Journal.

[87]  F. Xue,et al.  MAC-layer and PHY-layer Network Coding for Two-way Relaying : Achievable Regions and Opportunistic Scheduling , 2007 .