{"id":"https://openalex.org/W4411269374","doi":"https://doi.org/10.1145/3729288","title":"CRGC: Fault-Recovering Actor Garbage Collection in Pekko","display_name":"CRGC: Fault-Recovering Actor Garbage Collection in Pekko","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411269374","doi":"https://doi.org/10.1145/3729288"},"language":"en","primary_location":{"id":"doi:10.1145/3729288","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729288","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729288","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3729288","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082464787","display_name":"Dan Plyukhin","orcid":null},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Dan Plyukhin","raw_affiliation_strings":["University of Southern Denmark, Odense, Denmark"],"raw_orcid":"https://orcid.org/0009-0004-8712-7895","affiliations":[{"raw_affiliation_string":"University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076315769","display_name":"Gul Agha","orcid":"https://orcid.org/0000-0002-0580-4206"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gul Agha","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0000-0002-0580-4206","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000566520","display_name":"Fabrizio Montesi","orcid":"https://orcid.org/0000-0003-4666-901X"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Fabrizio Montesi","raw_affiliation_strings":["University of Southern Denmark, Odense, Denmark"],"raw_orcid":"https://orcid.org/0000-0003-4666-901X","affiliations":[{"raw_affiliation_string":"University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5601,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6855183,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":94},"biblio":{"volume":"9","issue":"PLDI","first_page":"945","last_page":"969"},"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.9998000264167786,"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9929999709129333,"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/T12288","display_name":"Optimization and Search Problems","score":0.9872000217437744,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.7132030725479126},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.7060750722885132},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.45164060592651367},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4263899326324463},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16742688417434692},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.11854413151741028},{"id":"https://openalex.org/keywords/paleontology","display_name":"Paleontology","score":0.05539423227310181}],"concepts":[{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.7132030725479126},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.7060750722885132},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.45164060592651367},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4263899326324463},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16742688417434692},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.11854413151741028},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.05539423227310181}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3729288","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729288","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729288","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:sdu.dk:openaire_cris_publications/376f3897-6a57-4a19-a266-feb40c0324c2","is_oa":true,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/376f3897-6a57-4a19-a266-feb40c0324c2","pdf_url":"https://findresearcher.sdu.dk/ws/files/297961234/3729288.pdf","source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Plyukhin, D, Agha, G & Montesi, F 2025, 'CRGC : Fault-Recovering Actor Garbage Collection in Pekko', Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI, pp. 945 - 969. https://doi.org/10.1145/3729288","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3729288","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729288","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729288","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2708229775","display_name":null,"funder_award_id":"101124225","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G6911123063","display_name":null,"funder_award_id":"29518","funder_id":"https://openalex.org/F4320310490","funder_display_name":"Villum Fonden"}],"funders":[{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411269374.pdf","grobid_xml":"https://content.openalex.org/works/W4411269374.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W17292098","https://openalex.org/W313326426","https://openalex.org/W1535161403","https://openalex.org/W1542535131","https://openalex.org/W1543830735","https://openalex.org/W1579688346","https://openalex.org/W1822575039","https://openalex.org/W1876014853","https://openalex.org/W1972106757","https://openalex.org/W1974388055","https://openalex.org/W1990138733","https://openalex.org/W1990986484","https://openalex.org/W1997268854","https://openalex.org/W2000475900","https://openalex.org/W2015688007","https://openalex.org/W2020435908","https://openalex.org/W2031195450","https://openalex.org/W2076064037","https://openalex.org/W2088368317","https://openalex.org/W2096606790","https://openalex.org/W2098310557","https://openalex.org/W2102163972","https://openalex.org/W2105947650","https://openalex.org/W2118098427","https://openalex.org/W2131053137","https://openalex.org/W2133943294","https://openalex.org/W2141577348","https://openalex.org/W2327265941","https://openalex.org/W2537677062","https://openalex.org/W2614013577","https://openalex.org/W2762273594","https://openalex.org/W2898275051","https://openalex.org/W2979650122","https://openalex.org/W3081658349","https://openalex.org/W3092454519","https://openalex.org/W3096767826","https://openalex.org/W3146267227","https://openalex.org/W3158735719","https://openalex.org/W4249969732","https://openalex.org/W6968397526"],"related_works":["https://openalex.org/W2132258996","https://openalex.org/W2245694847","https://openalex.org/W4381304378","https://openalex.org/W2188602196","https://openalex.org/W3174776489","https://openalex.org/W1700460898","https://openalex.org/W4387773637","https://openalex.org/W2808342711","https://openalex.org/W2034669405","https://openalex.org/W2287663836"],"abstract_inverted_index":{"Actors":[0,10],"are":[1,68,76,104,206,214],"lightweight":[2],"reactive":[3],"processes":[4],"that":[5,60,119],"communicate":[6],"by":[7],"asynchronous":[8],"message-passing.":[9],"address":[11],"common":[12],"problems":[13],"like":[14,251],"concurrency":[15],"control":[16],"and":[17,37,64,86,110,139,144,200,209,229],"fault":[18],"tolerance,":[19],"but":[20],"resource":[21,50],"management":[22],"remains":[23],"challenging:":[24],"in":[25,196,226],"all":[26],"four":[27],"of":[28,244],"the":[29,62,82,130,148,241],"most":[30],"popular":[31],"actor":[32,55,74,92,102,134,235],"frameworks":[33],"(Pekko,":[34],"Akka,":[35],"Erlang,":[36],"Elixir)":[38],"programmers":[39],"must":[40],"explicitly":[41],"kill":[42],"actors":[43,67,115,138,176,205,213],"to":[44,70,116,147,177],"free":[45],"up":[46],"resources.":[47],"To":[48],"simplify":[49],"management,":[51],"researchers":[52],"have":[53],"devised":[54],"garbage":[56,118,149,180,212],"collectors":[57,150],"(actor":[58],"GCs)":[59],"monitor":[61],"application":[63],"detect":[65],"when":[66],"safe":[69],"kill.":[71],"However,":[72],"existing":[73],"GCs":[75,93,103],"impractical":[77],"for":[78,171],"distributed":[79],"systems":[80],"where":[81],"network":[83],"is":[84,184,246],"unreliable":[85],"nodes":[87,112,140],"can":[88,113],"fail.":[89],"The":[90],"simplest":[91],"do":[94],"not":[95,105,157],"collect":[96],"cyclic":[97,133],"garbage,":[98],"whereas":[99],"more":[100,259],"sophisticated":[101],"fault-recovering":[106,132],":":[107],"dropped":[108],"messages":[109],"crashed":[111],"cause":[114],"become":[117],"never":[120,207],"gets":[121],"collected.":[122],"We":[123,220],"present":[124,188,222],"Conflict-free":[125],"Replicated":[126],"Garbage":[127],"Collection":[128],"(CRGC):":[129],"first":[131],"GC.":[135],"In":[136],"CRGC,":[137],"record":[141],"information":[142],"locally":[143],"broadcast":[145],"updates":[146],"running":[151],"on":[152],"each":[153],"node.":[154],"CRGC":[155,183,245],"does":[156],"require":[158],"locks,":[159],"explicit":[160],"memory":[161],"barriers,":[162],"or":[163],"any":[164],"assumptions":[165],"about":[166],"message":[167],"delivery":[168],"order,":[169],"except":[170],"reliable":[172],"FIFO":[173],"channels":[174],"from":[175],"their":[178],"local":[179],"collector.":[181],"Moreover,":[182],"simple:":[185],"we":[186],"concisely":[187],"its":[189,231],"operational":[190],"semantics,":[191],"which":[192],"has":[193],"been":[194],"formalized":[195],"TLA":[197],"+":[198],",":[199],"prove":[201],"both":[202],"soundness":[203],"(non-garbage":[204],"killed)":[208],"completeness":[210],"(all":[211],"eventually":[215],"killed,":[216],"under":[217],"reasonable":[218],"assumptions).":[219],"also":[221,256],"a":[223],"preliminary":[224],"implementation":[225],"Apache":[227],"Pekko":[228],"measure":[230],"performance":[232,242],"using":[233],"two":[234],"benchmark":[236],"suites.":[237],"Our":[238],"results":[239],"show":[240],"overhead":[243],"competitive":[247],"with":[248],"simpler":[249],"approaches":[250],"weighted":[252],"reference":[253],"counting,":[254],"while":[255],"being":[257],"much":[258],"powerful.":[260]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}