Ownership-Based isolation for concurrent actors on multi-core machines

Authors:
Olivier Gruber;Fabienne Boyer
Affiliations:
Université de Grenoble, France;Université de Grenoble, France
Venue:
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Year:
2013

Citing 14
Cited 2

Application isolation in the Java Virtual Machine

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Incommunicado: efficient communication for isolates

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Beyond Address Spaces -Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System

HOTOS '01 Proceedings of the Eighth Workshop on Hot Topics in Operating Systems
Barriers: friend or foe?

Proceedings of the 4th international symposium on Memory management
The Jikes research virtual machine project: building an open-source research community

IBM Systems Journal
Ownership transfer in universe types

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Kilim: Isolation-Typed Actors for Java

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Actor frameworks for the JVM platform: a comparative analysis

PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Actors that unify threads and events

COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
JCoBox: generalizing active objects to concurrent components

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Capabilities for uniqueness and borrowing

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Inferring ownership transfer for efficient message passing

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Barriers reconsidered, friendlier still!

Proceedings of the 2012 international symposium on Memory Management

Tanks: multiple reader, single writer actors

Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Semantics-preserving sharing actors

Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control

Quantified Score

Hi-index	0.00

Visualization

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.