arXiv:2511.18924cs.SEcs.AI2025-11

用大模型自动更新Linux驱动,解决内核升级导致的兼容性问题

LLM-Driven Kernel Evolution: Automating Driver Updates in Linux

  • 基于大模型与多智能体协作,自动修复驱动代码
  • 在55个案例中实现56.4%编译成功,多数驱动初始化功能保留
  • 开源数据集和工具链,支持可复现的研究与持续维护

Linux内核演进常因API/ABI变更、语义调整及安全强化导致驱动失效。本文提出DRIVEBENCH,一个涵盖v5.10-v6.10版本的内核-驱动协同演进可执行语料库,以及AUTODRIVER——一个闭环式、大模型驱动的自动化驱动维护系统。该系统融合提示工程、多智能体协作、静态分析与迭代验证,确保生成补丁在语法、功能与语义上均符合内核规范。语料库包含235个经验证的案例(从612个候选中筛选),在55个测试案例中,AUTODRIVER实现56.4%的编译成功率;基于QEMU的启动验证表明,多数补丁能保持驱动初始化行为。通过公开DRIVEBENCH与工具链,本文为内核与驱动的持续、安全协同演进提供了可复现的研究基础与实用路径。

原文摘要 · Abstract (English)

Linux kernel evolution breaks drivers through API/ABI changes, semantic shifts, and security-hardening updates. We introduce DRIVEBENCH, an executable corpus of kernel$\rightarrow$driver co-evolution cases, and AUTODRIVER, a closed-loop, LLM-driven system for automating driver maintenance. The system integrates prompt engineering, multi-agent collaboration, static analysis, and iterative validation to ensure that generated patches are not only syntactically correct but also functionally and semantically consistent with kernel conventions. The corpus spans v5.10-v6.10 with 235 validated cases drawn from 612 candidates. In evaluation across 55 cases, AUTODRIVER achieves 56.4% compilation success; QEMU-based boot verification indicates that compiled patches preserve driver initialization in most instances. By releasing DRIVEBENCH and tooling, we enable reproducible research and a practical route to continuous, safe co-evolution of drivers with the Linux kernel.

大模型驱动更新内核演化自动化

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。