{"id":"https://openalex.org/W2914275755","doi":"https://doi.org/10.1109/saner.2019.8668017","title":"Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers","display_name":"Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers","publication_year":2019,"publication_date":"2019-02-01","ids":{"openalex":"https://openalex.org/W2914275755","doi":"https://doi.org/10.1109/saner.2019.8668017","mag":"2914275755"},"language":"en","primary_location":{"id":"doi:10.1109/saner.2019.8668017","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saner.2019.8668017","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000935236","display_name":"Qiu-Liang Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiu-Liang Chen","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017174482","display_name":"Jia-Ju Bai","orcid":"https://orcid.org/0000-0002-9500-6100"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jia-Ju Bai","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027989304","display_name":"Zu-Ming Jiang","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zu-Ming Jiang","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040879516","display_name":"Julia Lawall","orcid":"https://orcid.org/0000-0002-1684-1264"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julia Lawall","raw_affiliation_strings":["Sorbonne University/Inria/LIP6, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne University/Inria/LIP6, Paris, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I39804081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037233582","display_name":"Shi\u2010Min Hu","orcid":"https://orcid.org/0000-0001-7507-6542"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi-Min Hu","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6745,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.82552118,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"366","last_page":"376"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7939468622207642},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.765799343585968},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.5708203911781311},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.504400372505188},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.43048587441444397},{"id":"https://openalex.org/keywords/race","display_name":"Race (biology)","score":0.41837453842163086},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08996492624282837}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7939468622207642},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.765799343585968},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.5708203911781311},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.504400372505188},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.43048587441444397},{"id":"https://openalex.org/C76509639","wikidata":"https://www.wikidata.org/wiki/Q918036","display_name":"Race (biology)","level":2,"score":0.41837453842163086},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08996492624282837},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/saner.2019.8668017","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saner.2019.8668017","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02014196v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-02014196","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SANER 2019 - 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, Feb 2019, Hangzhou, China","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W1487375638","https://openalex.org/W1521891776","https://openalex.org/W1534988187","https://openalex.org/W1535409169","https://openalex.org/W1970363544","https://openalex.org/W1972544179","https://openalex.org/W1978905120","https://openalex.org/W1994305220","https://openalex.org/W2002179840","https://openalex.org/W2003215037","https://openalex.org/W2010830544","https://openalex.org/W2011974310","https://openalex.org/W2019062800","https://openalex.org/W2027179699","https://openalex.org/W2031588946","https://openalex.org/W2037431929","https://openalex.org/W2042373832","https://openalex.org/W2072419942","https://openalex.org/W2077324087","https://openalex.org/W2078197548","https://openalex.org/W2101161997","https://openalex.org/W2109156518","https://openalex.org/W2109875364","https://openalex.org/W2119068918","https://openalex.org/W2120476011","https://openalex.org/W2122578826","https://openalex.org/W2127532866","https://openalex.org/W2133662847","https://openalex.org/W2144118030","https://openalex.org/W2149984854","https://openalex.org/W2150602145","https://openalex.org/W2152777241","https://openalex.org/W2153174073","https://openalex.org/W2154557525","https://openalex.org/W2157953862","https://openalex.org/W2167744164","https://openalex.org/W2243109068","https://openalex.org/W2295306256","https://openalex.org/W2508576555","https://openalex.org/W2547616304","https://openalex.org/W2886331223","https://openalex.org/W3137220996","https://openalex.org/W4236306709","https://openalex.org/W4249000722","https://openalex.org/W4256028745","https://openalex.org/W4300810260","https://openalex.org/W6600049303","https://openalex.org/W6631160967","https://openalex.org/W6631773662","https://openalex.org/W6648751347","https://openalex.org/W6655190238","https://openalex.org/W6724810736","https://openalex.org/W6753726376"],"related_works":["https://openalex.org/W4256429076","https://openalex.org/W1971174658","https://openalex.org/W2099195351","https://openalex.org/W2492471733","https://openalex.org/W2348092930","https://openalex.org/W4395679069","https://openalex.org/W2012063272","https://openalex.org/W3129272755","https://openalex.org/W3013012681","https://openalex.org/W2138685729"],"abstract_inverted_index":{"Data":[0],"races":[1,102,140],"are":[2,62],"often":[3],"hard":[4],"to":[5,11,18,99,135],"detect":[6,100,136],"in":[7,108,153],"device":[8,109,151],"drivers,":[9],"due":[10],"the":[12,54,68,77,117,132],"non-determinism":[13],"of":[14,21,32,56,67,76],"concurrent":[15],"execution.":[16],"According":[17],"our":[19],"study":[20],"Linux":[22,154],"driver":[23,113,128],"patches":[24,33],"that":[25,37],"fix":[26],"data":[27,85,101,139,160],"races,":[28],"more":[29],"than":[30],"38%":[31],"involve":[34],"a":[35,45,81,84,93],"pattern":[36],"we":[38,91],"call":[39],"inconsistent":[40,105,143],"lock":[41,106,144],"protection.":[42,145],"Specifically,":[43],"if":[44],"variable":[46,121],"is":[47,70,80],"accessed":[48],"within":[49],"two":[50],"concurrently":[51],"executed":[52,124],"functions,":[53],"sets":[55],"locks":[57],"held":[58],"around":[59],"each":[60],"access":[61],"disjoint,":[63],"at":[64,73],"least":[65,74],"one":[66,75],"locksets":[69],"non-empty,":[71],"and":[72,123,137,156],"involved":[78],"accesses":[79,122],"write,":[82],"then":[83],"race":[86],"may":[87],"occur.In":[88],"this":[89],"paper,":[90],"present":[92],"runtime":[94,120],"analysis":[95],"approach,":[96],"named":[97],"DILP,":[98],"caused":[103,141],"by":[104,142],"protection":[107],"drivers.":[110],"By":[111],"monitoring":[112],"execution,":[114,129],"DILP":[115,130,148],"collects":[116],"information":[118,134],"about":[119],"functions.":[125],"Then":[126],"after":[127],"analyzes":[131],"collected":[133],"report":[138],"We":[146],"evaluate":[147],"on":[149],"12":[150],"drivers":[152],"4.16.9,":[155],"find":[157],"25":[158],"real":[159],"races.":[161]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}