@inproceedings{cbfbe49160ee48f5a4d12a830bb9668d,
title = "Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers",
abstract = "Data races are often hard to detect in device drivers, due to the non-determinism of concurrent execution. According to our study of Linux driver patches that fix data races, more than 38\% of patches involve a pattern that we call inconsistent lock protection. Specifically, if a variable is accessed within two concurrently executed functions, the sets of locks held around each access are disjoint, at least one of the locksets is non-empty, and at least one of the involved accesses is a write, then a data race may occur.In this paper, we present a runtime analysis approach, named DILP, to detect data races caused by inconsistent lock protection in device drivers. By monitoring driver execution, DILP collects the information about runtime variable accesses and executed functions. Then after driver execution, DILP analyzes the collected information to detect and report data races caused by inconsistent lock protection. We evaluate DILP on 12 device drivers in Linux 4.16.9, and find 25 real data races.",
keywords = "Data race, device driver, inconsistent lock protection, runtime analysis",
author = "Chen, \{Qiu Liang\} and Bai, \{Jia Ju\} and Jiang, \{Zu Ming\} and Julia Lawall and Hu, \{Shi Min\}",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2019 ; Conference date: 24-02-2019 Through 27-02-2019",
year = "2019",
month = mar,
day = "15",
doi = "10.1109/SANER.2019.8668017",
language = "英语",
series = "SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "366--376",
editor = "Emad Shihab and David Lo and Xinyu Wang",
booktitle = "SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering",
address = "美国",
}