构建事件协议的完整规范可在其协议缓冲区定义中找到。不过,在查看规范之前,积累一些直觉可能会有所帮助。
假设有一个简单的 Bazel 工作区,其中包含两个空 Shell 脚本 foo.sh
和 foo_test.sh
以及以下 BUILD
文件:
sh_library(
name = "foo_lib",
srcs = ["foo.sh"],
)
sh_test(
name = "foo_test",
srcs = ["foo_test.sh"],
deps = [":foo_lib"],
)
在该项目上运行 bazel test ...
时,生成的 build 事件的 build 图表将类似于下图。箭头表示上述父子关系。请注意,为简洁起见,省略了部分构建事件和大多数字段。
图 1. BEP 图。
最初,系统会发布 BuildStarted
事件。该事件会通知我们该 build 是通过 bazel test
命令调用的,并公布子事件:
OptionsParsed
WorkspaceStatus
CommandLine
UnstructuredCommandLine
BuildMetadata
BuildFinished
PatternExpanded
Progress
前三个事件提供了有关 Bazel 调用方式的信息。
PatternExpanded
build 事件可让您深入了解 ...
模式扩展到哪些具体目标://foo:foo_lib
和 //foo:foo_test
。它通过将两个 TargetConfigured
事件声明为子事件来实现此目的。请注意,TargetConfigured
事件会将 Configuration
事件声明为子事件,即使 Configuration
已在 TargetConfigured
事件之前发布。
除了父级与子级关系之外,事件还可以使用其 build 事件标识符来相互引用。例如,在上图中,TargetComplete
事件会引用其 fileSets
字段中的 NamedSetOfFiles
事件。
引用文件的 build 事件通常不会在事件中嵌入文件名和路径。而是包含 NamedSetOfFiles
事件的 build 事件标识符,该标识符将包含实际的文件名称和路径。NamedSetOfFiles
事件允许一次报告一组文件,并由多个目标引用。这种结构是必需的,因为在某些情况下,如果不这样做,Build Event Protocol 输出大小将随着文件数量呈二次方增长。NamedSetOfFiles
事件也可能未嵌入其所有文件,而是通过其 build 事件标识符引用其他 NamedSetOfFiles
事件。
以下是上图中 //foo:foo_lib
目标的 TargetComplete
事件实例,以协议缓冲区的 JSON 表示法输出。build 事件标识符将目标包含为不透明字符串,并使用其 build 事件标识符引用 Configuration
事件。该事件不会公布任何子事件。该载荷包含有关目标是否成功构建、一组输出文件以及构建的目标类型的信息。
{
"id": {
"targetCompleted": {
"label": "//foo:foo_lib",
"configuration": {
"id": "544e39a7f0abdb3efdd29d675a48bc6a"
}
}
},
"completed": {
"success": true,
"outputGroup": [{
"name": "default",
"fileSets": [{
"id": "0"
}]
}],
"targetKind": "sh_library rule"
}
}
BEP 中的切面结果
普通 build 会评估与 (target, configuration)
对关联的操作。启用
尽管缺少特定于各方面的事件类型,BEP 中仍会提供各个方面的评估结果。对于具有适用切面的每个 (target, configuration)
对,Bazel 会额外发布一个 TargetConfigured
和 TargetComplete
事件,其中包含将切面应用于目标后的结果。例如,如果 //:foo_lib
是使用 --aspects=aspects/myaspect.bzl%custom_aspect
构建的,则此事件也会出现在 BEP 中:
{
"id": {
"targetCompleted": {
"label": "//foo:foo_lib",
"configuration": {
"id": "544e39a7f0abdb3efdd29d675a48bc6a"
},
"aspect": "aspects/myaspect.bzl%custom_aspect"
}
},
"completed": {
"success": true,
"outputGroup": [{
"name": "default",
"fileSets": [{
"id": "1"
}]
}]
}
}
消耗 NamedSetOfFiles
确定给定目标(或切面)生成的工件是常见的 BEP 用例,通过进行一些准备工作即可高效完成。本部分介绍了 NamedSetOfFiles
事件提供的递归共享结构,该结构与 Starlark Depset 的结构一致。
使用者在处理 NamedSetOfFiles
事件时必须注意避免二次算法,因为大型 build 可能包含数万个此类事件,因此需要以二次复杂度遍历数亿次操作。
图 2. NamedSetOfFiles
BEP 图表。
NamedSetOfFiles
事件始终显示在 BEP 流中,在引用它的 TargetComplete
或 NamedSetOfFiles
事件之前。这与“父子”事件关系相反,在这种关系中,除第一个事件外,所有其他事件都出现在至少一个宣布该事件的事件之后。NamedSetOfFiles
事件由没有语义的 Progress
事件宣布。
鉴于这些排序和共享限制,典型的使用方必须缓冲所有 NamedSetOfFiles
事件,直到 BEP 流耗尽。以下 JSON 事件流和 Python 代码演示了如何填充从目标/方面到“默认”输出组中已构建工件的映射,以及如何处理构建目标/方面子集的输出:
named_sets = {} # type: dict[str, NamedSetOfFiles]
outputs = {} # type: dict[str, dict[str, set[str]]]
for event in stream:
kind = event.id.WhichOneof("id")
if kind == "named_set":
named_sets[event.id.named_set.id] = event.named_set_of_files
elif kind == "target_completed":
tc = event.id.target_completed
target_id = (tc.label, tc.configuration.id, tc.aspect)
outputs[target_id] = {}
for group in event.completed.output_group:
outputs[target_id][group.name] = {fs.id for fs in group.file_sets}
for result_id in relevant_subset(outputs.keys()):
visit = outputs[result_id].get("default", [])
seen_sets = set(visit)
while visit:
set_name = visit.pop()
s = named_sets[set_name]
for f in s.files:
process_file(result_id, f)
for fs in s.file_sets:
if fs.id not in seen_sets:
visit.add(fs.id)
seen_sets.add(fs.id)