一句话：通过 Linux 内核实证研究揭示快速路径中的深层语义 bug 普遍存在且难以被现有工具定位。
高性能系统常为关键功能实现快速路径以加速工作流执行，但编写无缺陷的快速路径并不容易。本文以 Linux 内核为对象开展实证研究，发现一个已提交的快速路径可能后续需要多达 19 个补丁来修复缺陷，且其中多数属于深层语义 bug。这类缺陷难以被现有 bug-finding 工具定位，因而说明快速路径的质量保障存在显著挑战。摘要未进一步披露 Pallas 的具体分析方法与评估结果；其核心贡献是揭示并强调快速路径语义缺陷这一问题。
Software optimization is constantly a serious concern for developing high-performance systems. To accelerate the workflow execution of a specific functionality, software developers usually define and implement a fast path to speed up the critical and commonly executed functions in the workflow. However, producing a bug-free fast path is nontrivial. Our study on the Linux kernel discloses that a committed fast path can have up to 19 follow-up patches for bug fixing, and most of them are deep semantic bugs, which are difficult to be pinpointed by existing bug-finding tools.