Abstract
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.
Cite
CITATION STYLE
Franco, J., Clebsch, S., Drossopoulou, S., Vitek, J., & Wrigstad, T. (2018). Correctness of a concurrent object collector for actor languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10801 LNCS, pp. 885–911). Springer Verlag. https://doi.org/10.1007/978-3-319-89884-1_31
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
