{"id":"https://openalex.org/W2139435690","doi":"https://doi.org/10.1109/cdc.2009.5399950","title":"Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software","display_name":"Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software","publication_year":2009,"publication_date":"2009-12-01","ids":{"openalex":"https://openalex.org/W2139435690","doi":"https://doi.org/10.1109/cdc.2009.5399950","mag":"2139435690"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2009.5399950","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2009.5399950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference","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":["Hewlett Packard Laboratories, Palo Alto, CA, USA","HP Labs, Palo Alto, CA 94303, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett Packard 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/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":["Hewlett Packard Laboratories, Palo Alto, CA, USA","HP Labs, Palo Alto, CA 94303, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett Packard 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":31,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":null,"first_page":"4971","last_page":"4976"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9977999925613403,"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.987500011920929,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8855522871017456},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8522135019302368},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8437395095825195},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7466920614242554},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.624361515045166},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6198088526725769},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.5718744993209839},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.46262478828430176},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.44083523750305176},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4228770136833191},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3662682771682739},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35706666111946106},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3522244393825531}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8855522871017456},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8522135019302368},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8437395095825195},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7466920614242554},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.624361515045166},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6198088526725769},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.5718744993209839},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.46262478828430176},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.44083523750305176},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4228770136833191},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3662682771682739},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35706666111946106},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3522244393825531},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2009.5399950","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2009.5399950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1496620875","https://openalex.org/W1504928013","https://openalex.org/W1556549343","https://openalex.org/W1962985716","https://openalex.org/W1996109622","https://openalex.org/W2067967561","https://openalex.org/W2110169180","https://openalex.org/W2113542088","https://openalex.org/W2115540709","https://openalex.org/W2123621586","https://openalex.org/W2127825616","https://openalex.org/W2140872435","https://openalex.org/W2157597221","https://openalex.org/W2158163902","https://openalex.org/W2169489847","https://openalex.org/W2309903448","https://openalex.org/W6629705389","https://openalex.org/W6678210713","https://openalex.org/W6679281492"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W2001478969","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W1867637656","https://openalex.org/W2329232208","https://openalex.org/W2382668819","https://openalex.org/W2037143823","https://openalex.org/W2174390203","https://openalex.org/W2379807426"],"abstract_inverted_index":{"Deadlock":[0],"avoidance":[1],"in":[2,36,93],"shared-memory":[3],"multithreaded":[4,34,72],"programs":[5,35],"is":[6,28],"receiving":[7],"increased":[8],"attention":[9],"as":[10],"multicore":[11],"architectures":[12],"and":[13,111,125,129],"parallel":[14,57],"programming":[15],"are":[16,53,79],"becoming":[17],"more":[18],"prevalent.":[19],"In":[20,48],"our":[21],"on-going":[22],"project,":[23,50],"called":[24,74],"Gadara,":[25],"the":[26,31,63,137],"objective":[27],"to":[29,38,55],"control":[30,46],"execution":[32],"of":[33,65,87,96,101,108,112,120,132,139],"order":[37],"avoid":[39],"deadlocks":[40],"by":[41],"using":[42,127],"techniques":[43],"from":[44,70],"discrete-event":[45],"theory.":[47],"this":[49,102],"Petri":[51,66],"nets":[52,67,78,88,110,122],"employed":[54],"model":[56],"programs.":[58],"This":[59],"paper":[60,103],"formally":[61],"defines":[62],"class":[64],"that":[68,89],"emerges":[69],"modeling":[71],"programs,":[73],"Gadara":[75,77,109,114,121],"nets.":[76],"related":[80],"to,":[81],"but":[82],"different":[83],"from,":[84],"other":[85],"classes":[86],"have":[90],"been":[91],"characterized":[92],"deadlock":[94],"analysis":[95,119],"manufacturing":[97],"systems.":[98],"The":[99],"contributions":[100],"include:":[104],"(i)":[105],"formal":[106],"definition":[107],"controlled":[113],"nets;":[115],"(ii)":[116],"a":[117,133],"behavioral":[118],"for":[123,136],"liveness":[124],"reversibility":[126],"siphons;":[128],"(iii)":[130],"identification":[131],"convexity-type":[134],"property":[135],"set":[138],"live":[140],"markings.":[141]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":7}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}