{"id":"https://openalex.org/W2119476013","doi":"https://doi.org/10.1109/coase.2009.5234118","title":"Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)","display_name":"Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)","publication_year":2009,"publication_date":"2009-08-01","ids":{"openalex":"https://openalex.org/W2119476013","doi":"https://doi.org/10.1109/coase.2009.5234118","mag":"2119476013"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2009.5234118","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2009.5234118","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE International Conference on Automation Science and Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5011242335","display_name":"Yin Wang","orcid":"https://orcid.org/0000-0003-3274-0452"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yin Wang","raw_affiliation_strings":["HP Laboratories, Palo Alto, CA, USA","HP Labs, Palo Alto, CA 94303, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HP Laboratories, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1324840837"]},{"raw_affiliation_string":"HP Labs, Palo Alto, CA 94303, USA","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103521137","display_name":"Hongwei Liao","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongwei Liao","raw_affiliation_strings":["Department of EECS, University of Michigan, Ann Arbor, MI, USA","Department of EECS, the University of Michigan, Ann Arbor, 48109, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Department of EECS, the University of Michigan, Ann Arbor, 48109, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049151543","display_name":"Ahmed Nazeem","orcid":"https://orcid.org/0000-0002-6769-2836"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ahmed Nazeem","raw_affiliation_strings":["School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, 30332, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, 30332, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008675858","display_name":"Spyros Reveliotis","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Spyros Reveliotis","raw_affiliation_strings":["School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, 30332, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, 30332, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014934596","display_name":"Terence Kelly","orcid":"https://orcid.org/0009-0006-1607-5674"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Terence Kelly","raw_affiliation_strings":["HP Laboratories, Palo Alto, CA, USA","HP Labs, Palo Alto, CA 94303, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"HP Laboratories, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1324840837"]},{"raw_affiliation_string":"HP Labs, Palo Alto, CA 94303, USA","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002075773","display_name":"Scott Mahlke","orcid":"https://orcid.org/0000-0002-0438-0616"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Mahlke","raw_affiliation_strings":["Department of EECS, University of Michigan, Ann Arbor, MI, USA","Department of EECS, the University of Michigan, Ann Arbor, 48109, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Department of EECS, the University of Michigan, Ann Arbor, 48109, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephane Lafortune","raw_affiliation_strings":["Department of EECS, University of Michigan, Ann Arbor, MI, USA","Department of EECS, the University of Michigan, Ann Arbor, 48109, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Department of EECS, the University of Michigan, Ann Arbor, 48109, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"37","last_page":"41"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991999864578247,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8850830793380737},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.853632390499115},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.8129756450653076},{"id":"https://openalex.org/keywords/semaphore","display_name":"Semaphore","score":0.7168411612510681},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.7139244079589844},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.5824044942855835},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.5674566030502319},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5408755540847778},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.5347344875335693},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5222737789154053},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.5136556029319763},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44592511653900146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3646319508552551},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3582555055618286}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8850830793380737},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.853632390499115},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.8129756450653076},{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.7168411612510681},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.7139244079589844},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.5824044942855835},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.5674566030502319},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5408755540847778},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.5347344875335693},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5222737789154053},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.5136556029319763},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44592511653900146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3646319508552551},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3582555055618286},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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":1,"locations":[{"id":"doi:10.1109/coase.2009.5234118","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2009.5234118","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE International Conference on Automation Science and Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.8299999833106995}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1496620875","https://openalex.org/W1504928013","https://openalex.org/W1505489763","https://openalex.org/W1547784515","https://openalex.org/W1556549343","https://openalex.org/W1587663028","https://openalex.org/W1962985716","https://openalex.org/W2067967561","https://openalex.org/W2094159214","https://openalex.org/W2115540709","https://openalex.org/W2120837116","https://openalex.org/W2127825616","https://openalex.org/W2158941847","https://openalex.org/W2309903448","https://openalex.org/W2509841691","https://openalex.org/W6679281492"],"related_works":["https://openalex.org/W2055159690","https://openalex.org/W2382175194","https://openalex.org/W2367266491","https://openalex.org/W1953982795","https://openalex.org/W2480924089","https://openalex.org/W1517912153","https://openalex.org/W1498456247","https://openalex.org/W2071904954","https://openalex.org/W2064785956","https://openalex.org/W2051539487"],"abstract_inverted_index":{"Multicore":[0],"architectures":[1],"in":[2,16,23],"computer":[3],"hardware":[4],"bring":[5],"an":[6,112,154],"unprecedented":[7],"need":[8,156],"for":[9,85,136,157],"parallel":[10,119],"programming.":[11],"In":[12,29],"the":[13,42,46,73,103,106,164],"work":[14],"considered":[15],"this":[17,30],"presentation,":[18],"we":[19],"are":[20,36,55,83,97,121],"especially":[21],"interested":[22],"multithreaded":[24],"programs":[25,120],"with":[26],"shared":[27,43,59],"data.":[28],"widelyused":[31],"programming":[32],"paradigm,":[33],"\u201clock\u201d":[34],"primitives":[35],"employed":[37],"to":[38,41,57,72,115,141,144,169],"control":[39],"access":[40],"data":[44,60],"within":[45],"program":[47],"threads.":[48],"For":[49],"example,":[50],"mutual":[51],"exclusion":[52],"locks":[53],"(mutexes)":[54],"used":[56],"protect":[58],"from":[61],"concurrent":[62],"inconsistent":[63],"updates.":[64],"However,":[65],"improper":[66],"use":[67],"of":[68,81,105,166],"mutexes":[69],"can":[70,92],"lead":[71],"familiar":[74],"\u201cdeadly":[75],"embrace\u201d":[76],"problem,":[77],"where":[78],"a":[79],"set":[80],"threads":[82],"waiting":[84],"one":[86],"another":[87],"and":[88,102,124,133,146,173],"no":[89],"further":[90],"progress":[91],"be":[93,142],"made.":[94],"These":[95],"situations":[96],"called":[98],"Circular-Mutex-Wait":[99],"(CMW)":[100],"deadlocks":[101],"tale":[104],"dining":[107],"philosophers":[108],"[4],":[109],"[3]":[110],"is":[111,130,153],"amusing":[113],"way":[114],"illustrate":[116],"CMW-deadlocks.":[117],"As":[118],"becoming":[122,131],"more":[123,125,132,134,158],"complex,":[126],"reasoning":[127],"about":[128],"deadlock":[129,149,176],"difficult":[135],"programmers.":[137],"Significant":[138],"effort":[139],"has":[140],"spent":[143],"detect":[145],"fix":[147],"intricate":[148],"bugs.":[150],"Therefore,":[151],"there":[152],"emerging":[155],"systematic":[159],"methodologies":[160],"that":[161],"will":[162],"enable":[163],"programmers":[165],"these":[167,175],"environments":[168],"effectively":[170],"characterize,":[171],"analyze,":[172],"resolve":[174],"problems.":[177]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}