Diffy: Data-Driven Bug Finding for Configurations
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
摘要
Configuration errors remain a major cause of system failures and service outages. One promising approach to identify configuration errors automatically is to learn common usage patterns (and anti-patterns) using data-driven methods. However, existing data-driven learning approaches analyze only simple configurations ( e.g. , those with no hierarchical structure), identify only simple types of issues ( e.g. , type errors), or require extensive domain-specific tuning. In this paper, we present D iffy , the first push-button configuration analyzer that detects likely bugs in structured configurations. From example configurations, D iffy learns a common template, with "holes" that capture their variation. It then applies unsupervised learning to identify anomalous template parameters as likely bugs. We evaluate D iffy on a large cloud provider’s wide-area network, an operational 5G network testbed, and MySQL configurations, demonstrating its versatility, performance, and accuracy. During D iffy ’s development, it caught and prevented a bug in a configuration timer value that had previously caused an outage for the cloud provider.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper2
- Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic SimulationRulan Yang, Gao Han, Hanyang Shao, Xiaoqiang Zheng 等NSDI 2026
- Concord: Learning Network Configuration ContractsRyan Beckett, Francis Y. Yan, Raghunadha Reddy Pocha, Vineesh V. Raj 等EuroSys 2026
它引用的顶会 Paper7
- APKeep: Realtime Verification for Real NetworksPeng Zhang, Xu Liu, Hongkun Yang, Ning Kang 等NSDI 2020 · 被引用 99 次
- Understanding and discovering software configuration dependencies in cloud and datacenter systemsQingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li 等FSE 2020 · 被引用 54 次
- Finding Network Misconfigurations by Automatic Template InferenceSiva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman 等NSDI 2020 · 被引用 53 次
- Abstract interpretation of distributed network control planesRyan Beckett, Aarti Gupta, Ratul Mahajan, David WalkerPOPL 2020 · 被引用 46 次
- Campion: debugging router configuration differencesAlan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai 等SIGCOMM 2021 · 被引用 37 次
相关 Paper
- Learning Patterns in ConfigurationRanjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil GargASE 2021 · 被引用 11 次
- Large Language Models as Configuration ValidatorsXinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang 等ICSE 2025 · 被引用 7 次
- Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic ExecutionYigong Hu, Gongqi Huang, Peng HuangOSDI 2020 · 被引用 31 次
- CausalTune: Causal Learning based Automated Cellular RAN Configuration Tuning FrameworkLeyang Xue, Bolun Zhang, Yibo Ma, Mahesh K. Marina 等SIGCOMM 2026
- Metha: Network Verifiers Need To Be Correct Too!Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever 等NSDI 2021 · 被引用 20 次
