Bazel 的并行评估和增量模型。
数据模型
数据模型由以下几项组成：
SkyValue。也称为节点。SkyValues是不可变对象， 包含构建过程中构建的所有数据以及 构建。示例包括：输入文件、输出文件、目标和配置的目标。SkyKey。不可变的简短名称，用于引用SkyValue，例如FILECONTENTS:/tmp/foo或PACKAGE://foo。SkyFunction。根据节点的键和依赖节点构建节点。- 节点图。一种数据结构，包含节点之间的依赖关系。
Skyframe。Bazel 所依赖的增量评估框架的代码名称。
评估
构建包括评估代表构建请求的节点（这是我们致力于的状态，但在此过程中会有很多旧代码）。首先，找到 SkyFunction 并使用顶级 SkyKey 的键进行调用。然后，函数会请求对评估顶级节点所需的节点进行求值，继而调用其他函数，依此类推，直至到达叶节点（通常是代表文件系统中的输入文件的节点）。最后，我们得到顶级 SkyValue 的值、一些副作用（例如文件系统中的输出文件），以及构建过程中涉及的节点之间的依赖项的有向无环图。
如果 SkyFunction 无法提前告知执行其作业所需的所有节点，则可以在多次传递中请求 SkyKeys。举一个简单的例子，对输入文件节点求值后结果是符号链接：函数尝试读取文件，意识到该文件是符号链接，从而获取表示符号链接目标的文件系统节点。但这本身可以是符号链接，在这种情况下，原始函数也需要提取其目标。
这些函数在代码中由接口 SkyFunction 表示，并由名为 SkyFunction.Environment 的接口向其提供服务。函数可以执行以下操作：
- 通过调用
env.getValue请求对另一个节点的求值。如果节点可用，则返回其值；否则，返回null，并且函数本身应返回null。在后一种情况下，系统会评估依赖节点，然后再次调用原始节点构建器，但这次相同的env.getValue调用将返回非null值。 - 通过调用
env.getValues()请求评估多个其他节点。这在本质上与前面的方法相同，只不过依赖节点是并行评估的。 - 在调用期间执行计算
- 有副作用，例如将文件写入文件系统。需要注意的是，两个不同的功能不会相互踩踏。一般来说，写入副作用（数据从 Bazel 流出）是可以的，读取副作用（数据在没有注册依赖项的情况下流入 Bazel）则不行，因为它们是未注册的依赖项，因此可能会导致增量 build 不正确。
SkyFunction 实现不应以请求依赖项以外的任何其他方式访问数据（例如，通过直接读取文件系统），因为这会导致 Bazel 无法在读取的文件上注册数据依赖项，从而导致增量构建不正确。
当函数有足够的数据来执行其工作后，应返回一个非 null 值来指示已完成。
此评估策略具有诸多优势：
- 保密。如果函数仅通过依赖于其他节点来请求输入数据，Bazel 可以保证，如果输入状态相同，则会返回相同的数据。如果所有 Sky 函数都是确定性的，则表示整个 build 也是确定性的。
- 正确且完美的增量效果。如果记录了所有函数的所有输入数据，则当输入数据发生更改时，Bazel 只能使需要失效的那组确切节点失效。
- 并行处理。由于函数只能通过请求依赖项相互交互，因此可以并行运行不相互依赖的函数，并且 Bazel 可以保证结果与按顺序运行一样。
增量
由于函数只能依赖其他节点来访问输入数据，因此 Bazel 可以构建从输入文件到输出文件的完整数据流图，并使用此信息仅重新构建实际需要重新构建的节点：更改的输入文件集的反向传递闭包。
特别是，存在两种可能的增量策略：自下而上的和自上而下策略。哪种方式最合适取决于依赖关系图的外观。
在自下而上的失效过程中，在构建好图且了解更改的输入集之后，所有节点都会失效，以传递方式依赖于已更改的文件。如果我们知道要再次构建相同的顶级节点，这是最佳选择。请注意，自下而上失效需要对上一个 build 的所有输入文件运行
stat()，以确定这些文件是否发生了更改。使用inotify或类似机制来了解已更改的文件，对此进行改进。在自上而下失效期间，系统会检查顶级节点的传递闭包，并且仅保留传递闭包干净的这些节点。如果我们知道当前的节点图很大，但在下一个 build 中只需要其中的一小部分，则采用这种方法更好：自底向上失效会使第一个 build 中的较大图失效，而自顶向下失效只会遍历第二个 build 中的较小图。
我们目前仅执行自下而上的失效操作。
为了进一步提高增量，我们使用了“更改剪枝”：如果某个节点已失效，但在重新构建时，我们发现其新值与旧值相同，则由于此节点的更改而失效的节点会被“恢复”。
这很有用，例如，如果您更改了 C++ 文件中的注释，那么从中生成的 .o 文件将保持不变，因此我们无需再次调用链接器。
增量关联 / 编译
此模型的主要限制是，节点失效是一劳永逸：当依赖项发生变化时，依赖节点总是从头开始重新构建，即使存在可根据更改改变节点旧值的更好的算法。以下是此功能的一些实用场景示例：
- 增量关联
- 理论上，当
.jar中的单个.class文件发生更改时，我们可以修改.jar文件，而无需从头开始构建。
Bazel 目前在原则上不支持这些功能的原因包括两方面：我们仅获得了有限的性能提升，并且难以保证改变的结果与干净的重新构建的结果相同，Google 重视的“逐位重复”构建在一定程度上支持增量链接。
直到现在，我们始终可以通过简单地分解开销大的构建步骤并通过这种方式实现部分重新评估来实现足够好的性能：它将一个应用中的所有类拆分为多个组，并分别对其进行 dex 处理。这样，如果组中的类未更改，就无需重复执行 dexing。
对应到 Bazel 概念
下面简要介绍了 Bazel 用于执行构建的一些 SkyFunction 实现：
- FileStateValue 中的字段。
lstat()的结果。对于现有文件，我们还会计算其他信息，以便检测文件的更改。这是 Skyframe 图中的最低级别节点，没有任何依赖项。 - FileValue。适用于关注文件实际内容和/或已解析路径的任何用户。取决于相应的
FileStateValue和需要解析的任何符号链接（例如，a/b的FileValue需要a的解析路径和a/b的解析路径）。区分FileStateValue很重要，因为在某些情况下（例如，评估文件系统 glob（如srcs=glob(["*/*.java"])）时实际上并不需要文件的内容）。 - DirectoryListingValue。实质上是
readdir()的结果。取决于与目录关联的FileValue。 - PackageValue。表示 BUILD 文件的解析版本。依赖于关联的
BUILD文件的FileValue，还依赖于用于解析软件包中 glob 的任何DirectoryListingValue（在内部表示BUILD文件内容的数据结构） - ConfiguredTargetValue。表示配置的目标，它是在分析目标时生成的一组操作，以及提供给依赖于该目标的已配置目标的信息。取决于相应目标所在的
PackageValue、直接依赖项的ConfiguredTargetValues以及表示 build 配置的特殊节点。 - ArtifactValue。表示 build 中的文件，无论是源文件还是输出工件（工件几乎等同于文件，在实际执行 build 步骤期间用于引用文件）。对于源文件，它取决于关联节点的
FileValue；对于输出工件，它取决于生成工件的任何操作的ActionExecutionValue。 - ActionExecutionValue.表示操作的执行。取决于其输入文件的
ArtifactValues。它执行的操作目前包含在其天空键中，这与天空键应较小这一概念相悖。我们正在努力解决此差异（请注意，如果不在 Skyframe 上运行执行阶段，系统不会使用ActionExecutionValue和ArtifactValue）。