Abstract

Actor languages realize concurrency via message passing, which most of the time is easy to use. Empirical code inspection provides evidence, however, that on occasion, programmers wish to have an actor share some of its state with others. The dataspace model adds a tightly controlled state-exchange mechanism, dubbed dataspace, to the actor model for just this purpose. Experience with dataspaces suggests that this form of sharing calls for linguistic constructs that allow programmers to state temporal aspects of actor conversations. In response, this paper presents the facet notation: its theory, its type system, its behavioral type system, and some first experiences with an implementation.

Details

Title
Programming and reasoning about actors that share state
Author
Caldwell, Sam 1   VIAFID ORCID Logo  ; GARNOCK-JONES, TONY 2   VIAFID ORCID Logo  ; Felleisen, Matthias 3   VIAFID ORCID Logo 

1  Northeastern University, Boston, MA 02115, USA (e-mail: [email protected] ) 
2  Maastricht University, Maastricht, Netherlands (e-mail: [email protected] ) 
3  Northeastern University, Boston, MA 02115, USA (e-mail: [email protected] ) 
Publication year
2024
Publication date
Dec 2024
Publisher
Cambridge University Press
ISSN
09567968
e-ISSN
14697653
Source type
Scholarly Journal
Language of publication
English
DOI
https://doi.org/10.1017/S0956796824000091
ProQuest document ID
3134990436
Copyright
© The Author(s), 2024. Published by Cambridge University Press. This work is licensed under the Creative Commons Attribution License This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited. (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.