New Competitiveness Bounds for the Shared Memory Switch

07/09/2019
by   Ivan Bochkov, et al.
0

We consider one of the simplest and best known buffer management architectures: the shared memory switch with multiple output queues and uniform packets. It was one of the first models studied by competitive analysis, with the Longest Queue Drop (LQD) buffer management policy shown to be at least $\sqrt{2}$- and at most $2$-competitive; a general lower bound of $4/3$ has been proven for all deterministic online algorithms. Closing the gap between $\sqrt{2}$ and $2$ has remained an open problem in competitive analysis for more than a decade, with only marginal success in reducing the upper bound of $2$. In this work, we first present a simplified proof for the $\sqrt{2}$ lower bound for LQD and then, using a reduction to the continuous case, improve the general lower bound for all deterministic online algorithms from $\frac 43$ to $\sqrt{2}$. Then, we proceed to improve the lower bound of $\sqrt{2}$ specifically for LQD, showing that LQD is at least $1.44546086$-competitive. We are able to prove the bound by presenting an explicit construction of the optimal clairvoyant algorithm which then allows for two different ways to prove lower bounds: by direct computer simulations and by proving lower bounds via linear programming. The linear programming approach yields a lower bound for LQD of $1.4427902$ (still larger than $\sqrt{2}$).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/07/2020

Breaking the Barrier of 2 for the Competitiveness of Longest Queue Drop

We consider the problem of managing the buffer of a shared-memory switch...
research
02/19/2020

Improved Approximate Degree Bounds For k-distinctness

An open problem that is widely regarded as one of the most important in ...
research
01/04/2020

Discovering and Certifying Lower Bounds for the Online Bin Stretching Problem

There are several problems in the theory of online computation where tig...
research
05/20/2020

A New Lower Bound for Deterministic Truthful Scheduling

We study the problem of truthfully scheduling m tasks to n selfish unrel...
research
11/07/2017

Revisionist Simulations: A New Approach to Proving Space Lower Bounds

Determining the space complexity of x-obstruction-free k-set agreement f...
research
12/31/2020

I/O Lower Bounds for Auto-tuning of Convolutions in CNNs

Convolution is the most time-consuming part in the computation of convol...
research
06/30/2018

An optimal algorithm for 2-bounded delay buffer management with lookahead

The bounded delay buffer management problem, which was proposed by Kesse...

Please sign up or login with your details

Forgot password? Click here to reset