{"id":"https://openalex.org/W4206460972","doi":"https://doi.org/10.1561/2500000041","title":"Progress of Concurrent Objects","display_name":"Progress of Concurrent Objects","publication_year":2020,"publication_date":"2020-05-18","ids":{"openalex":"https://openalex.org/W4206460972","doi":"https://doi.org/10.1561/2500000041"},"language":"en","primary_location":{"id":"doi:10.1561/2500000041","is_oa":true,"landing_page_url":"https://doi.org/10.1561/2500000041","pdf_url":null,"source":{"id":"https://openalex.org/S4210233022","display_name":"Foundations and Trends\u00ae in Programming Languages","issn_l":"2325-1107","issn":["2325-1107","2325-1131"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1561/2500000041","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113904546","display_name":"Hongjin Liang","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hongjin Liang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University ,","State Key Laboratory for Novel Software Technology, Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University ,","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101761508","display_name":"Xinyu Feng","orcid":"https://orcid.org/0009-0006-8363-4771"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyu Feng","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University ,","State Key Laboratory for Novel Software Technology, Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University ,","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5113904546"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.1807,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65010299,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"5","issue":"4","first_page":"282","last_page":"414"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.444599986076355,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.444599986076355,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.564808189868927}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.564808189868927}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1561/2500000041","is_oa":true,"landing_page_url":"https://doi.org/10.1561/2500000041","pdf_url":null,"source":{"id":"https://openalex.org/S4210233022","display_name":"Foundations and Trends\u00ae in Programming Languages","issn_l":"2325-1107","issn":["2325-1107","2325-1131"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1561/2500000041","is_oa":true,"landing_page_url":"https://doi.org/10.1561/2500000041","pdf_url":null,"source":{"id":"https://openalex.org/S4210233022","display_name":"Foundations and Trends\u00ae in Programming Languages","issn_l":"2325-1107","issn":["2325-1107","2325-1131"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1968428133","https://openalex.org/W1972316716","https://openalex.org/W1998599440","https://openalex.org/W2001738739","https://openalex.org/W2037683502","https://openalex.org/W2089064888","https://openalex.org/W2090551028","https://openalex.org/W2101939036","https://openalex.org/W2154642390","https://openalex.org/W2296232480","https://openalex.org/W2776176937","https://openalex.org/W2914000465"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Implementations":[0],"of":[1,77,82,130,148,164,275,291],"concurrent":[2,88,131,158,182,243],"objects":[3,89,183,212,222],"should":[4],"guarantee":[5],"linearizability":[6,140,238],"and":[7,49,196,239,260,284,287],"a":[8,25,142,230],"progress":[9,19,76,128,136,191,240,253],"property":[10,137],"such":[11,278],"as":[12,141,279],"wait-freedom,":[13],"lock-freedom,":[14,256],"starvation-freedom,":[15,257],"or":[16,60,210,215,273,289],"deadlock-freedom.":[17],"These":[18],"properties":[20,129,254],"describe":[21,36],"conditions":[22],"under":[23,101,213],"which":[24,111],"method":[26],"call":[27],"is":[28,107],"guaranteed":[29],"to":[30,35,44,66,87,99,205,270],"complete.":[31],"However,":[32],"they":[33],"fail":[34],"how":[37],"clients":[38,163],"are":[39,64,96],"affected,":[40],"making":[41],"it":[42],"difficult":[43],"utilize":[45],"them":[46],"in":[47,146,262],"layered":[48],"modular":[50,179],"program":[51,233],"verification.":[52,180],"Also":[53],"we":[54,125,167,187,228],"lack":[55],"verification":[56],"techniques":[57],"for":[58,157,208,236,242],"starvation-free":[59],"deadlock-free":[61],"objects.":[62,132,159,244],"They":[63],"challenging":[65],"verify":[67,271],"because":[68],"the":[69,83,108,116,127,165,171,251],"fairness":[70],"assumption":[71],"introduces":[72],"complicated":[73],"interdependencies":[74],"among":[75],"threads.":[78],"Even":[79],"worse,":[80],"none":[81],"existing":[84],"results":[85],"applies":[86],"with":[90,139,175,184],"partial":[91,185,193,197],"methods,":[92,186],"i.e.,":[93],"methods":[94],"that":[95,220],"supposed":[97],"not":[98,113],"return":[100,114],"certain":[102],"circumstances.":[103],"A":[104],"typical":[105],"example":[106],"lock_acquire":[109],"method,":[110],"must":[112],"when":[115,161],"lock":[117,292],"has":[118],"already":[119],"been":[120],"acquired.":[121],"In":[122],"this":[123],"tutorial":[124],"examine":[126],"We":[133,200,265],"formulate":[134,188],"each":[135],"(together":[138],"basic":[143],"correctness":[144],"requirement)":[145],"terms":[147],"contextual":[149],"refinement.":[150],"This":[151],"essentially":[152],"gives":[153],"us":[154],"progress-aware":[155],"abstraction":[156],"Thus,":[160],"verifying":[162,237],"objects,":[166],"can":[168],"soundly":[169],"replace":[170],"concrete":[172],"object":[173],"implementations":[174],"their":[176,225],"abstractions,":[177],"achieving":[178],"For":[181],"two":[189],"new":[190],"properties,":[192],"starvation-freedom":[194,272],"(PSF)":[195],"deadlock-freedom":[198,274],"(PDF).":[199],"also":[201],"design":[202],"four":[203],"patterns":[204],"write":[206],"abstractions":[207],"PSF":[209,259,288],"PDF":[211,290],"strongly":[214],"weakly":[216],"fair":[217],"scheduling,":[218],"so":[219],"these":[221],"contextually":[223],"refine":[224],"abstractions.":[226],"Finally,":[227],"introduce":[229],"rely-guarantee":[231],"style":[232],"logic":[234],"LiLi":[235,269],"together":[241],"It":[245],"unifies":[246],"thread-modular":[247],"reasoning":[248],"about":[249],"all":[250],"six":[252],"(wait-freedom,":[255],"deadlock-freedom,":[258],"PDF)":[261],"one":[263],"framework.":[264],"have":[266],"successfully":[267],"applied":[268],"representative":[276],"algorithms":[277],"lock-coupling":[280],"lists,":[281,286],"optimistic":[282],"lists":[283],"lazy":[285],"algorithms.":[293]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-30T06:00:46.510872","created_date":"2025-10-10T00:00:00"}