并行程序自动优化虚拟化框架

计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (6): 513-521.

并行程序自动优化虚拟化框架

谭郁松, 吴庆波

国防科学技术大学计算机学院, 长沙 410073

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-06-01 发布日期:2011-06-01

Parallel Program Automatic Optimizing Virtualized Framework

TAN Yusong, WU Qingbo

School of Computer, National University of Defense Technology, Changsha 410073, China

Received:1900-01-01 Revised:1900-01-01 Online:2011-06-01 Published:2011-06-01

摘要/Abstract

摘要： 支持程序自动并行化的本质是判定相互之间不存在相关的代码块, 因此如何精确地获取包括控制流图和数据流图在内的程序运行时行为成为程序自动并行化的基础。将虚拟机技术运用于并行程序优化领域, 设计了基于虚拟机的程序自动并行化框架Vapor, 提出了基于二进制翻译技术的超块指令置位替换策略(super block-based in-place replacement, SBIPR), 以此获取并行程序的真实运行时行为, 构建准确的程序运行时数据流图和控制流图, 判定程序的可并行执行代码段粒度, 从而提高程序的并行执行性能。实验结果表明Vapor 具有良好的性能。

关键词: Vapor, 虚拟机, 二进制翻译, 自动并行化, 程序运行时监控

Abstract: The essential technology of program automatic parallism is to get some code blocks without any dependence each other. Therefore, it is important to collect program run-time behaviors including control flow and data flow. Using virtualization method, this paper proposes a novel program automatic parallelizing framework, named as Vapor. With help of binary translation technologies, Vapor uses super block-based in-place replacement (SBIRP)
method to collect program run-time control flow and data flow information precisely. Moreover, it explains how to create control flow and data flow dependency graphs. Based on those dependencies, it divides program into appropriate granularity executed simultaneously. Experimental results prove that Vapor has pretty performances.

Key words: Vapor, virtual machine, binary translation, automatic parallelizing, program run-time profiling

谭郁松, 吴庆波. 并行程序自动优化虚拟化框架[J]. 计算机科学与探索, 2011, 5(6): 513-521.

TAN Yusong, WU Qingbo. Parallel Program Automatic Optimizing Virtualized Framework[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(6): 513-521.

[1]	刘沛东，安博，钟业弘，王虎，曹东刚. 私有云环境下基于虚拟集群的资源共享方法[J]. 计算机科学与探索, 2017, 11(8): 1204-1213.
[2]	王德胜，张伟哲，郝萌，鲁刚钊，白恩慈. 云计算环境中虚拟机内存自适应调节算法研究[J]. 计算机科学与探索, 2017, 11(1): 70-79.
[3]	高任飞，武继刚，周莹，张耀国. 极小通讯延迟的虚拟机分配算法[J]. 计算机科学与探索, 2016, 10(7): 924-935.
[4]	杨杰，朱智强. XHydra：面向虚拟机Xen的安全增强架构[J]. 计算机科学与探索, 2016, 10(3): 311-325.
[5]	冯光升，赵晓宇，马军，高瑞，吕宏武，王慧强，刘永丽. 基于混合预测的云平台资源自适应分配方法[J]. 计算机科学与探索, 2015, 9(10): 1172-1179.
[6]	任建宝，齐勇，戴月华，王晓光，宣宇，耿晨，史椸. PriVisor：不可信操作系统中用户隐私数据保护方法[J]. 计算机科学与探索, 2013, 7(5): 412-421.
[7]	戴月华，齐勇，任建宝，王晓光，史椸，宣宇. Trochilidae：面向众核平台的高性能轻量级虚拟机监控器[J]. 计算机科学与探索, 2012, 6(12): 1126-1135.
[8]	李家文, 沈立. 面向虚拟机环境的Cache动态划分算法设计与实现[J]. 计算机科学与探索, 2012, 6(1): 58-66.
[9]	陈顼颢, 郑重, 沈立, 王志英. 二进制翻译中代码生成的子图覆盖算法[J]. 计算机科学与探索, 2011, 5(7): 613-623.
[10]	汪小林1 , 张彬彬1 , 靳辛欣1 , 王振林2 , 罗英伟1 , 李晓明1 . 虚拟机陷出的检测及分析[J]. 计算机科学与探索, 2011, 5(6): 493-500.
[11]	郑重, 陈顼颢, 沈立, 王志英 . 浮点到定点的高效翻译策略研究[J]. 计算机科学与探索, 2011, 5(5): 446-451.
[12]	蒋学渊, 李明禄, 翁楚良. 虚拟机动态迁移中的安全分析[J]. 计算机科学与探索, 2011, 5(5): 452-457.
[13]	曲文涛+，李明禄，翁楚良. 跨虚拟机的可信检测[J]. 计算机科学与探索, 2010, 4(2): 165-169.
[14]	陈昊罡1, 汪小林1 , 王振林2 , 靳辛欣1 , 温翔1 , 罗英伟1+ , 李晓明1 . 面向虚拟机的远程磁盘缓存[J]. 计算机科学与探索, 2010, 4(12): 1073-1088.
[15]	靳辛欣1 ，陈昊罡1 ，汪小林1+，王振林2 ，温翔1 ，罗英伟1 ，李晓明1 . 虚拟机缓存划分的设计与实现[J]. 计算机科学与探索, 2010, 4(1): 36-45.