Intermediate language design of high-level language virtual machines: towards comprehensive concurrency support

Authors:
Stefan Marr;Michael Haupt;Theo D'Hondt
Affiliations:
Vrije Universiteit Brussel, Belgium;University of Potsdam, Germany;Vrije Universiteit Brussel, Belgium
Venue:
Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Year:
2009

Citing 10
Cited 3

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Optimizing an ANSI C interpreter with superoperators

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Tree-Based Alternative to Java Byte-Codes

International Journal of Parallel Programming
Threaded code

Communications of the ACM
Stacking them up: a comparison of virtual machines

ACSAC '01 Proceedings of the 6th Australasian conference on Computer systems architecture
Java Virtual Machine Specification

Java Virtual Machine Specification
Computer Architecture, Fourth Edition: A Quantitative Approach

Computer Architecture, Fourth Edition: A Quantitative Approach
Optimizing indirect branch prediction accuracy in virtual machine interpreters

ACM Transactions on Programming Languages and Systems (TOPLAS)
Virtual machine showdown: Stack versus registers

ACM Transactions on Architecture and Code Optimization (TACO)
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine

Electronic Notes in Theoretical Computer Science (ENTCS)

Many-core virtual machines: decoupling abstract from concrete concurrency

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Which problems does a multi-language virtual machine need to solve in the multicore/manycore era?

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Identifying a unifying mechanism for the implementation of concurrency abstractions on multi-language virtual machines

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns

Quantified Score

Hi-index	0.00

Visualization

Abstract

Today's major high-level language virtual machines (VMs) are becoming successful in being multi-language execution platforms, hosting a wide range of languages. With the transition from few-core to many-core processors, we argue that VMs will also have to abstract from concrete concurrency models at the hardware level, to be able to support a wide range of abstract concurrency models on a language level. To overcome the lack of sufficient abstractions for concurrency concepts in VMs, we proposed earlier to extend VM intermediate languages by special concurrency constructs [Marr et al. 2009].