适用于商用系统环境的低开销确定性重放技术  

Efficient deterministic replay technique on commodity system environment

作　　者：应欢[1,2] 王东辉[1] 武成岗[3] 王喆[2,3] 唐博文[4] 李建军[3] YING Huan WANG Dong-hui WU Cheng-gang WANG Zhe TANG Bo-wen LI Jian-jun(Institute of Acoustics, Chinese Academy of Sciences, Beijing 100190, China University of Chinese Academy of Sciences, Beijing 100049, China Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China College of Information Engineering ,Capital Normal University, Beijing 100048, China)

机构地区：[1]中国科学院声学研究所,北京100190 [2]中国科学院大学,北京100049 [3]中国科学院计算技术研究所,北京100190 [4]首都师范大学信息工程学院,北京100048

出　　处：《吉林大学学报（工学版）》2017年第1期208-217,共10页Journal of Jilin University:Engineering and Technology Edition

基　　金："863"国家高技术研究发展计划项目(2012AA010901)

摘　　要：针对现有确定性重放技术中存在运行时开销大和安全隐患等问题,提出了一种低开销的确定性重放技术。该技术在已有的硬件平台和系统环境下,利用页保护捕获并记录并行程序对共享内存的访问顺序。深入研究了该技术引入的性能开销,针对性地提出了私有锁、私有堆、主动抢占等优化策略。采用PARSEC测试集进行性能评估,实验结果显示该系统引入的开销较小。Deterministic replay plays an important role in debugging parallel programs.In parallel program design,recording share memory access has become a light spot,according to great nondeterminism brought by multithreading memory interleaving.Previous research focused on fine grained instrumentation of memory access instruction,or kernel modification,or special hardware extension to record shared memory communication.However,these methods have the problems of runtime overhead cost and awful potential safety hazard.This paper proposes an efficient deterministic replay technique employing page-protection mechanism on commodity hardware platforms and operating system.Furthermore,this work deeply analyzes the runtime overhead incurred by the proposed technique,and puts forward several optimization strategies of private-lock mechanism,private heap memory pool and initiative page-preemption algorithm to promote the performance.Our prototype UPLAY is implemented on Linux.Performance evaluation shows that the record slowdown is only 9.26 Xand is much smaller than prior user-level replay system.

关 键 词：计算机软件 并行程序 确定性重放 页保护 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]