LLM 排障的幻觉抑制：如何用 eBPF 物理探针构建可信事实护栏-编程实验室

LLM 排障的幻觉抑制：如何用 eBPF 物理探针构建可信事实护栏

在推动“AI 驱动的自动化数据库排障（AI-driven DBA）”落地时，技术团队最恐惧的事情莫过于大语言模型（LLM）的高自信幻觉（High-confidence Hallucination）。

在一次线上数据库延迟突增的演练中，我们曾将一段包含慢日志和部分系统指标的文本喂给某个通用大模型。模型在 3 秒钟内以极度专业的口吻输出了排查报告：“经分析，系t_order表上的复合索引idx_user_status缺失导致全表扫描，建议立即执行ALTER TABLE t_order ADD INDEX idx_user_status(user_id, status)”。

现场的值班 DBA 差点当场把这个 DDL 复制到生产主库执行——而事实上，那个索引在线上早就存在了三年，真正的事故根因是机房底层交换机发生了光模块瞬时误码导致 TCP 丢包重传。

在极其严苛的存储排障场景下，把一个未经验证的大模型直接作为诊断中枢，无异于让一个不懂物理硬件的实习生盲目指挥全站救援。要彻底抑制幻觉，唯一的工业级解法就是在 LLM 前后筑起一道基于 eBPF（Extended Berkeley Packet Filter）的物理事实硬护栏。

// 基于 eBPF 的内核层磁盘 Direct IO 延迟捕获探针 (简化示例) #include <uapi/linux/ptrace.h> #include <linux/blkdev.h> struct io_event_t { u32 pid; u64 latency_ns; char comm[TASK_COMM_LEN]; }; BPF_HASH(start_time, struct request *, u64); BPF_PERF_OUTPUT(io_events); // 探针挂载在块设备驱动下发队列 int trace_req_start(struct pt_regs *ctx, struct request *rq) { u64 ts = bpf_ktime_get_ns(); start_time.update(&rq, &ts); return 0; } // 探针挂载在块设备完成中断 int trace_req_done(struct pt_regs *ctx, struct request *rq) { u64 *tsp = start_time.lookup(&rq); if (tsp != 0) { u64 delta = bpf_ktime_get_ns() - *tsp; // 如果物理磁盘单次 IO 耗时超过 50ms (属于严重硬件抖动) if (delta > 50000000) { struct io_event_t event = {}; event.pid = bpf_get_current_pid_tgid() >> 32; event.latency_ns = delta; bpf_get_current_comm(&event.comm, sizeof(event.comm)); io_events.perf_submit(ctx, &event, sizeof(event)); } start_time.delete(&rq); } return 0; }

为什么传统的文本诊断极易诱发幻觉？

LLM 的本质是基于概率的下一个 Token 预测器。当我们在 Prompt 中输入一段包含Slow Query和High Latency的日志时，模型在训练语料中见过最多的模式就是“慢查询 $\to$ 加索引”。

它无法感知到此时底层的物理世界正在发生什么：

盲视底层硬件争抢：它不知道 NVMe SSD 此时正在因为后台 Trim 或坏道产生 200ms 的 IO 挂起；
盲视内核网络状态：它不知道当前 TCP 连接由于操作系统net.ipv4.tcp_max_syn_backlog溢出而疯狂重传；
盲视线程调度延迟：它不知道数据库工作线程正被 CFS 调度器放在就绪队列排队等 CPU（Runqueue Latency 达到 80ms）。

缺乏底层的物理事实输入，模型只能在 SQL 语法和应用逻辑的狭窄空间里生编硬造，产生具有毁灭性误导的“自洽幻觉”。

[基于 eBPF 物理事实护栏的智能排障架构] ┌──────────────────────────────────────────────┐ │ Linux 内核层 eBPF 物理探针集群 │ │ - block:nvme_queue_rq (磁盘IO延迟) │ │ - tcp:tcp_retransmit_skb (网络丢包重传) │ │ - sched:sched_stat_runtime (CPU调度排队) │ └──────────────────────┬───────────────────────┘ │ 提取绝对客观的物理事实断言 ▼ ┌──────────────────────────────────────────────┐ │ 物理事实前置校验与约束生成器 │ │ 断言 1: 物理磁盘 IO 延迟稳定在 0.1ms (无硬件故障) │ │ 断言 2: TCP 丢包率 = 0 (无网络抖动) │ │ 断言 3: 命中表上的索引列表为 [idx_a, idx_b] │ └──────────────────────┬───────────────────────┘ │ 将断言作为不可违背的硬约束注入 ▼ ┌──────────────────────────────────────────────┐ │ 微调后的专用 LLM 推理引擎 │ │ (严格在物理事实护栏内推导 SQL 与锁争抢因果链) │ └──────────────────────┬───────────────────────┘ │ ▼ ┌──────────────────────────────────────────────┐ │ 后置安全校验 (AST 与权限沙箱) │ │ (自动拦截不存在的 DDL，校验命令影响半径) │ └──────────────────────────────────────────────┘