| 基于硬件辅助的用户态并行程序记录方法 |
| |
| 引用本文： | 唐士斌,宋风龙,王达,李文明,刘志勇.基于硬件辅助的用户态并行程序记录方法[J].小型微型计算机系统,2012(10):2243-2248. |
| |
| 作者姓名： | 唐士斌 宋风龙 王达 李文明 刘志勇 |
| |
| 作者单位： | 中国科学院计算技术研究所计算机体系结构国家重点实验室;中国科学院研究生院 |
| |
| 基金项目： | 国家“九七三”重点基础研究发展计划项目(2011CB302501)资助;国家“八六三”高技术研究发展计划项目(2012AA010303)资助;国家自然科学基金项目(60925009,60921002,61100015,61070025)资助;华为合作项目(YBCB2011030)资助 |
| |
| 摘 要： | 程序调试工作的首要基础是错误可重现,然而并行程序执行过程存在天然的不确定性,尤其在多核处理器上,如何重现并行程序的错误是一个巨大的挑战.现有的方法或记录整个系统的状态或需要细粒度插桩,存在可用性差与运行时开销大等问题.本文首次提出一种基于硬件辅助的面向用户态并行程序的轻量级记录与重放方法,该方法通过软件协助来记录信号、系统调用与操作系统调度相关的序关系;利用硬件记录访存冲突,同时在记录过程中采用基于目录的方法来压缩日志存储.通过在16核模拟平台上评估,本文提出的方法不仅方便了用户态并行程序调试,同时减少了81%的存储日志开销.
|
| 关 键 词： | 多核 并行程序 确定性重放 访存冲突 |
Hardware Assisted User-level Deterministic Recording Methods |
| |
| TANG Shi-bin,SONG Feng-long,WANG Da,LI Wen-ming,LIU Zhi-yong.Hardware Assisted User-level Deterministic Recording Methods[J].Mini-micro Systems,2012(10):2243-2248. |
| |
| Authors: | TANG Shi-bin SONG Feng-long WANG Da LI Wen-ming LIU Zhi-yong |
| |
| Affiliation: | 1(State Key Laboratory of Computer Architecture,Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China) 2(Graduate University of Chinese Academy of Sciences,Beijing 100049,China) |
| |
| Abstract: | Bug reproduction is critical to debug software.But parallel programs are born with non-determinism,because of which reproducing a concurrency bug on CMP becomes a big challenging.Previous work either brings in large runtime overhead or is impractical,so that the paper proposes a lightweight hardware assisted approach to record and replay parallel program.In the approach,software and hardware cooperate to record non-determinism,including:system call,signal,special instruction and memory conflict.Furthermore,a compression technology based on directory is used to reduce log size and a replay algorithm based on the recording log is proposed.Experiment results show that our approach not only can provide a convenient approach for application programmers but also can reduce log size by 81%. |
| |
| Keywords: | multi-core parallel program determinism memory conflict |
| 本文献已被 CNKI 等数据库收录！ |
|
