DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules

Abstract : In a modern OS, kernel modules often use spinlocks and interrupt handlers to monopolize a CPU core to execute concurrent code in atomic context. In this situation, if the kernel module performs an operation that can sleep at runtime, a system hang may occur. We refer to this kind of concurrency bug as a sleep-in-atomic-context (SAC) bug. In practice, SAC bugs have received insufficient attention and are hard to find, as they do not always cause problems in real executions. In this paper, we propose a practical static approach named DSAC, to effectively detect SAC bugs and automatically recommend patches to help fix them. DSAC uses four key techniques: (1) a hybrid of flow-sensitive and-insensitive analysis to perform accurate and efficient code analysis; (2) a heuristics-based method to accurately extract kernel interfaces that can sleep at runtime; (3) a path-check method to effectively filter out repeated reports and false bugs; (4) a pattern-based method to automatically generate recommended patches to help fix the bugs. We evaluate DSAC on kernel modules (drivers, file systems, and network modules) of the Linux kernel, and on the FreeBSD and NetBSD kernels, and in total find 401 new real bugs. 272 of these bugs have been confirmed by the relevant kernel maintainers, and 43 patches generated by DSAC have been applied by kernel maintainers.
Type de document :
Communication dans un congrès
2018 USENIX Annual Technical Conference, Jul 2018, Boston, MA, United States
Liste complète des métadonnées

https://hal.inria.fr/hal-01853268
Contributeur : Julia Lawall <>
Soumis le : vendredi 3 août 2018 - 09:48:54
Dernière modification le : vendredi 23 novembre 2018 - 01:48:30
Document(s) archivé(s) le : dimanche 4 novembre 2018 - 12:26:51

Fichier

atc18-bai.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01853268, version 1

Citation

Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu. DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. 2018 USENIX Annual Technical Conference, Jul 2018, Boston, MA, United States. 〈hal-01853268〉

Partager

Métriques

Consultations de la notice

755

Téléchargements de fichiers

67