{"id":"https://openalex.org/W2387250688","doi":null,"title":"Potential Deadlock Detection Algorithm for Concurrent Programs Based on Dependence Ana-lysis","display_name":"Potential Deadlock Detection Algorithm for Concurrent Programs Based on Dependence Ana-lysis","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2387250688","mag":"2387250688"},"language":"en","primary_location":{"id":"mag:2387250688","doi":null,"is_oa":false,"landing_page_url":"http://en.cnki.com.cn/Article_en/CJFDTOTAL-XXWX200705017.htm","pdf_url":null,"source":{"id":"https://openalex.org/S2764451536","display_name":"Journal of Chinese Computer Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311940","host_organization_name":"Chinese Academy of Sciences","host_organization_lineage":["https://openalex.org/P4310311940"],"host_organization_lineage_names":["Chinese Academy of Sciences"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Journal of Chinese Computer Systems","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5100564758","display_name":"Xiaosong Zhao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaosong Zhao","raw_affiliation_strings":["Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074,China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074,China)","institution_ids":["https://openalex.org/I47720641"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100564758"],"corresponding_institution_ids":["https://openalex.org/I47720641"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.5356000065803528,"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.5356000065803528,"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/T10126","display_name":"Logic, programming, and type systems","score":0.18549999594688416,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.18019999563694,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/deadlock-detection","display_name":"deadlock detection","score":0.9639999866485596},{"id":"https://openalex.org/keywords/concurrent-programs","display_name":"concurrent programs","score":0.9480000138282776},{"id":"https://openalex.org/keywords/dependence-analysis","display_name":"dependency analysis","score":0.9259999990463257},{"id":"https://openalex.org/keywords/runtime-errors","display_name":"runtime errors","score":0.8399999737739563},{"id":"https://openalex.org/keywords/indeterminism","display_name":"indeterminism","score":0.7310000061988831},{"id":"https://openalex.org/keywords/algorithm-correctness","display_name":"algorithm correctness","score":0.4350000023841858},{"id":"https://openalex.org/keywords/time-complexity","display_name":"time complexity","score":0.7319999933242798}],"concepts":[{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.8968087434768677},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.8937130570411682},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8829970359802246},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.47626230120658875},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.438627153635025},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3661494255065918},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3568357229232788}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2387250688","doi":null,"is_oa":false,"landing_page_url":"http://en.cnki.com.cn/Article_en/CJFDTOTAL-XXWX200705017.htm","pdf_url":null,"source":{"id":"https://openalex.org/S2764451536","display_name":"Journal of Chinese Computer Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311940","host_organization_name":"Chinese Academy of Sciences","host_organization_lineage":["https://openalex.org/P4310311940"],"host_organization_lineage_names":["Chinese Academy of Sciences"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Journal of Chinese Computer Systems","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2051539487","https://openalex.org/W1544441750","https://openalex.org/W7095513615","https://openalex.org/W2047260020","https://openalex.org/W2356041536","https://openalex.org/W7095763310","https://openalex.org/W1974042116","https://openalex.org/W1984303085","https://openalex.org/W2039528863","https://openalex.org/W4232139305"],"abstract_inverted_index":{"Deadlock":[0],"is":[1,13,39,52,58,69],"a":[2,30],"kind":[3],"of":[4,11,20,23,49,62],"runtime":[5],"error":[6],"in":[7],"concurrent":[8,25,36],"programs.":[9,26],"Detection":[10],"deadlock":[12,32],"very":[14],"difficult":[15],"due":[16],"to":[17],"the":[18,21,24,42,50,55,63,67],"indeterminism":[19],"execution":[22],"This":[27],"paper":[28],"proposed":[29],"potential":[31],"detection":[33],"algorithm":[34,51,68],"for":[35],"programs,":[37],"which":[38],"based":[40],"on":[41],"dependence":[43],"analysis":[44],"technology.":[45],"The":[46,60],"formal":[47],"definition":[48],"presented,":[53],"and":[54,71],"time":[56],"cost":[57],"analyzed.":[59],"results":[61],"experiments":[64],"show":[65],"that":[66],"correct":[70],"efficient.":[72]},"counts_by_year":[],"updated_date":"2025-10-10T17:16:08.811792","created_date":"2016-06-24T00:00:00"}