イメージとレイヤ

イメージとは、順序付きのレイヤの列 $L_1, L_2, \ldots, L_n$ と、起動時の設定（環境変数、作業ディレクトリ、既定のコマンドなど）を記述したメタデータの組です。各レイヤは、直前までのファイルシステムに対する差分（ファイルの追加・変更・削除）を記録した、内容によって一意に名前が付いた不変のデータです。

コンテナを起動するとき、ランタイムは $L_1$ から $L_n$ までを重ね合わせ（union filesystem）、その上に書き込み可能な薄い層を 1 枚載せます。$L_i$ でファイルを削除しても、$L_{i-1}$ 以前の実データは消えず、「このパスは削除済み」という印（whiteout）が $L_i$ に記録されるだけです。