Abstract
The actor model is an old but compelling concurrent programming model in this age of multicore architectures and distributed services. In this paper we study an as yet unexplored region of the actor design space in the context of concurrent object-oriented programming. Specifically, we show that a purely run-time, annotation-free approach to actor state isolation with reference passing of arbitrary object graphs is perfectly viable. In addition, we show, via a formal proof using the Coq proof assistant, that our approach indeed enforces actor isolation.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Agha, G.A.: Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press (1986)
Armstrong, J.: Erlang. Commun. ACM 53(9) (2010)
Blackburn, S.M., Garner, R., Hoffman, C., et al.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA 2006. ACM (2006)
Carlsson, R., Sagonas, K.F., Wilhelmsson, J.: Message analysis for concurrent programs using message passing. ACM Trans. Program. Lang. Syst. 28(4) (2006)
Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 176–200. Springer, Heidelberg (2003)
Claudel, B.: Mécanismes logiciels de protection mémoire. PhD thesis, Université de Grenoble (2009)
Czajkowski, G., Daynès, L.: Multitasking without compromise: A virtual machine evolution. In: OOPSLA 2001. ACM (2001)
Coq development team, http://coq.inria.fr
Fahndrich, M., Aiken, M., et al.: Language Support for Fast and Reliable Message-based Communication in Singularity OS. In: 1st EuroSys Conference. ACM (2006)
Garner, R.J., Blackburn, S.M., Frampton, D.: A comprehensive evaluation of object scanning techniques. In: 10th ISMM. ACM (2011)
Geoffray, N., Thomas, G., Muller, G., et al.: I-JVM: a java virtual machine for component isolation in osgi. In: DSN 2009. IEEE (2009)
Gruber, O., Boyer, F.: Ownership-based isolation for concurrent actors on multi-core machines. In: Castagna, G. (ed.) ECOOP 2013. LNCS, vol. 7920, pp. 281–301. Springer, Heidelberg (2013)
Haller, P., Odersky, M.: Actors that unify threads and events. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 171–190. Springer, Heidelberg (2007)
Haller, P., Odersky, M.: Capabilities for uniqueness and borrowing. In: D’Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 354–378. Springer, Heidelberg (2010)
Hogg, J.: Islands: aliasing protection in object-oriented languages. SIGPLAN Not. 26(11) (1991)
Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the JVM platform: a comparative analysis. In: 7th PPPJ. ACM (2009)
Klein, G., Nipkow, T.: A machine-checked model for a java-like language, virtual machine, and compiler. ACM Trans. Program. Lang. Syst. 28(4) (2006)
Minsky, N.H.: Towards alias-free pointers. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol. 1098, pp. 189–209. Springer, Heidelberg (1996)
Müller, P., Rudich, A.: Ownership transfer in universe types. SIGPLAN Not. 42(10) (2007)
Negara, S., Karmani, R.K., Agha, G.A.: Inferring ownership transfer for efficient message passing. In: 16th PPOPP. ACM (2011)
Sabah, Q.: SIAAM: Simple Isolation for an Abstract Actor Machine. PhD thesis, Université de Grenoble (December 2013)
Srinivasan, S., Mycroft, A.: Kilim: Isolation-Typed Actors for Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 104–128. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 IFIP International Federation for Information Processing
About this paper
Cite this paper
Claudel, B., Sabah, Q., Stefani, JB. (2015). Simple Isolation for an Actor Abstract Machine. In: Graf, S., Viswanathan, M. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2015. Lecture Notes in Computer Science(), vol 9039. Springer, Cham. https://doi.org/10.1007/978-3-319-19195-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-19195-9_14
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19194-2
Online ISBN: 978-3-319-19195-9
eBook Packages: Computer ScienceComputer Science (R0)