2.3.3 元数据与数据原子性写入保障 2.3.3 元数据与数据原子性写入保障 在分布式存储系统的浩瀚架构中,如果说强一致性模型是维持系统秩序的“宪法”,那么原子性写入保障就是执行这部宪法的“警察”。我们在前文中探讨了线性一致性与顺序一致性的理论大厦,但在工程落地的泥土中,最让开发者夜不能寐的往往不是复杂的Paxos协议,而是那个看似简单却暗藏杀机的问题:当我们在修改一个文件时,如果断电了,会发生什么? 这并非危言耸听。在一个典型的存储引擎中,一次逻辑上的“写入操作”,在物理层面往往被撕裂为两个截然不同的阶段:数据的写入与元数据的更新。如果这两个阶段之间存在间隙,系统崩溃后就可能出现“元数据指向了无效数据”或者“孤儿数据占用了空间却无法索引”的灾难性后果。