The goal of my research is to investigate the notions of encapsulation and locality and evaluate how they could be used inside of a virtual machine to better support different concurrency models on top of it, and retain the potential for optimization on different many-core architectures.

1. Encapsulation and Locality A Foundation for Concurrency Supportin Multi-Language VMs? Stefan Marr 24 May 2010, IIIT-Bangalore, India, Student Presentation, Trends in Concurrency 2010

2. I don’t have a solution for concurrency:But, maybe you have. 5/25/10 2

3. Reduce the scope and“solve” concurrencyfor domain specific problems. 5/25/10 3

4. And, you probably want to reuseexisting VMs:Big Eco-System/Legacy Code +Fast JITs, Efficient GCs 5/25/10 4

5. Remains missing:Support for Concurrency Modelsin theVirtual Machine Model 5/25/10 5

6. 5/25/10 6 Abstract Concurrency A CommonVirtual Machine Model? Concrete Concurrency

7. Quest for a Common Abstraction Goal Abstraction for concurrency models Foundation for language implementation Verify Facilitates wide range of models Allows efficient implementation upcoming many-core architectures 5/25/10 7 Encapsulation and Locality, Stefan Marr, TiC‘10

8. Locality PGAS languages have a notion of locality X10’s places Implications dependon language Hint to the compiler/runtime Or imposes restrictions 5/25/10 8 Encapsulation and Locality, Stefan Marr, TiC‘10

9. Encapsulation Actor-like languages Provide the notion of encapsulation Asynchronous message-passing Erlang, E’s vats 5/25/10 9 Encapsulation and Locality, Stefan Marr, TiC‘10

10. 5/25/10 10 Encapsulation and Locality, Stefan Marr, TiC‘10 Locality and Encapsulation:Foundation for a Virtual Machine Model?