Abstract
The deep copy of messages that traditionally ensures the memory isolation of actors severely hinders the performance of actor systems on multi-core machines. Several approaches have been proposed in the state of the art to circumvent this overhead, but they require to choose two properties out of the three desired ones: safety, programmability, and efficiency. In this paper, we introduce a novel runtime ownership model that supports the first memory isolation model of actors with these three properties—it is safe, developer-friendly, and efficient.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alpern, B., Augart, S., Blackburn, S.M., Butrico, M., Cocchi, A., Cheng, P., Dolby, J., Fink, S., Grove, D., Hind, M., McKinley, K.S., Mergen, M., Moss, J.E.B., Ngo, T., Sarkar, V., Trapp, M.: The Jikes Research Virtual Machine project: Building an open source research community. IBM Systems Journal 44(2) (May 2005)
Blackburn, S.M., Hosking, A.L.: Barriers: friend or foe? In: ISMM 2004: Proceedings of the 4th International Symposium on Memory Management, pp. 143–151. ACM, New York (2004)
Blackburn, S.M., McKinley, K.S.: Immix: A mark-region garbage collector with space efficiency, fast collection, and mutator performance. In: ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM (June 2008)
Czajkowski, G.: Application isolation in the Java Virtual Machine. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp. 354–366 (October 2000)
Golm, M., Kleinöder, J., Bellosa, F.: Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System. In: Proceedings of the 8th USENIX Workshop on Hot Topics in Operating Systems (HotOS), Elmau/Oberbayern, Germany, pp. 3–8 (May 2001)
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)
Kaiser, C., Pradat-Peyre, J.-F.: Chameneos, a concurrency game for java, ada and others. In: ACS/IEEE International Conference on Computer Systems and Applications. Book of Abstracts, p. 62 (January 2003)
Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the jvm platform: a comparative analysis. In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, pp. 11–20. ACM, New York (2009)
Rettig, M.: JetLang (2008-2009), http://code.google.com/p/jetlang
Müller, P., Rudich, A.: Ownership transfer in universe types. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications, OOPSLA 2007, pp. 461–478. ACM, New York (2007)
Negara, S., Karmani, R.K., Agha, G.: Inferring ownership transfer for efficient message passing. In: Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming, PPoPP 2011, pp. 81–90. ACM, New York (2011)
Palacz, K., Czajkowski, G., Daynes, L., Vitek, J.: Incommunicado: Efficient Communication for Isolates. In: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp. 262–274 (November 2002)
Java Community Process. Application Isolation API Specification, http://jcp.org/en/jsr/detail?id=121
Schäfer, J., Poetzsch-Heffter, A.: Jcobox: generalizing active objects to concurrent components. In: D’Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 275–299. Springer, Heidelberg (2010)
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)
Yang, X., Blackburn, S.M.B., Frampton, D., Hosking, A.L.: Barriers reconsidered, friendlier still! In: Proceedings of the Eleventh ACM SIGPLAN International Symposium on Memory Management, ISMM 2012, Beijing, China, June 15-16 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gruber, O., Boyer, F. (2013). Ownership-Based Isolation for Concurrent Actors on Multi-core Machines. In: Castagna, G. (eds) ECOOP 2013 – Object-Oriented Programming. ECOOP 2013. Lecture Notes in Computer Science, vol 7920. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39038-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-39038-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39037-1
Online ISBN: 978-3-642-39038-8
eBook Packages: Computer ScienceComputer Science (R0)