{"id":"https://openalex.org/W2103115124","doi":"https://doi.org/10.1109/tse.2003.1214325","title":"A safe algorithm for resolving or deadlocks","display_name":"A safe algorithm for resolving or deadlocks","publication_year":2003,"publication_date":"2003-07-01","ids":{"openalex":"https://openalex.org/W2103115124","doi":"https://doi.org/10.1109/tse.2003.1214325","mag":"2103115124"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2003.1214325","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2003.1214325","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","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/A5009201812","display_name":"Jes\u00fas Villadangos","orcid":"https://orcid.org/0000-0002-7341-9529"},"institutions":[{"id":"https://openalex.org/I175051016","display_name":"Universidad Publica de Navarra","ror":"https://ror.org/02z0cah89","country_code":"ES","type":"education","lineage":["https://openalex.org/I175051016"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"J. Villadangos","raw_affiliation_strings":["Department de Autom\u00e1tica y Computaci\u00f3n, Universidad P\u00d9blica de Navarra, Spain"],"affiliations":[{"raw_affiliation_string":"Department de Autom\u00e1tica y Computaci\u00f3n, Universidad P\u00d9blica de Navarra, Spain","institution_ids":["https://openalex.org/I175051016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054967398","display_name":"F. Fari\u00f1a","orcid":"https://orcid.org/0000-0002-9245-9710"},"institutions":[{"id":"https://openalex.org/I175051016","display_name":"Universidad Publica de Navarra","ror":"https://ror.org/02z0cah89","country_code":"ES","type":"education","lineage":["https://openalex.org/I175051016"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"F. Farina","raw_affiliation_strings":["Department de Matem\u00e1tica e Inform\u00e1tica, Universidad P\u00d9blica de Navarra, Spain"],"affiliations":[{"raw_affiliation_string":"Department de Matem\u00e1tica e Inform\u00e1tica, Universidad P\u00d9blica de Navarra, Spain","institution_ids":["https://openalex.org/I175051016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058171550","display_name":"Jos\u00e9 Ram\u00f3n Gonz\u00e1lez de Mend\u00edvil","orcid":"https://orcid.org/0000-0003-3150-6437"},"institutions":[{"id":"https://openalex.org/I175051016","display_name":"Universidad Publica de Navarra","ror":"https://ror.org/02z0cah89","country_code":"ES","type":"education","lineage":["https://openalex.org/I175051016"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J.R. Gonzalez de Mendivil","raw_affiliation_strings":["Department de Matem\u00e1tica e Inform\u00e1tica, Universidad P\u00d9blica de Navarra, Spain"],"affiliations":[{"raw_affiliation_string":"Department de Matem\u00e1tica e Inform\u00e1tica, Universidad P\u00d9blica de Navarra, Spain","institution_ids":["https://openalex.org/I175051016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108536990","display_name":"J.R. Garitagoitia","orcid":null},"institutions":[{"id":"https://openalex.org/I175051016","display_name":"Universidad Publica de Navarra","ror":"https://ror.org/02z0cah89","country_code":"ES","type":"education","lineage":["https://openalex.org/I175051016"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J.R. Garitagoitia","raw_affiliation_strings":["Department de Matem\u00e1tica e Inform\u00e1tica, Universidad P\u00d9blica de Navarra, Spain"],"affiliations":[{"raw_affiliation_string":"Department de Matem\u00e1tica e Inform\u00e1tica, Universidad P\u00d9blica de Navarra, Spain","institution_ids":["https://openalex.org/I175051016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061059848","display_name":"Alberto C\u00f3rdoba","orcid":"https://orcid.org/0000-0002-4945-3372"},"institutions":[{"id":"https://openalex.org/I175051016","display_name":"Universidad Publica de Navarra","ror":"https://ror.org/02z0cah89","country_code":"ES","type":"education","lineage":["https://openalex.org/I175051016"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"A. Cordoba","raw_affiliation_strings":["Department de Matem\u00e1tica e Inform\u00e1tica, Universidad P\u00d9blica de Navarra, Spain"],"affiliations":[{"raw_affiliation_string":"Department de Matem\u00e1tica e Inform\u00e1tica, Universidad P\u00d9blica de Navarra, Spain","institution_ids":["https://openalex.org/I175051016"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5009201812"],"corresponding_institution_ids":["https://openalex.org/I175051016"],"apc_list":null,"apc_paid":null,"fwci":0.4722,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.71926044,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"29","issue":"7","first_page":"608","last_page":"622"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"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.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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9047706127166748},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8597480654716492},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.743635892868042},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7014802694320679},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6920892596244812},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5825172662734985},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5007708072662354},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.4473671615123749},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4156869053840637},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33908307552337646},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10418641567230225}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9047706127166748},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8597480654716492},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.743635892868042},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7014802694320679},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6920892596244812},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5825172662734985},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5007708072662354},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.4473671615123749},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4156869053840637},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33908307552337646},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10418641567230225},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2003.1214325","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2003.1214325","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320329682","display_name":"Gobierno de Navarra","ror":"https://ror.org/025qq4838"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1145612306","https://openalex.org/W1498342204","https://openalex.org/W1533287682","https://openalex.org/W1573977097","https://openalex.org/W2002170071","https://openalex.org/W2013173096","https://openalex.org/W2023408771","https://openalex.org/W2026487767","https://openalex.org/W2049672573","https://openalex.org/W2053310307","https://openalex.org/W2066775342","https://openalex.org/W2071451095","https://openalex.org/W2095359054","https://openalex.org/W2102685956","https://openalex.org/W2109612684","https://openalex.org/W2116873772","https://openalex.org/W2123174699","https://openalex.org/W2135815029","https://openalex.org/W2137700808","https://openalex.org/W2141996705","https://openalex.org/W2142302732","https://openalex.org/W2151447336","https://openalex.org/W3142430746","https://openalex.org/W6629841916"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W4226119751","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W2001478969","https://openalex.org/W1900787600","https://openalex.org/W2136552483","https://openalex.org/W2166954426","https://openalex.org/W1867637656","https://openalex.org/W2329232208"],"abstract_inverted_index":{"Deadlocks":[0],"in":[1,58,92],"the":[2,16,35,40,45,53,65,96],"OR":[3,36],"model":[4,18,37],"are":[5],"usually":[6],"resolved":[7],"by":[8,81],"aborting":[9],"a":[10,29],"deadlocked":[11],"process.":[12],"Prior":[13],"algorithms":[14],"for":[15,34],"same":[17],"sometimes":[19],"abort":[20],"nodes":[21],"needlessly":[22],"wasting":[23],"computing":[24],"resources.":[25],"This":[26],"paper":[27],"presents":[28],"new":[30],"deadlock":[31],"resolution":[32],"algorithm":[33,46,54,66,86],"that":[38,70],"satisfies":[39],"following":[41],"correctness":[42],"criteria:":[43],"(Safety)":[44],"does":[47],"not":[48],"resolve":[49],"false":[50],"deadlocks;":[51],"(Liveness)":[52],"resolves":[55],"all":[56],"deadlocks":[57],"finite":[59],"time.":[60],"The":[61,75],"communication":[62],"cost":[63,77],"of":[64,71,98],"is":[67],"similar":[68],"to":[69,94],"previous":[72],"nonsafe":[73],"proposals.":[74],"theoretical":[76],"has":[78],"been":[79,90],"validated":[80],"simulation.":[82],"In":[83],"addition,":[84],"different":[85],"initiation":[87],"alternatives":[88],"have":[89],"analyzed":[91],"order":[93],"reduce":[95],"latency":[97],"deadlocks.":[99]},"counts_by_year":[{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}