Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?

We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency models. This would enable domain-specific solutions for the concurrency problem. Furthermore, advanced knowledge about concurrency in the VM model will most likely lead to better implementation opportunities on top of the different upcoming many-core architectures. The idea is to investigate the concepts of encapsulation and locality to this end. Thus, we are going to experiment with different abstractions for concurrency on top of a virtual machine, which supports encapsulation and locality, to see how language designers could benefit, and how virtual machines could optimize programs using these concepts. Categories and Subject Descriptors D.3.4 [Programming Lan

• Type: Journal
• Year: 2010
• Where: OOPSLA
• Authors: Stefan Marr
• Keywords: Concurrency Problem, Language Virtual Machines, OOPSLA 2010, Security Privacy, Virtual Machines