paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Hypothesize-Then-Verify: Speculative Root Cause Analysis for Microservices with Pathwise Parallelism

先假设后验证:面向微服务的路径并行推测式根因分析
ICSE Proceedings of the IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 该论文聚焦微服务场景下基于 LLM 的根因分析,属于 AIOps/软件调试应用,与用户关注的静态分析、形式化验证、浮点程序分析、贝叶斯程序分析以及 Agentic 程序分析均无直接关联。虽然使用 LLM 作为工具,但研究问题不在 PL 与 AI 交叉的核心方向上。引用 2 inbox
Lingzhe Zhang, Tong Jia, Yunpeng Zhai, Leyi Pan, Chiming Duan, Minghua He, Pei Xiao, Ying Li
crossref: 2026-09-12

AI 速览

一句话:提出 SpecRCA,用"先假设后验证"范式让 LLM 快速草拟候选根因并路径并行验证,提升微服务根因分析的准确性与效率。

微服务凭借资源弹性、松耦合架构与轻量部署成为云原生企业应用的骨干,但其内在复杂性与动态运行时交互不可避免地引发异常,因此保障系统可靠性依赖有效的根因分析(RCA)——既要定位异常来源,也要及时、可解释地刻画底层故障。近期基于大语言模型(LLM)的智能 RCA 方法减少了对人工特征的依赖,并具备跨平台适应性、任务泛化性与灵活性,但仍存在两个关键局限:探索多样性不足导致准确性受损,以及过度依赖大规模 LLM 造成推理缓慢。为此,本文提出 SpecRCA,一种面向微服务的推测式根因分析框架,采用"先假设后验证"范式:先由假设草拟模块快速生成候选根因,再由并行的根因验证器高效验证。在 AIOps 2022 数据集上的初步实验表明,SpecRCA 相比现有方法取得了更优的准确性与效率,显示出其作为复杂微服务环境中可扩展、可解释 RCA 实用方案的潜力。

问题
现有基于 LLM 的微服务根因分析方法存在探索多样性不足、准确性受限,以及依赖大规模 LLM 导致推理缓慢的问题。
方法
提出 SpecRCA 框架,采用"先假设后验证"范式:假设草拟模块快速生成候选根因,随后由路径并行的根因验证器高效验证这些假设。
评估
在 AIOps 2022 数据集上进行初步实验,与现有方法比较准确性与效率。
原文摘要(Abstract)

Microservice systems have become the backbone of cloud-native enterprise applications due to their resource elasticity, loosely coupled architecture, and lightweight deployment. Yet, the intrinsic complexity and dynamic runtime interactions of such systems inevitably give rise to anomalies. Ensuring system reliability therefore hinges on effective root cause analysis (RCA), which entails not only localizing the source of anomalies but also characterizing the underlying failures in a timely and interpretable manner. Recent advances in intelligent RCA techniques, particularly those powered by large language models (LLMs), have demonstrated promising capabilities, as LLMs reduce reliance on handcrafted features while offering cross-platform adaptability, task generalization, and flexibility. However, existing LLM-based methods still suffer from two critical limitations: (a) limited exploration diversity, which undermines accuracy, and (b) heavy dependence on large-scale LLMs, which results in slow inference. To overcome these challenges, we propose SpecRCA, a speculative root cause analysis framework for microservices that adopts a hypothesize-then-verify paradigm. SpecRCA first leverages a hypothesis drafting module to rapidly generate candidate root causes, and then employs a parallel root cause verifier to efficiently validate them. Preliminary experiments on the AIOps 2022 dataset demonstrate that SpecRCA achieves superior accuracy and efficiency compared to existing approaches, highlighting its potential as a practical solution for scalable and interpretable RCA in complex microservice environments.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot12036,
  title = {Hypothesize-Then-Verify: Speculative Root Cause Analysis for Microservices with Pathwise Parallelism},
  author = {Lingzhe Zhang and Tong Jia and Yunpeng Zhai and Leyi Pan and Chiming Duan and Minghua He and Pei Xiao and Ying Li},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3786582.3786803}
}