4、故障注入技术概览
故障注入是混沌工程的执行引擎，决定了实验的真实性、安全性与覆盖度。本章从分类维度、注入粒度和注入时机三个层面建立故障注入技术的全景视图，为后续的基线核验架构选型提供技术基础。
4.1 故障注入分类：网络、计算、存储、时间
根据故障作用的目标资源类型，故障注入可分为四大类。每类故障对系统行为的影响路径不同，在基线核验中需要差异化设计观测指标。
| 故障类别 | 典型故障类型 | 影响范围 | 核验关注点 |
|---|---|---|---|
| 网络 | 延迟、丢包、分区、带宽限制、DNS 故障 | 服务间通信、数据同步、负载均衡 | 超时重试、熔断降级、连接池耗尽 |
| 计算 | CPU 过载、内存泄漏、OOM、进程 Hang、线程死锁 | 请求处理能力、任务调度、资源争抢 | CPU 使用率、GC 频率、请求延迟分布 |
| 存储 | 磁盘 IO 延迟、磁盘空间满、文件句柄耗尽、数据损坏 | 持久化、日志写入、状态恢复 | IOPS、写入成功率、数据一致性校验 |
| 时间 | 时钟偏移、NTP 中断、时间跳跃、时区变更 | 分布式事务、缓存过期、日志排序、证书验证 | 时间戳偏差、租约续期、TLS 握手 |
基线核验提示： 网络故障通常触发最外层的容错机制（重试/熔断），而时间故障往往暴露分布式协议中的隐式假设（如单调递增时钟）。建议在基线实验中优先覆盖网络+时间组合故障。
4.2 注入粒度：进程级、系统级、容器级
注入粒度决定了故障的影响边界和实验的安全半径。不同粒度对应不同的隔离能力和观测成本，在架构选型中需要根据被测系统的部署形态进行匹配。
| 注入粒度 | 作用范围 | 典型工具/方法 | 隔离性 | 适用场景 |
|---|---|---|---|---|
| 进程级 | 单个进程内的线程、内存、文件句柄 | ptrace、LD_PRELOAD、Java Agent、BPF | 高（仅影响目标进程） | 微服务实例、Sidecar 代理、数据库连接池 |
| 系统级 | 整个 OS 内核、系统服务、硬件资源 | systemtap、sysrq、cgroups、内核模块 | 低（影响宿主机所有进程） | 节点故障、内核 Panic、磁盘 IO 压测 |
| 容器级 | 容器 cgroup 命名空间内的资源视图 | Docker/K8s API、cgroups 限制、chaos-mesh | 中（容器边界内隔离） | K8s Pod 故障、资源争抢、网络策略验证 |
安全边界提醒： 系统级注入可能影响同一宿主机上的其他非实验服务，在生产环境中应严格限制使用。容器级注入是云原生架构下的推荐粒度，兼顾了隔离性与实验真实性。
4.3 注入时机
注入时机决定了故障与业务负载的交互方式，直接影响实验结果的代表性和可复现性。根据实验设计模式，注入时机可分为以下三类：
- 同步注入（Synchronous Injection）： 在特定请求或操作到达时触发故障，常用于验证请求级别的容错逻辑（如重试、超时）。
- 异步注入（Asynchronous Injection）： 在后台独立线程或进程中持续或周期性注入故障，模拟资源缓慢泄漏或间歇性故障。
- 条件注入（Conditional Injection）： 基于系统状态指标（如 CPU > 80%、错误率上升）动态触发故障，用于探索性混沌实验。
| 注入时机 | 触发方式 | 实验可复现性 | 典型用例 |
|---|---|---|---|
| 同步注入 | 请求拦截、Hook 点、AOP 切面 | 高（固定请求路径） | 验证特定 API 的熔断逻辑 |
| 异步注入 | 定时任务、后台线程、cron 表达式 | 中（依赖时间窗口） | 模拟磁盘 IO 抖动、内存缓慢泄漏 |
| 条件注入 | 指标阈值、事件驱动、状态机 | 低（依赖运行时状态） | 高负载下的自动故障注入 |
架构选型要点： 在基线核验阶段，优先使用同步注入建立可复现的基准故障场景；在探索性实验阶段，引入条件注入发现未知脆弱点。异步注入适合作为长期稳定性测试的持续故障背景。
4.4 故障注入技术选型对比矩阵
综合分类、粒度、时机三个维度，以下矩阵给出主流故障注入工具/框架的选型参考：
| 工具/框架 | 支持故障分类 | 支持粒度 | 注入时机 | 语言/平台 |
|---|---|---|---|---|
| ChaosBlade | 网络、计算、存储、时间 | 进程级、系统级、容器级 | 同步、异步 | Java、C++、K8s |
| chaos-mesh | 网络、计算、存储、时间 | 容器级（K8s Pod） | 同步、条件 | K8s CRD |
| Litmus | 网络、计算、存储 | 容器级、系统级 | 同步、异步 | K8s、Helm |
| Gremlin | 网络、计算、存储、时间 | 进程级、系统级、容器级 | 同步、条件 | 多平台 SaaS |
| ByteMonkey | 计算（Java 方法级） | 进程级（Java Agent） | 同步 | Java |
选型建议： 对于云原生架构，chaos-mesh 在容器级注入和条件注入方面具有原生优势；对于需要进程级精细控制的 Java 微服务，ChaosBlade 或 ByteMonkey 更合适。系统级注入建议仅在非生产环境或专用故障测试集群中使用。