Processor-Ring Communication: A Tight Asymptotic Bound on Packet Waiting Times

We consider N processors communicating unidirectionally over a closed transmission channel, or ring. Each message is assembled into a fixed-length packet. Packets to be sent are generated at random times by the processors, and the transit times spent by packets on the ring are also random. Packets being forwarded, i.e., packets already on the ring, have priority over waiting packets. The objective of this paper is to analyze packet waiting times under a greedy policy within a discrete Markov model that retains the overall structure of a practical system but is simple enough so that explicit results can be proved. Independent, identical Bernoulli processes model message generation at the processors, and independently and identically distributed (i.i.d.) geometric random variables model the transit times. Our emphasis is on asymptotic behavior for large ring sizes, $N$, when the respective rate parameters have the scaling $\lambda /N$ and $\mu /N$. Our main result shows that, if the traffic intensity is fixed at $\rho = \lambda / \mu < 1$, then as $N \to \infty$ the expected time a message waits to be put on the ring is bounded by a constant. This result verifies that the expected waiting time under the greedy policy is within a constant factor of that under an optimal policy.

[1]  S. Wittevrongel,et al.  Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.

[2]  Sheldon M. Ross,et al.  Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.

[3]  Philippe Robert,et al.  Queues Served by a Rotating Ring , 1995 .

[4]  Frank Thomson Leighton,et al.  Greedy dynamic routing on arrays , 1995, SODA '95.

[5]  Frank Thomson Leighton,et al.  Average case analysis of greedy routing algorithms on arrays , 1990, SPAA '90.

[6]  Bart van Arem,et al.  Analysis of a Queuing Model for Slotted Ring Networks , 1990, Comput. Networks ISDN Syst..

[7]  Leandros Tassiulas,et al.  A scheduling policy with maximal stability region for ring networks with spatial reuse , 1995, Queueing Syst. Theory Appl..

[8]  Leandros Tassiulas,et al.  Stability analysis of quota allocation access protocols in ring networks with spatial reuse , 1997, IEEE Trans. Inf. Theory.

[9]  Upendra Dave,et al.  Applied Probability and Queues , 1987 .

[10]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[11]  Luiz André Barroso,et al.  The performance of cache-coherent ring-based multiprocessors , 1993, ISCA '93.

[12]  Michel Dubois,et al.  The Performance Of Cache-coherent Ring-based Multiprocessors , 1993, Proceedings of the 20th Annual International Symposium on Computer Architecture.

[13]  F. Leighton,et al.  Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes , 1991 .

[14]  Frank Thomson Leighton Introduction to parallel algorithms and architectures: arrays , 1992 .