一句话：系统研究 Linux 内核并发缺陷，揭示其与用户态应用不同的执行行为与挑战。
并发缺陷由并发指令的非预期顺序引发，因非确定性而难以检测和诊断。已有研究多关注用户态应用，总结了常见缺陷特征，并推动了检测、诊断与修复技术；相比之下，操作系统内核中的并发缺陷认识不足。本文以 Linux 内核为对象开展综合性研究，指出内核中的底层系统编程和复杂执行模式会带来与用户态根本不同的并发执行行为。通过这一研究，作者旨在刻画内核并发缺陷的特征与挑战，填补该领域空白，并为后续检测、诊断与修复工具提供依据。摘要未给出具体评估结果。
Concurrency bugs arise from unexpected orderings of concurrent instructions and are notoriously difficult to detect and diagnose due to their non-deterministic nature. Prior studies of concurrency bugs in user-space applications have identified common bug characteristics and informed the design of effective detection, diagnosis, and repair techniques. In contrast, far less is known about concurrency bugs in operating system kernels, where low-level systems programming and complex execution patterns introduce fundamentally different concurrent execution behaviors.