Mobility Reading Group

Correctness of a Concurrent Object Collector for Actor Languages

Juliana FRANCO, Sylvan CLEBSCH, Sophia DROSSOPOULOU, Jan VITEK, Tobias WRIGSTAD

27th European Symposium on Programming (ESOP 2018). p. 885 - 911

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.

Paper (preprint) Electronic version via DOI

BibTeX
Short
Long

@inproceedings{FCDVW2018,
  author = {Juliana Franco and Sylvan Clebsch and Sophia Drossopoulou and Jan Vitek and Tobias Wrigstad},
  title = {{Correctness of a Concurrent Object Collector for Actor Languages}},
  booktitle = {27th European Symposium on Programming},
  series = {LNCS},
  volume = {10801},
  pages = {885--911},
  publisher = {Springer},
  year = 2018
}

@inproceedings{FCDVW2018,
  author = {Juliana Franco and Sylvan Clebsch and Sophia Drossopoulou and Jan Vitek and Tobias Wrigstad},
  title = {{Correctness of a Concurrent Object Collector for Actor Languages}},
  booktitle = {27th European Symposium on Programming},
  series = {LNCS},
  volume = {10801},
  pages = {885--911},
  publisher = {Springer},
  doi = "10.1007/978-3-319-89884-1_31",
  year = 2018
}