SSTable 持久化核心在于数据块组织、读取可定位与写入安全性：block 内 key 严格升序，采用前缀共享编码；index block 必须独立存放于文件末尾并由 footer（最后 8 字节）定位；写入需临时文件+Sync+Rename 原子保证；filter block 不可省，应 per-block 序列化。
Go 实现 SSTable 持久化，核心不是“怎么写文件”，而是“怎么组织数据块 + 怎么保证读取可定位 + 怎么避免写坏已有数据”。 直接 os.WriteFile 一坨二进制进去，后续根本没法查——SSTable 不是日志，是结构化只读索引文件。
如何组织 block 内的 key-value 数据
SSTable 的磁盘效率依赖于 block 级压缩和前缀共享。直接存完整 key 和 val 是浪费空间，也破坏有序性优势。
- 每个 block 内部必须保持 key 严格升序，这是所有后续索引、二分查找、过滤器生效的前提
- 相邻 key 共享前缀时，推荐用【共享前缀长度】【剩余 key 长度】【value 长度】【剩余 key】【value】格式编码，比全量存储节省 30%+ 空间（尤其路径、时间戳类 key）
- 每个 kv 对开头必须有固定长度 header（如 2 字节 key len + 2 字节 val len），否则无法在文件中做流式解析或跳过无效 block
- block 尾部需对齐（例如 4KB），方便 mmap 映射后按页读取；不对其会导致
io.ReadFull多次 syscall
如何构建有效的 index block
index block 不是可选优化，是 SSTable 能否被实际使用的门槛。没有它，每次读都要扫完整文件。
- index 本身也按 block 组织，每个 entry 格式为：
last_key_in_prev_block+block_offset+block_size - index block 必须单独写入文件末尾（或开头预留空间），且其 offset 和 size 要记录在 footer 中，否则加载时无法定位
- 不要把 index 和 data block 混在同一文件段里——这会让 mmap 或预读逻辑混乱，也增加解析复杂度
- footer 固定放在文件最后 8 字节：前 4 字节存 index block offset，后 4 字节存其 size；这样只需读最后 8 字节就能加载整个 index
如何安全写入 SSTable 文件
写坏一个 SSTable 可能导致整个 level 数据不可读。原子性不是“锦上添花”，是底线。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
立即学习“go语言免费学习笔记（深入）”；
- 永远用临时文件名写入，比如
sstable_00123.tmp，写完再os.Rename替换目标名（Linux/macOS 下是原子操作） - 写完临时文件后，必须调用
file.Sync()，否则数据可能还卡在 page cache 里，进程崩溃就丢了 - 不要复用已存在的 fd 去 truncate + overwrite：ext4/xfs 在某些挂载选项下可能清零失败，残留旧数据碎片
- 如果使用
bufio.Writer，务必在file.Sync()前调用wr.Flush()，否则 buffer 里的最后一段数据根本没进内核
为什么 filter block 很容易被忽略但不能省
没有 filter，每次 Get(key) 都得先读 index 定位 block，再读 disk 加载 block，哪怕 key 根本不存在——IO 成本翻倍。
- 推荐用 BloomFilter，每个 block 对应一个独立 filter（
block_offset作为 seed），控制 false positive 率在 1% 左右即可 - filter block 也要写进同一文件，但必须在 data block 之后、footer 之前；footer 最后 8 字节只管 index，filter offset/szie 得额外字段存（比如 footer 扩展为 16 字节）
- 别在内存里维护全局 filter：SSTable 是只读的，每个 block 的 filter 应该随 block 一起序列化，否则重启后要重建，失去持久化意义
- 测试时故意查一个绝对不存在的 key，用
strace -e trace=read看是否真的跳过了 block 读取——这是验证 filter 是否生效的最直接方式
真正难的不是实现单个 SSTable，而是当多个 SSTable 并存时，如何让 Get 正确合并不同 level 的结果、如何让 Compaction 安全删掉旧文件而不影响正在读的 goroutine。这些边界问题，比 block 编码细节更消耗调试时间。
