{"id":"https://openalex.org/W4387360014","doi":"https://doi.org/10.1145/3609437.3609452","title":"Conflict-free Replicated Priority Queue: Design, Verification and Evaluation","display_name":"Conflict-free Replicated Priority Queue: Design, Verification and Evaluation","publication_year":2023,"publication_date":"2023-08-04","ids":{"openalex":"https://openalex.org/W4387360014","doi":"https://doi.org/10.1145/3609437.3609452"},"language":"en","primary_location":{"id":"doi:10.1145/3609437.3609452","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3609437.3609452","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th Asia-Pacific Symposium on Internetware","raw_type":"proceedings-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/A5054710545","display_name":"Yuqi Zhang","orcid":"https://orcid.org/0000-0003-1416-9379"},"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":"Yuqi Zhang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0003-1416-9379","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086859369","display_name":"Lingzhi Ouyang","orcid":"https://orcid.org/0000-0001-7523-8759"},"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":"Lingzhi Ouyang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0001-7523-8759","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102718047","display_name":"Yu Huang","orcid":"https://orcid.org/0000-0001-8921-036X"},"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":"Yu Huang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0001-8921-036X","affiliations":[{"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/A5041674680","display_name":"Xiaoxing Ma","orcid":"https://orcid.org/0000-0001-7970-1384"},"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":"Xiaoxing Ma","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0001-7970-1384","affiliations":[{"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":4,"corresponding_author_ids":["https://openalex.org/A5054710545"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.3935,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62378384,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"302","last_page":"312"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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":1.0,"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/T13553","display_name":"Age of Information Optimization","score":0.9944000244140625,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8731532692909241},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6959956288337708},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6815253496170044},{"id":"https://openalex.org/keywords/replica","display_name":"Replica","score":0.6360056400299072},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5396907329559326},{"id":"https://openalex.org/keywords/queue","display_name":"Queue","score":0.532599151134491},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.5218426585197449},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5062164664268494},{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.4869433641433716},{"id":"https://openalex.org/keywords/priority-queue","display_name":"Priority queue","score":0.4128669500350952},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3161125183105469}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8731532692909241},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6959956288337708},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6815253496170044},{"id":"https://openalex.org/C2775937380","wikidata":"https://www.wikidata.org/wiki/Q1232589","display_name":"Replica","level":2,"score":0.6360056400299072},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5396907329559326},{"id":"https://openalex.org/C160403385","wikidata":"https://www.wikidata.org/wiki/Q220543","display_name":"Queue","level":2,"score":0.532599151134491},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.5218426585197449},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5062164664268494},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.4869433641433716},{"id":"https://openalex.org/C26951474","wikidata":"https://www.wikidata.org/wiki/Q629283","display_name":"Priority queue","level":3,"score":0.4128669500350952},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3161125183105469},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3609437.3609452","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3609437.3609452","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th Asia-Pacific Symposium on Internetware","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4663539670","display_name":null,"funder_award_id":"020214912222","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G7160009720","display_name":null,"funder_award_id":"No. 62025202","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1969433651","https://openalex.org/W1979250340","https://openalex.org/W1985349143","https://openalex.org/W2069648394","https://openalex.org/W2071968957","https://openalex.org/W2095135670","https://openalex.org/W2095868710","https://openalex.org/W2129388329","https://openalex.org/W2132473764","https://openalex.org/W2134308710","https://openalex.org/W2143725230","https://openalex.org/W2144232511","https://openalex.org/W2151541805","https://openalex.org/W2153773928","https://openalex.org/W2962936862","https://openalex.org/W2963470986","https://openalex.org/W2988838119","https://openalex.org/W3114324652","https://openalex.org/W3137220996","https://openalex.org/W3214195591","https://openalex.org/W4220783457"],"related_works":["https://openalex.org/W3013979739","https://openalex.org/W2655578171","https://openalex.org/W2577913821","https://openalex.org/W2460131733","https://openalex.org/W2953070151","https://openalex.org/W4296976839","https://openalex.org/W189328514","https://openalex.org/W2143289692","https://openalex.org/W3049636605","https://openalex.org/W1974858599"],"abstract_inverted_index":{"Internet-scale":[0],"distributed":[1],"systems":[2,21,55],"often":[3,23],"rely":[4],"on":[5,28,73,87,92],"replication":[6],"to":[7,25,49,56],"achieve":[8],"fault-tolerance":[9],"and":[10,17,32,96,108,121,128,167],"load":[11],"distribution.":[12],"To":[13],"provide":[14],"low":[15],"latency":[16],"high":[18],"availability,":[19],"the":[20,35,51,116,134,144],"are":[22],"required":[24],"accept":[26],"updates":[27,36],"one":[29],"replica":[30],"immediately":[31],"then":[33],"propagate":[34],"among":[37,59],"replicas":[38],"asynchronously.":[39],"Conflict-free":[40,74],"Replicated":[41,75],"Data":[42],"Type":[43],"(CRDT)":[44],"is":[45,80,136],"a":[46,81],"principled":[47],"approach":[48],"addressing":[50],"challenge":[52],"for":[53],"these":[54],"resolve":[57],"conflicts":[58],"concurrent":[60],"updates.":[61],"Although":[62],"many":[63,101],"CRDTs":[64],"have":[65],"been":[66,71],"studied,":[67],"little":[68],"research":[69],"has":[70],"done":[72],"Priority":[76],"Queue":[77],"(CRPQ),":[78],"which":[79],"collection":[82],"of":[83,119,133,146,164],"elements":[84],"that":[85,157],"focuses":[86],"maintaining":[88],"element":[89],"orderings":[90],"based":[91],"their":[93],"priority":[94],"values,":[95],"can":[97],"be":[98],"used":[99],"in":[100,162],"applications":[102],"scenarios":[103],"such":[104],"as":[105],"task":[106],"scheduling":[107],"network":[109],"routing.":[110],"In":[111],"this":[112],"work,":[113],"we":[114],"discuss":[115],"design":[117],"rationales":[118],"CRPQs":[120,159],"introduce":[122],"two":[123],"CRPQ":[124,127],"designs:":[125],"Add-Win":[126],"Remove-Win":[129],"CRPQ.":[130],"The":[131],"correctness":[132],"designs":[135,148],"formally":[137],"verified":[138],"using":[139],"TLA+.":[140],"We":[141],"also":[142],"demonstrate":[143],"effectiveness":[145],"our":[147],"by":[149],"implementing":[150],"them":[151],"over":[152],"Redis.":[153],"Our":[154],"evaluation":[155],"shows":[156],"both":[158],"perform":[160],"well":[161],"terms":[163],"data":[165],"consistency":[166],"memory":[168],"overhead.":[169]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}