< Back to previous page

Publication

Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models

Journal Contribution - Journal Article Conference Contribution

The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. We argue that today's virtual machines (VMs), which are a cornerstone of software development, do not provide sufficient abstraction for concurrency concepts. To overcome this shortcoming, we propose to integrate concurrency
operations into VM instruction sets.
Since there will not be a single instruction set for all kind of VMs, our goal is to develop a methodology to design instruction sets with concurrency support. Therefore, we also propose a list of tradeoffs that have to be investigated to advise the design of such instruction sets.
As a first basic prototype, we implemented instructions for shared-memory concurrency. From experimental results, we derived a list of requirements for a full-grown experimental environment for further research.
Journal: Proceedings of the Second Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)
ISSN: 2075-2180
Volume: 17
Pages: 63-77
Publication year:2010
Keywords:Virtual Machine, Many-Core, Concurrency Models, Instruction Set Design, Bytecode
  • VABB Id: c:vabb:374725
  • Scopus Id: 84883198076