4. 事务边界与 Span：如何用 Span 表示事务边界、Span 的起始与结束、父子 Span 关系

在分布式系统中，一个用户请求或业务操作往往跨越多个服务、进程与线程。为了完整追踪一次“事务”的生命周期，OpenTelemetry 引入了 Span 作为可观测性的基本工作单元。本章将深入讲解 Span 如何精确刻画事务边界，以及 Span 的起始、结束与父子关系模型。

4.1 Span 作为事务边界的原子单元

Span 代表系统中一个具有开始时间和结束时间的操作片段。每个 Span 封装了以下关键信息，从而定义了一个不可分割的事务边界：

4.2 Span 的起始与结束：事务边界的生命周期

Span 的生命周期由明确的起始和结束事件驱动。在 OpenTelemetry SDK 中，创建 Span 的典型流程如下：

1. 创建 Span：通过 Tracer 的 startSpan() 方法创建，此时记录 StartTimestamp。
2. 设置属性与事件：在 Span 活跃期间添加业务属性、日志事件或异常信息。
3. 结束 Span：调用 end() 方法，记录 EndTimestamp，Span 变为不可变状态。

// Java 示例：Span 的起始与结束
Span span = tracer.spanBuilder("processOrder")
    .setSpanKind(SpanKind.SERVER)
    .startSpan();

try (Scope scope = span.makeCurrent()) {
    // 事务边界内的业务逻辑
    span.setAttribute("order.id", "12345");
    span.addEvent("payment.processed");
    // ... 业务操作 ...
} catch (Exception e) {
    span.recordException(e);
    span.setStatus(StatusCode.ERROR);
} finally {
    span.end();  // 明确结束事务边界
}

4.3 父子 Span 关系：事务边界的嵌套与层级

在分布式事务中，一个 Span 可以包含多个子 Span，形成树状结构。父子关系通过 ParentSpanId 字段建立，子 Span 的边界完全包含在父 Span 的边界之内。

父子 Span 关系遵循以下规则：

• 时间包含性：子 Span 的起始时间 ≥ 父 Span 的起始时间，子 Span 的结束时间 ≤ 父 Span 的结束时间。
• 因果关系：父 Span 代表上层事务，子 Span 代表被调用的下层操作。
• 传播方式：通过 Context 传播，父 Span 的上下文被注入到子 Span 的创建过程中。

4.4 父子 Span 关系与事务边界示意图

下图展示了一个典型的事务边界嵌套结构，其中根 Span 代表整个事务，子 Span 代表内部操作片段：

4.5 SpanKind 对事务边界的影响

SpanKind 决定了 Span 在事务边界中的角色，直接影响父子关系的建立方式：

4.6 事务边界的最佳实践

• 粒度控制：Span 的边界不宜过粗（整个请求一个 Span）或过细（每个方法调用一个 Span）。推荐以“一次外部 I/O 或一个业务步骤”为粒度。
• 明确结束：始终在 finally 块中调用 end()，确保异常情况下事务边界也能正确闭合。
• 上下文传播：跨进程传递 TraceId 和 SpanId（通过 W3C TraceContext 或 B3 协议），保证父子关系在分布式环境中不断裂。
• 避免孤儿 Span：每个子 Span 必须有合法的父 Span，否则事务边界无法形成完整链路。