CeresDB/horaedb 项目中 TimeMergeStorage 的清单文件高效持久化方案

在分布式存储系统 CeresDB/horaedb 中，TimeMergeStorage 是一种用于时间序列数据存储的重要组件。本文将深入分析其清单文件(manifest)持久化机制的优化方案。

当前机制的问题

现有实现中，当 TimeMergeStorage 的元信息发生变化时，系统会将新的 SST 文件添加到清单中，然后将整个清单重新持久化。这种方式存在明显的效率问题：

1. 每次变更都需要完整重写整个清单文件
2. 随着数据量增长，清单文件会变得越来越大
3. 频繁的完整重写操作会带来显著的 I/O 开销

优化方案设计

新方案采用增量持久化的思想，将清单文件的维护分为两个部分：

1. 增量部分：新添加的 SST 文件会立即单独持久化为独立的小文件
2. 快照部分：定期将所有清单文件合并为一个完整的快照

文件系统结构设计如下：

/root/manifest/snapshot       # 完整快照文件
/root/manifest/new_sst_0      # 增量变更文件0
/root/manifest/new_sst_1      # 增量变更文件1
/root/manifest/new_sst_2      # 增量变更文件2
...

实现细节

初始化过程

系统启动时，会执行以下操作：

1. 列出清单目录中的所有 SST 文件
2. 将这些文件合并加载到内存中的快照结构

运行时维护

运行时维护策略：

1. 每次新增文件时，单独持久化为一个独立的小文件
2. 维护新增文件计数器
3. 当新增文件数量达到阈值(如50个)时触发合并操作：
   • 再次列出所有清单文件
   • 生成新的完整快照
   • 清理旧的增量文件

技术优势

这种设计方案带来了多方面的改进：

1. 写入效率提升：小文件的增量写入比大文件的完整重写更高效
2. 降低I/O压力：减少了不必要的大文件写入操作
3. 系统稳定性增强：即使中途崩溃，也能从已有的增量文件中恢复
4. 资源利用率优化：合并操作可以放在后台执行，不影响主流程

适用场景

这种优化特别适合以下场景：

• 元信息变更频繁的系统
• 存储大量小文件的场景
• 对写入延迟敏感的应用
• 需要保证数据一致性的关键系统

通过这种设计，CeresDB/horaedb 能够更高效地管理 TimeMergeStorage 的元数据，为上层应用提供更稳定可靠的存储服务。