{"id":"https://openalex.org/W2085539279","doi":"https://doi.org/10.1109/tpds.2014.2307864","title":"ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs","display_name":"ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs","publication_year":2014,"publication_date":"2014-02-24","ids":{"openalex":"https://openalex.org/W2085539279","doi":"https://doi.org/10.1109/tpds.2014.2307864","mag":"2085539279"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2014.2307864","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2014.2307864","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Parallel and Distributed Systems","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/A5019924930","display_name":"Yan Cai","orcid":"https://orcid.org/0000-0002-4768-0272"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Yan Cai","raw_affiliation_strings":["Chinese Academy of Sciences, Institute of Software, Beijing, China","Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong","State Key Laboratory of Computer Science, Institute of Software,Chinese Academy of Sciences,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, Institute of Software, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software,Chinese Academy of Sciences,Beijing,China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089535029","display_name":"Changjiang Jia","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Changjiang Jia","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong","[Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"[Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong]","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082557247","display_name":"Shangru Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shangru Wu","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong","[Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"[Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong]","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110187263","display_name":"Ke Zhai","orcid":null},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Ke Zhai","raw_affiliation_strings":["Department of Computer Science, The University of Hong Kong, Pokfulam Road, Hong Kong","Department of Computer Science, The University of Hong Kong Pokfulam Road, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Hong Kong, Pokfulam Road, Hong Kong","institution_ids":["https://openalex.org/I889458895"]},{"raw_affiliation_string":"Department of Computer Science, The University of Hong Kong Pokfulam Road, Hong Kong","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"last","author":{"id":null,"display_name":"Wing Kwong Chan","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Wing Kwong Chan","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong","[Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"[Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong]","institution_ids":["https://openalex.org/I168719708"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2057,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.88040235,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"26","issue":"1","first_page":"13","last_page":"23"},"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.9997000098228455,"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.9997000098228455,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9983999729156494,"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","display_name":"Deadlock","score":0.8829212188720703},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8808035850524902},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.8742393255233765},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.6162752509117126},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6071004867553711},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5488513112068176},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.52237468957901},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43064066767692566},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.41021743416786194},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36878126859664917},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.22042635083198547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19829952716827393},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.14661291241645813}],"concepts":[{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.8829212188720703},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8808035850524902},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.8742393255233765},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.6162752509117126},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6071004867553711},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5488513112068176},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.52237468957901},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43064066767692566},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.41021743416786194},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36878126859664917},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.22042635083198547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19829952716827393},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.14661291241645813},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tpds.2014.2307864","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2014.2307864","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Parallel and Distributed Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.41999998688697815,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1541313361","https://openalex.org/W1591458180","https://openalex.org/W1604551772","https://openalex.org/W1777881387","https://openalex.org/W1862182621","https://openalex.org/W1866112185","https://openalex.org/W1868584616","https://openalex.org/W1980689777","https://openalex.org/W2047260020","https://openalex.org/W2049962250","https://openalex.org/W2051965449","https://openalex.org/W2067406339","https://openalex.org/W2068708392","https://openalex.org/W2076195478","https://openalex.org/W2097576663","https://openalex.org/W2101161997","https://openalex.org/W2102659010","https://openalex.org/W2104831091","https://openalex.org/W2110852599","https://openalex.org/W2111900492","https://openalex.org/W2119494620","https://openalex.org/W2127825616","https://openalex.org/W2132800423","https://openalex.org/W2134633067","https://openalex.org/W2154698535","https://openalex.org/W2159856414","https://openalex.org/W2164726526","https://openalex.org/W2167744164","https://openalex.org/W2169623872","https://openalex.org/W2169712903","https://openalex.org/W2283246674","https://openalex.org/W2294504770","https://openalex.org/W3137220996","https://openalex.org/W3151416809","https://openalex.org/W4239813889","https://openalex.org/W4254906220","https://openalex.org/W6632227295","https://openalex.org/W6635419144","https://openalex.org/W6638969916","https://openalex.org/W6639219617","https://openalex.org/W6662376236","https://openalex.org/W6679281492"],"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/W4383684213","https://openalex.org/W2045082154"],"abstract_inverted_index":{"Many":[0],"large-scale":[1],"multithreaded":[2,176],"programs":[3],"incur":[4],"deadlock":[5,8,62,99,153,169],"bugs.":[6],"Existing":[7],"warning":[9,14,25,129,159],"detection":[10],"techniques":[11],"only":[12],"report":[13],"scenarios,":[15],"which":[16],"may":[17,19,33],"or":[18,104,191],"not":[20],"be":[21,27,66],"real":[22,37,79,98],"deadlocks.":[23],"Each":[24],"should":[26,100],"further":[28],"verified":[29],"on":[30,167],"whether":[31,151],"it":[32],"manifest":[34],"into":[35],"a":[36,42,72,90,97,127,172],"deadlock.":[38],"For":[39],"this":[40],"purpose,":[41],"number":[43],"of":[44,107,118,174],"active":[45],"randomized":[46,75],"testing":[47],"schedulers":[48],"have":[49,164],"been":[50,161],"developed":[51],"to":[52,110,130],"trigger":[53],"them,":[54],"and":[55],"yet":[56],"pervious":[57],"experiments":[58],"show":[59,180],"that":[60,77,88,154,181],"their":[61],"confirmation":[63,91],"probability":[64],"can":[65],"low.":[67],"This":[68],"paper":[69],"presents":[70],"ASN,":[71],"novel":[73],"barrier-based":[74],"scheduler":[76],"triggers":[78,192],"deadlocks":[80,186,195],"with":[81,156,196],"high":[82],"probabilities.":[83],"We":[84,163],"exploit":[85],"the":[86,93,123,140,145,157,188,193],"insights":[87],"in":[89,96,126,136,171],"run,":[92],"threads":[94,124,141],"involved":[95],"properly":[101],"acquire":[102],"one":[103],"more":[105,185],"sets":[106,117,135],"locks":[108],"prior":[109],"deadlocking.":[111],"ASN":[112,149,166,182],"automatically":[113],"identifies":[114],"three":[115],"interesting":[116],"such":[119],"positions.":[120],"It":[121],"guides":[122],"participating":[125],"given":[128,158],"stay":[131],"at":[132,144],"these":[133],"position":[134,147],"turn.":[137],"When":[138],"all":[139],"are":[142],"staying":[143],"last":[146],"set,":[148],"checks":[150],"any":[152],"matches":[155],"has":[160],"triggered.":[162],"evaluated":[165],"15":[168],"bugs":[170],"suite":[173,190],"real-world":[175],"programs.":[177],"The":[178],"results":[179],"either":[183],"confirms":[184],"from":[187],"benchmark":[189],"same":[194],"significantly":[197],"higher":[198],"probabilities":[199],"than":[200],"existing":[201],"schedulers.":[202]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}