research-article

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

Authors:

Stefan Marr,

Michael Haupt,

Theo D'HondtAuthors Info & Claims

VMIL '09: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages

Article No.: 3, Pages 1 - 2

https://doi.org/10.1145/1711506.1711509

Published: 25 October 2009 Publication History

Get Access

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

References

[1]

Gul Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, USA, 1986.

Digital Library

Google Scholar

[2]

James R. Bell. Threaded code. Commun. ACM, 16(6):370--372, 1973. ISSN 0001-0782.

Digital Library

Google Scholar

[3]

Kevin Casey, M. Anton Ertl, and David Gregg. Optimizing indirect branch prediction accuracy in virtual machine interpreters. ACM Trans. Program. Lang. Syst., 29(6):37, 2007. ISSN 0164-0925.

Digital Library

Google Scholar

[4]

ECMA International. Standard ECMA-335-Common Language Infrastructure (CLI). 4 edition, June 2006.

Google Scholar

[5]

K. John Gough. Stacking them up: a comparison of virtual machines. Aust. Comput. Sci. Commun., 23(4):55--61, 2001.

Digital Library

Google Scholar

[6]

John L. Hennessy and David A. Patterson. Computer Architecture-A Quantitative Approach. Morgan Kaufmann, fourth edition, 2007.

Digital Library

Google Scholar

[7]

Charles Antony Richard Hoare. Communicating sequential processes. Commun. ACM, 21(8):666--677, 1978. ISSN 0001-0782.

Digital Library

Google Scholar

[8]

Thomas Kistler and Michael Franz. A tree-based alternative to java byte-codes. IJPP, 27(1):21--33, 1999.

Digital Library

Google Scholar

[9]

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley Longman, Amsterdam, 2 edition, April 1999.

Digital Library

Google Scholar

[10]

Stefan Marr, Michael Haupt, Stijn Timbermont, Bram Adams, Theo D'Hondt, Pascal Costanza, and Wolfgang De Meuter. Virtual machine support for many-core architectures: Decoupling abstract from concrete concurrency models. In Proc. PLACES'09, EPTCS, York, UK, March 2009.

Google Scholar

[11]

Todd A. Proebsting. Optimizing an ansi c interpreter with superoperators. In Proc. POPL '95, pages 322--332, New York, NY, USA, 1995. ACM.

Digital Library

Google Scholar

[12]

Yunhe Shi, Kevin Casey, M. Anton Ertl, and David Gregg. Virtual machine showdown: Stack versus registers. ACM Trans. Archit. Code Optim., 4 (4):1--36, 2008. ISSN 1544-3566.

Digital Library

Google Scholar

[13]

Sam Shiel and Ian Bayley. A translation-facilitated comparison between the common language runtime and the java virtual machine. ENTCS, 141(1):35--52, 2005. ISSN 1571-0661. Proc. Bytecode'05.

Digital Library

Google Scholar

Cited By

View all

Wang JYihuan Wei Xinpei Jia (2013)The design and implementation of EMP: A message-oriented middleware for mobile cloud computing2013 IEEE Global High Tech Congress on Electronics10.1109/GHTCE.2013.6767245(78-81)Online publication date: Nov-2013
https://doi.org/10.1109/GHTCE.2013.6767245
Seitz Jr. KLewis M(2012)Virtual Machine and Bytecode for Optimization on Heterogeneous SystemsProceedings of the 2012 Ninth International Conference on Information Technology - New Generations10.1109/ITNG.2012.116(528-533)Online publication date: 16-Apr-2012
https://dl.acm.org/doi/10.1109/ITNG.2012.116
Padberg FMirold M(2012)An Experimentation Platform for the Automatic Parallelization of R ProgramsProceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 0110.1109/APSEC.2012.70(203-212)Online publication date: 4-Dec-2012
https://dl.acm.org/doi/10.1109/APSEC.2012.70
Show More Cited By

Index Terms

Intermediate language design of high-level language virtual machines: towards comprehensive concurrency support
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language types

Recommendations

Live gang migration of virtual machines
HPDC '11: Proceedings of the 20th international symposium on High performance distributed computing

This paper addresses the problem of simultaneously migrating a group of co-located and live virtual machines (VMs), i.e, VMs executing on the same physical machine. We refer to such a mass simultaneous migration of active VMs as "live gang migration". ...
A common intermediate language and its use in partitioning concurrent declarative programs
Abstract
The plethora of concurrent declarative language families, each with subtly different semantics, makes the design and implementation of static analyses for these languages a demanding task. However, many of the languages share underlying structure, ...
Inter-rack live migration of multiple virtual machines
VTDC '12: Proceedings of the 6th international workshop on Virtualization Technologies in Distributed Computing Date

Within datacenters, often multiple virtual machines (VMs) need to be live migrated simultaneously for various reasons such as maintenance, power savings, and load balancing. Such mass simultaneous live migration of multiple VMs can trigger large data ...

Comments

Information & Contributors

Information

Published In

VMIL '09: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages

October 2009

47 pages

ISBN:9781605588742

DOI:10.1145/1711506

Conference Chairs:
Hridesh Rajan
Iowa State University
,
Christoph Bockisch
University of Twente, Netherlands
,
Michael Haupt
Hasso Plattner Institute, University of Potsdam, Germany
,
Robert Dyer
Iowa State University

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 October 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

OOPSLA09

Sponsor:

SIGPLAN

OOPSLA09: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference

October 25 - 29, 2009

Florida, Orlando

Acceptance Rates

Overall Acceptance Rate 4 of 4 submissions, 100%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
221
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wang JYihuan Wei Xinpei Jia (2013)The design and implementation of EMP: A message-oriented middleware for mobile cloud computing2013 IEEE Global High Tech Congress on Electronics10.1109/GHTCE.2013.6767245(78-81)Online publication date: Nov-2013
https://doi.org/10.1109/GHTCE.2013.6767245
Seitz Jr. KLewis M(2012)Virtual Machine and Bytecode for Optimization on Heterogeneous SystemsProceedings of the 2012 Ninth International Conference on Information Technology - New Generations10.1109/ITNG.2012.116(528-533)Online publication date: 16-Apr-2012
https://dl.acm.org/doi/10.1109/ITNG.2012.116
Padberg FMirold M(2012)An Experimentation Platform for the Automatic Parallelization of R ProgramsProceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 0110.1109/APSEC.2012.70(203-212)Online publication date: 4-Dec-2012
https://dl.acm.org/doi/10.1109/APSEC.2012.70
Marr SD'Hondt T(2012)Identifying a unifying mechanism for the implementation of concurrency abstractions on multi-language virtual machinesProceedings of the 50th international conference on Objects, Models, Components, Patterns10.1007/978-3-642-30561-0_13(171-186)Online publication date: 29-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-30561-0_13
Marr SDe Wael MHaupt MD'Hondt TLopes C(2011)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! 2011, AOOPES'11, NEAT'11, & VMIL'1110.1145/2095050.2095104(341-348)Online publication date: 23-Oct-2011
https://dl.acm.org/doi/10.1145/2095050.2095104
Marr SHaupt MTimbermont SAdams BD'Hondt TCostanza PDe Meuter W(2010)Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency ModelsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.17.617(63-77)Online publication date: 6-Feb-2010
https://doi.org/10.4204/EPTCS.17.6
Marr SD'Hondt TCook WClarke SRinard M(2010)Many-core virtual machinesProceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion10.1145/1869542.1869593(239-240)Online publication date: 17-Oct-2010
https://dl.acm.org/doi/10.1145/1869542.1869593

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Live gang migration of virtual machines

A common intermediate language and its use in partitioning concurrent declarative programs

Inter-rack live migration of multiple virtual machines