Soundness of a concurrent collector for actors (extended version)

ORCA is a garbage collection protocol for actor-based programs. Multiple actors may mutate the heap while the collector is running without any dedicated synchronisation. ORCA is applicable to any actor language whose type system prevents data races and which supports causal message delivery. We pres...

Full description

Bibliographic Details
Main Authors: Franco, J, Clebsch, S, Drossopoulou, S, Vitek, J, Wrigstad, T
Format: Report
Language:unknown
Published: Imperial College London 2018
Subjects:
Orca
Online Access:https://dx.doi.org/10.25561/94875
http://spiral.imperial.ac.uk/handle/10044/1/94875
id ftdatacite:10.25561/94875
record_format openpolar
spelling ftdatacite:10.25561/94875 2023-05-15T17:52:57+02:00 Soundness of a concurrent collector for actors (extended version) Franco, J Clebsch, S Drossopoulou, S Vitek, J Wrigstad, T 2018 https://dx.doi.org/10.25561/94875 http://spiral.imperial.ac.uk/handle/10044/1/94875 unknown Imperial College London Creative Commons Attribution Non Commercial No Derivatives 4.0 International © 2018 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/) https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode cc-by-nc-nd-4.0 CC-BY-NC-ND Text report Report 2018 ftdatacite https://doi.org/10.25561/94875 2022-03-10T14:59:53Z ORCA is a garbage collection protocol for actor-based programs. Multiple actors may mutate the heap while the collector is running without any dedicated synchronisation. ORCA is applicable to any actor language whose type system prevents data races and which supports causal message delivery. We present a model of ORCA which is parametric to the host language and its type system. We describe the interplay between the host language and the collector. We give invariants preserved by ORCA, and prove its soundness and completeness. Report Orca DataCite Metadata Store (German National Library of Science and Technology)
institution Open Polar
collection DataCite Metadata Store (German National Library of Science and Technology)
op_collection_id ftdatacite
language unknown
description ORCA is a garbage collection protocol for actor-based programs. Multiple actors may mutate the heap while the collector is running without any dedicated synchronisation. ORCA is applicable to any actor language whose type system prevents data races and which supports causal message delivery. We present a model of ORCA which is parametric to the host language and its type system. We describe the interplay between the host language and the collector. We give invariants preserved by ORCA, and prove its soundness and completeness.
format Report
author Franco, J
Clebsch, S
Drossopoulou, S
Vitek, J
Wrigstad, T
spellingShingle Franco, J
Clebsch, S
Drossopoulou, S
Vitek, J
Wrigstad, T
Soundness of a concurrent collector for actors (extended version)
author_facet Franco, J
Clebsch, S
Drossopoulou, S
Vitek, J
Wrigstad, T
author_sort Franco, J
title Soundness of a concurrent collector for actors (extended version)
title_short Soundness of a concurrent collector for actors (extended version)
title_full Soundness of a concurrent collector for actors (extended version)
title_fullStr Soundness of a concurrent collector for actors (extended version)
title_full_unstemmed Soundness of a concurrent collector for actors (extended version)
title_sort soundness of a concurrent collector for actors (extended version)
publisher Imperial College London
publishDate 2018
url https://dx.doi.org/10.25561/94875
http://spiral.imperial.ac.uk/handle/10044/1/94875
genre Orca
genre_facet Orca
op_rights Creative Commons Attribution Non Commercial No Derivatives 4.0 International
© 2018 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
cc-by-nc-nd-4.0
op_rightsnorm CC-BY-NC-ND
op_doi https://doi.org/10.25561/94875
_version_ 1766160707921903616

Similar Items