Ismat: a virtual machine for compositional parallelism

被引:0
作者
Cain, Darryl [1 ]
Roe, Paul [2 ]
机构
[1] Queensland Univ Technol, Parallel programming models & parallel composit, Brisbane, Qld, Australia
[2] Queensland Univ Technol, Fac Sci & Technol, Brisbane, Qld, Australia
来源
COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT | 2010年 / 25卷 / 1-2期
关键词
Parallel computing; Virtual machine; Composition; Determinism; Abstraction;
D O I
10.1007/s00450-010-0110-8
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Parallel programming is hard. Developers must not only solve the problem at hand, but do so in a manner which can best utilize the available resources. In this paper we introduce Ismat, a virtual machine which supports parallelism concerns in an abstracted and inherent manner. Ismat endeavors to simplify the transition from a sequential to parallel environment by providing fundamentally sequential semantics in a parallel realm. Developers incrementally introduce parallelism and performance in contrast to parallelism and correctness. Additionally, Ismat provides and promotes parallel composition to solve problems; reducing developer effort and promoting reuse. We present a detailed explanation of the proposed virtual machine including constructs and semantics. We argue that the resulting virtual machine reduces programmer complexity, provides better abstractions and allows for the exploitation of resources on heterogeneous machines for a range of parallel problems.
引用
收藏
页码:51 / 56
页数:6
相关论文
共 50 条
[31]   Agent virtual machine for shipboard automation systems [J].
Maturana, Francisco ;
Staron, Raymond ;
Discenzo, Fred ;
Carnahan, Dan ;
Hall, Ken .
2007 IEEE POWER ENGINEERING SOCIETY GENERAL MEETING, VOLS 1-10, 2007, :1606-1613
[32]   Virtual machine showdown: Stack versus registers [J].
Shi, Yunhe ;
Casey, Kevin ;
Ertl, M. Anton ;
Gregg, David .
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2007, 4 (04) :1-36
[33]   Virtual machine consolidation based on interference modeling [J].
Shin-gyu Kim ;
Hyeonsang Eom ;
Heon Y. Yeom .
The Journal of Supercomputing, 2013, 66 :1489-1506
[34]   ON VIRTUAL MACHINE SECURITY ISSUES IN CLOUD COMPUTING [J].
Zhang, Chaochao ;
Bai, Ling ;
Chen, Su ;
Jiang, Hai .
INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE & TECHNOLOGY: PROCEEDINGS, 2012, :75-79
[35]   Support for spot virtual machine purchasing simulation [J].
Ao Zhou ;
Shangguang Wang ;
Qibo Sun ;
Jinglin Li ;
Qinglin Zhao ;
Fangchun Yang .
Cluster Computing, 2018, 21 :1-13
[36]   VMckpt: lightweight and live virtual machine checkpointing [J].
Liu HaiKun ;
Jin Hai ;
Liao XiaoFei ;
Ma Bo ;
Xu ChengZhong .
SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (12) :2865-2880
[37]   A Reference Model for Virtual Machine Launching Overhead [J].
Wu, Hao ;
Ren, Shangping ;
Garzoglio, Gabriele ;
Timm, Steven ;
Bernabeu, Gerard ;
Chadwick, Keith ;
Noh, Seo-Young .
IEEE TRANSACTIONS ON CLOUD COMPUTING, 2016, 4 (03) :250-264
[38]   An embeddable virtual machine for state space generation [J].
Weber M. .
International Journal on Software Tools for Technology Transfer, 2010, 12 (02) :97-111
[39]   Vmgen - a generator of efficient virtual machine interpreters [J].
Ertl, MA ;
Gregg, D ;
Krall, A ;
Paysan, B .
SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (03) :265-294
[40]   Threat Modelling of Virtual Machine Migration Auction [J].
Majhi, Santosh Kumar ;
Dhal, Sunil Kumar .
1ST INTERNATIONAL CONFERENCE ON INFORMATION SECURITY & PRIVACY 2015, 2016, 78 :107-113