SIAM Review · 2022 · 71 citations · 182 references
ComputingComputer ScienceComputer SystemsDistributed SystemsQueuing TheorySchedulingCommunication OverheadDistributed ComputingLoad BalancingQueueing SystemsQueueing TheorySingle-server QueuesAsymptotic Analysis Of QueuesAsymptotic Queueing TheoryCommunication BurdenConstant DelaysQueue-based Load BalancingScalable Load BalancingScheduling OverheadSingle-server Queue Asymptotics
Load balancing distributes arriving tasks among N servers; centralized JSQ achieves vanishing delays but incurs high communication, while random sampling schemes like power‑of‑d reduce overhead at the cost of constant delays. We examine how the diversity parameter d(N) must grow with N to asymptotically match optimal JSQ performance on fluid and diffusion scales, providing a broad overview of recent advances. Using stochastic coupling and process limits, we establish asymptotic optimality and extend the analysis to infinite‑server, finite‑buffer, multi‑dispatcher, graph‑structured, and token‑based settings such as JIQ.
The basic load balancing scenario involves a single dispatcher where tasks arrive that must immediately be forwarded to one of $N$ single-server queues. We discuss recent advances on scalable load balancing schemes which provide favorable delay performance when $N$ grows large, and yet only require minimal implementation overhead. Join-the-Shortest-Queue (JSQ) yields vanishing delays as $N$ grows large, as in a centralized queueing arrangement, but involves a prohibitive communication burden. In contrast, power-of-$d$ or JSQ($d$) schemes that assign an incoming task to a server with the shortest queue among $d$ servers selected uniformly at random require little communication, but lead to constant delays. In order to examine this fundamental trade-off between delay performance and implementation overhead, we consider JSQ($d(N)$) schemes where the diversity parameter $d(N)$ depends on $N$ and investigate what growth rate of $d(N)$ is required to asymptotically match the optimal JSQ performance on fluid and diffusion scale. Stochastic coupling techniques and stochastic-process limits play an instrumental role in establishing the asymptotic optimality. We demonstrate how this methodology carries over to infinite-server settings, finite buffers, multiple dispatchers, servers arranged on graph topologies, and token-based load balancing including the popular Join-the-Idle-Queue (JIQ) scheme. In this way we provide a broad overview of the many recent advances in the field. This survey extends the short review presented at ICM 2018 (arXiv:1712.08555).
182
Rasmus Pagh, Flemming Friche Rodler · Journal of Algorithms · 2004 · 1.1K citations
Heavy-Traffic Limits for Queues with Many Exponential Servers
S. Halfin, Ward Whitt · Operations Research · 1981 · 771 citations
Yossi Azar, Andrei Broder, Anna R. Karlin et al. · SIAM Journal on Computing · 1999 · 754 citations