2. 存储膨胀的根源：历史版本堆积、事务日志增长、频繁写入导致的空间放大问题

etcd 作为分布式键值存储，其设计核心之一是支持多版本并发控制（MVCC）。这一机制为数据一致性和历史查询提供了强大支持，但同时也成为存储空间膨胀的主要根源。理解这些根源，是有效进行数据压缩与碎片整理的前提。

2.1 三大核心膨胀因素

存储空间的非预期增长主要由以下三个因素共同作用导致：

2.2 历史版本堆积：MVCC 的代价

etcd 的 MVCC 实现中，每次 put 或 delete 操作都会创建一个新的键版本。旧版本数据并不会立即删除，而是保留在 BoltDB 中，直到被压缩（compaction）回收。

• 版本链：每个键维护一个版本链，包含从创建到当前的所有修改记录。
• 存储放大：假设一个键被更新 1000 次，即使最终值只有 1KB，BoltDB 中可能累积存储 1000 个版本，占用数 MB 空间。
• 查询性能下降：遍历版本链时，需要扫描大量已废弃的版本，增加 I/O 开销。

2.3 事务日志（WAL）的持续增长

etcd 使用预写日志（Write-Ahead Log, WAL）保证数据持久性。所有写入操作在应用到状态机之前，必须先写入 WAL 文件。

• 追加写入：WAL 文件是顺序追加的，不会原地修改。
• 快照截断：etcd 定期创建快照（snapshot），将当前状态持久化，然后可以删除此前的 WAL 文件。
• 增长风险：如果快照间隔过长，或快照创建失败，WAL 文件会持续累积，占用大量磁盘空间。

2.4 空间放大：BoltDB 的内部碎片

etcd 底层使用 BoltDB（一个基于 B+ 树的嵌入式数据库）存储键值数据。频繁的写入、更新和删除操作会导致 BoltDB 内部产生大量碎片，即“空间放大”。

2.4.1 空间放大的产生机制

• 页分裂：当 B+ 树节点（页）满时，写入新数据会导致页分裂为两个半满的页，旧页不再被使用。
• 页合并：删除数据后，相邻页可能合并，但合并后释放的空间可能无法被后续写入完全复用。
• 空闲页管理：BoltDB 维护一个空闲列表（free list）管理可复用的页。但频繁操作会导致空闲列表碎片化，新写入难以找到连续的空闲页。

2.5 三种膨胀因素的叠加效应

在实际生产环境中，这三种因素往往同时存在并相互加剧：

1. 频繁写入 导致历史版本快速堆积，同时产生大量 WAL 日志。
2. 大量删除/更新 导致 BoltDB 内部页分裂和碎片化，引发空间放大。
3. 空间放大 反过来使得每次压缩（compaction）需要扫描更多数据页，增加 I/O 压力。

2.6 识别存储膨胀的监控指标

通过以下指标可以快速判断集群是否存在存储膨胀问题：