Soundness of a concurrent collector for actors
File(s)
Published version
Author(s)
Vicente Franco, J
Clebsch, S
Drossopoulou, S
Vitek, J
Wrigstad, T
Type
Conference Paper
Abstract
ORCA is a fully concurrent garbage collection protocol for
actor-based programs. Multiple actors may mutate the heap while the
collector is running without any dedicated synchronization. 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 eight invariants preserved by the protocol, and prove its soundness
and completeness.
actor-based programs. Multiple actors may mutate the heap while the
collector is running without any dedicated synchronization. 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 eight invariants preserved by the protocol, and prove its soundness
and completeness.
Date Issued
2018-04-14
Date Acceptance
2017-12-22
Citation
Programming Languages and Systems, 2018, 10801, pp.885-911
ISBN
9783319898834
Publisher
Springer
Start Page
885
End Page
911
Journal / Book Title
Programming Languages and Systems
Volume
10801
Copyright Statement
© 2018 The Authors. Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this book are included in the book's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the book's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Grant Number
EP/K011715/1
Source
27th European Symposium on Programming (ESOP)
Publication Status
Published
Start Date
2018-04-14
Finish Date
2018-04-20
Coverage Spatial
Thessaloniki, Greece
Date Publish Online
2018-04-14