多核架构的虚拟机支持：从具体并发模型中分离抽象
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models
摘要：
即将到来的众核架构要求软件开发人员利用并发性来利用可用的计算能力。当今的高级语言虚拟机（VM）是软件开发的基石，但并没有为并发概念提供足够的抽象。我们分析了具体和抽象的并发模型，并确定了它们对虚拟机带来的挑战。为了在虚拟机中提供足够的并发支持，我们建议将并发操作集成到虚拟机指令集中。由于总会有针对特殊目的优化的VM，因此我们的目标是开发一种方法来设计具有并发支持的指令集。因此，我们还提出了一个权衡的清单，必须进行调查，建议这样的指令集的设计。作为第一个实验，我们实现了一个用于共享内存的指令集扩展和一个用于非共享内存并发的指令集扩展。从我们的实验结果中，我们得出了一个完整的实验环境，为进一步研究的要求列表。
英文摘要：
The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide sufficient abstraction for concurrency concepts. We analyze concrete and abstract concurrency models and identify the challenges they impose for VMs. To provide sufficient concurrency support in VMs, we propose to integrate concurrency operations into VM instruction sets. Since there will always be VMs optimized for special purposes, our goal is to develop a methodology to design instruction sets with concurrency support. Therefore, we also propose a list of trade-offs that have to be investigated to advise the design of such instruction sets. As a first experiment, we implemented one instruction set extension for shared memory and one for non-shared memory concurrency. From our experimental results, we derived a list of requirements for a full-grown experimental environment for further research.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
