Locality and Encapsulation: A Foundation for Concurrency Support in Multi-Language Virtual Machines?

703 views

Published on

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 language 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.

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
703
On SlideShare
0
From Embeds
0
Number of Embeds
35
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide
  • Description of purpose:What exact problem, issue, or question does this research address and why does it matter?What limitations or failings of current understanding, knowledge, methods, or technologies does this research resolve?
  • Description of purpose:What exact problem, issue, or question does this research address and why does it matter?What limitations or failings of current understanding, knowledge, methods, or technologies does this research resolve?
  • Relevant concepts for a VMEnable high-level language constructsEnable performance optimizationsNeed to be fundamentalAdditive extensions do not solve the problem
  • Ok, there are languages which support localityWould be a pity to not preserve that knowledge for runtime optimizations
  • Actor solutions on the JVM: either inefficient (copying, serializing) or complex with type systemsEffort has to be duplicated for every new actor-like languageEncapsulation: dynamic constrains on mutability (often depending on owner/locality)
  • Consequences: memory model -> is a field for a lot theoretic research, and has a lot low-level performance implications, our approach will be driven by the experiments, thus, it is not the main focus, but needs some attention for build/designing VMs
  • Technical approach – What experiments, prototypes, or studies are being performed done to achieve the stated goal? How will they be measured, evaluated and validated?
  • Validate their usefulness as fundamental conceptsDesign useful incarnation for a virtual machineInvestigate interaction of different models
  • http://blogs.msdn.com/b/codeanalysis/archive/2007/11/20/maintainability-index-range-and-meaning.aspx
  • ×