3. 组件拓扑图基础：什么是日志平台组件拓扑图？节点、边、数据流定义
在云原生日志平台中，组件拓扑图是一种有向图模型，用于描述日志数据从产生到消费全链路中各个组件（节点）及其连接关系（边）与数据流动方向（数据流）。它是版本差异校验的核心载体——只有将不同版本的 Fluent Bit 配置与运行时状态映射到同一张拓扑图上，才能精确比对行为变化。
3.1 拓扑图的三要素
| 要素 | 定义 | 日志平台中的实例 |
|---|---|---|
| 节点（Node） | 执行日志处理逻辑的独立单元，具备输入、过滤、输出或路由能力 | Fluent Bit Input 插件、Filter 插件、Output 插件、Kubernetes Pod、Loki 实例 |
| 边（Edge） | 节点之间的有向连接，表示数据传递关系或控制依赖 | tail → parser → kubernetes filter → elasticsearch |
| 数据流（Data Flow） | 日志记录（Record）在节点间按边方向传输的路径与状态变化 | 原始日志 → 结构化 → 添加元数据 → 写入存储 |
关键认知：拓扑图中的“节点”不一定是物理进程，也可以是逻辑插件或管道阶段。在 Fluent Bit 中，一个
service 实例内部可能包含多个 pipeline 节点。
3.2 节点类型与层级
在云原生日志平台中，节点按职责分为四个层级：
- 采集层（Collection Layer）：负责从数据源拉取或接收日志。典型节点：
tail、systemd、forward、kafka。 - 解析与处理层（Parsing & Processing Layer）：对原始日志进行结构化、过滤、富化。典型节点：
parser、kubernetes、grep、lua、modify。 - 路由与缓冲层（Routing & Buffering Layer）：决定日志去向，并提供可靠性保障。典型节点：
storage.backlog、retry、multiline。 - 输出层（Output Layer）：将处理后的日志发送到外部存储或服务。典型节点：
elasticsearch、loki、s3、kafka、stdout。
版本差异关注点：不同 Fluent Bit 版本可能新增、废弃或修改某个层级的节点插件。例如 v2.0 新增
opentelemetry 输入节点，v2.1 废弃 in_tcp 节点。这些变化会直接反映在拓扑图的节点集合差异中。
3.3 边的语义与方向
边在拓扑图中承载三种语义：
- 数据边（Data Edge）：实线箭头，表示日志记录从一个节点流向另一个节点。例如：
tail → parser。 - 控制边（Control Edge）：虚线箭头，表示配置或状态信息的传递。例如：
Fluent Bit Config → storage.backlog。 - 回退边（Fallback Edge）：带叉号的虚线，表示当主路径失败时的降级路径。例如：
elasticsearch → s3（写入 ES 失败时回退到 S3）。
边的方向必须严格遵循数据流动顺序。在版本差异校验中，边的增减或方向反转是重大变更信号。
3.4 数据流的状态变化
数据流在拓扑图中不是静态的，每条日志记录经过每个节点时都会发生状态变化。我们用一个四元组来描述数据流状态：
DataFlowState = (RecordID, CurrentNode, Metadata, Timestamp)| 字段 | 说明 | 示例 |
|---|---|---|
| RecordID | 日志记录的唯一标识 | log-20250321-001 |
| CurrentNode | 当前所在的节点名称 | kubernetes |
| Metadata | 经过节点后附加的元数据 | {namespace: "prod", pod: "web-1"} |
| Timestamp | 到达当前节点的时间戳 | 2025-03-21T10:00:00Z |
版本差异校验时，我们会对比同一 RecordID 在 v1 和 v2 拓扑图中经过相同节点时的 Metadata 与 Timestamp 是否一致。
3.5 组件拓扑图示例：Fluent Bit 标准管道
下图展示了一个典型的 Fluent Bit 日志管道组件拓扑图，包含采集、解析、过滤、输出四个层级，以及数据流与控制边的完整关系。
3.6 拓扑图在版本差异校验中的角色
组件拓扑图是版本差异校验的统一参考框架。具体作用如下：
- 结构对齐：将 v1 和 v2 的 Fluent Bit 配置分别解析为拓扑图，然后进行节点、边的逐项匹配。
- 差异定位：通过图同构算法找出新增、缺失、修改的节点或边，并标记影响范围。
- 数据流模拟：在两张拓扑图上模拟同一日志记录的流动路径，对比经过每个节点时的状态变化。
- 变更影响分析：当某个节点（如
kubernetes过滤插件）在 v2 中被移除时，拓扑图能直观显示哪些下游输出节点会失去数据。
常见误区：不要将拓扑图等同于配置文件的结构。配置文件是静态文本，拓扑图是运行时行为模型。同一个配置文件在不同版本下可能生成不同的拓扑图（例如 v2.0 新增了隐式路由节点）。
3.7 拓扑图的版本差异维度
在后续章节中，我们将从以下四个维度进行版本差异校验：
| 维度 | 校验内容 | 典型差异示例 |
|---|---|---|
| 节点集合 | v1 vs v2 拓扑图中节点类型与数量的差异 | v2.1 新增 opentelemetry 节点，移除 in_tcp 节点 |
| 边集合 | 节点间连接关系的增减与方向变化 | v2.0 中 parser 直接连接 loki，v2.1 中间插入 modify |
| 数据流路径 | 同一日志记录经过的节点序列是否一致 | v1: tail→parser→es；v2: tail→parser→modify→es |
| 节点属性 | 节点内部配置参数的变化 | parser 的 regex 规则在 v2 中更新 |