模块化设计原则：高内聚低耦合、单一职责、接口隔离在Jaeger中的体现

Jaeger作为CNCF毕业的分布式追踪系统，其架构演进始终遵循经典的模块化设计原则。理解这些原则在Jaeger中的具体实现，是掌握配置环境一致性验证的前提。本章从高内聚低耦合、单一职责、接口隔离三个维度，剖析Jaeger的模块化设计如何为配置验证提供结构保障。

3.1 高内聚低耦合：组件边界与依赖控制

高内聚要求模块内部元素紧密关联，低耦合要求模块间依赖最小化。Jaeger通过清晰的组件边界和严格的依赖方向实现这一原则。

下表对比了Jaeger各组件的内聚特征与耦合方式：

这种设计使得配置验证可以分层进行：验证Agent配置时无需启动Collector，验证Collector配置时只需模拟存储接口。低耦合带来的直接收益是配置环境可以按需组合，避免全链路启动的验证成本。

3.2 单一职责：每个模块只做一件事

单一职责原则（SRP）在Jaeger中体现为每个模块只承担一个明确的业务职责。这种设计使得配置项与模块功能一一对应，降低了配置验证的认知负担。

Jaeger核心模块的单一职责分解：

• Agent模块：仅负责Span的接收与转发，不参与采样决策、不存储数据、不提供查询。其配置项仅包含监听端口、Collector地址、批处理参数。
• Collector模块：负责Span的验证、采样、存储写入。配置项分为三类——验证规则（如Tag白名单）、采样策略（如概率/速率）、存储连接参数。
• Query模块：仅提供数据查询能力，不写入数据、不参与采样。配置项聚焦于存储读取连接、API端口、UI资源路径。
• Storage实现模块：每个存储后端（Cassandra、Elasticsearch、Badger）独立为一个模块，只实现读写接口，不包含业务逻辑。

这种职责划分带来的配置验证优势：

3.3 接口隔离：存储SPI与插件化设计

接口隔离原则（ISP）要求模块不应依赖它不需要的接口。Jaeger通过存储SPI（Service Provider Interface）和插件化架构实现这一原则，使得配置验证可以针对接口契约而非具体实现。

存储SPI的核心接口定义（简化示例）：

// 存储写入接口 - Collector依赖
type SpanWriter interface {
    WriteSpan(ctx context.Context, span *model.Span) error
}

// 存储读取接口 - Query依赖
type SpanReader interface {
    GetTrace(ctx context.Context, traceID model.TraceID) ([]*model.Span, error)
    FindTraces(ctx context.Context, query *TraceQueryParameters) ([]*model.Trace, error)
}

// 服务依赖接口 - Query依赖
type DependencyReader interface {
    GetDependencies(ctx context.Context, endTs time.Time, lookback time.Duration) ([]model.DependencyLink, error)
}

接口隔离带来的配置验证收益：

• 配置项隔离：Collector的配置验证只需检查SpanWriter接口的实现类是否存在，无需关心存储内部的索引、分片配置。
• 模拟测试：验证Collector配置时，可以注入一个内存实现的SpanWriter，无需启动真实数据库。
• 版本兼容：存储实现升级时，只要接口不变，Collector和Query的配置无需变更，验证范围缩小到存储模块自身。

3.4 模块化设计对配置验证的支撑

上述三个原则共同构建了Jaeger配置验证的模块化基础。下表总结了每个原则如何直接提升配置环境一致性验证的效率：