The Power of Migrations in Dynamic Bin Packing

TL;DR

This paper investigates the role of limited migrations in dynamic bin packing, revealing a tradeoff between migration count and competitive ratio, and introduces a new model considering migration delays.

Contribution

It establishes a dichotomy for migration power, characterizes optimal tradeoffs, and proposes a new model with delay-based migration costs.

Findings

Sublinear migrations are asymptotically equivalent to no migrations.

Linear migrations can achieve near-optimal competitive ratios independent of item duration ratio.

A new delay-based migration model yields approximation bounds matching lower limits.

Abstract

In the Dynamic Bin Packing problem, $n$ items arrive and depart the system in an online manner, and the goal is to maintain a good packing throughout. We consider the objective of minimizing the total active time, i.e., the sum of the number of open bins over all times. An important tool for maintaining an efficient packing in many applications is the use of migrations; e.g., transferring computing jobs across different machines. However, there are large gaps in our understanding of the approximability of dynamic bin packing with migrations. Prior work has covered the power of no migrations and $> n$ migrations, but we ask the question: What is the power of limited ($\leq n$) migrations? Our first result is a dichotomy between no migrations and linear migrations: Using a sublinear number of migrations is asymptotically equivalent to doing zero migrations, where the competitive ratio grows with $\mu$, the ratio of the largest to smallest item duration. On the other hand, we prove that for every $\alpha \in (0,1]$, there is an algorithm that does $\approx \alpha n$ migrations and achieves competitive ratio $\approx 1/\alpha$ (in particular, independent of $\mu$); we also show that this tradeoff is essentially best possible. This fills in the gap between zero migrations and $> n$ migrations in Dynamic Bin Packing. Finally, in light of the above impossibility results, we introduce a new model that more directly captures the impact of migrations. Instead of limiting the number of migrations, each migration adds a delay of $C$ time units to the item's duration; this commonly appears in settings where a blackout or set-up time is required before the item can restart its execution in the new bin. In this new model, we prove a $O(\min (\sqrt{C}, \mu))$-approximation, and an almost matching lower bound.