MIT 6.S081 聊聊xv6的文件系统（中）日志层与事务

前言

我本想把上篇中没讲完的剩余层全部在本篇中讲完，但没想到越写越多。日志层的代码不多，其思想和解决问题的手段也不算难以理解，但其背后涉及的原理和思想还是非常值得回味的，因此我打算用一整篇完整的blog来讲解日志层，并对其作出一点扩展。

本篇内容应该也会帮你对事务的拥有一个更好地理解。

聊聊xv6的文件系统（上篇）：https://www.cnblogs.com/KatyuMarisaBlog/p/14366115.html

浅谈一致性

警告：

本节内容我越写越觉得自己是个民科，整出了一套四不像的东西来强行糊弄自己，如果觉得这部分内容辣眼睛的话就请跳过吧（留下了蔡鸡的泪水）

《xv6 book》中告诉我们，文件系统必须支持crash recovery，即文件系统在访问文件的过程中如果经历断电等情况，经过重启仍然能够正常工作。更加严谨的说法是，文件系统在面临崩溃等情况后，仍然能够保证一致性。这里的一致性可能与我们所预想的定义有所出入。为了能够正确的理解日志层为文件系统提供的作用，我们必须首先正确理解本文中所谈及的一致性的具体含义。

首先我们给出wikipedia上关于一致性的严谨定义：

The semantic definition states that a theory is consistent if it has a model, i.e., there exists an interpretation under which all formulas in the theory are true.

The syntactic definition states a theory T is consistent if there is no formula φ such that both φ and its negation