提高录制-重放技术透明性及易用性的方法研究  

Study on improving the transparency and usability of record-replay systems

作　　者：王楠[1,3] 韩冀中[2] 方金云[1] 

机构地区：[1]中国科学院计算技术研究所,北京100190 [2]中国科学院信息工程研究所,北京100093 [3]中国科学院研究生院,北京100190

出　　处：《高技术通讯》2012年第8期804-811,共8页Chinese High Technology Letters

基　　金：863计划（2012AA01A401,2011AA01A203）,国家自然科学基金（61070028,61003063,60903047）和中国科学院先导专项（XDA06030200）资助项目.

摘　　要：为提高调试计算机系统的效率，提出了一种可有效地将非确定错误转化为确定错误的录制-重放机制。针对录制-重放系统加载中的透明性问题及重放中的易用性问题，通过开源项目ReBranch提出了一些解决方法。首次提出了基于解释器（interpreter）的透明加载机制，以解决加载机制的透明性问题；首次提出了一种基于文法压缩的异常序列检测机制，以提高重放的易用性。探讨了ReBranch的几个成功应用，并通过实验验证了异常检测算法的有效性。In view of the tendency that non-deterministic software hugs of a computer system become more trequent with me growing of system complexity, this study proposed a record-replay mechanism as an effective solution to find the root cause of those bugs to improve the efficiency of the system＇ s debugging. The transparency and the usability, two important features of a record-replay system, were studied. An interpreter-based loading mechanism was proposed to im- plement transparent loading. A novel anomaly detection algorithm was proposed for mining buggy execution sequences from logs. Those two approaches have been introduced into the ReBranch, an open source debugging tool, and have helped developers to fix some real bugs. To the best of the authers＇ knowledge, this is the first work aiming at trans- parency loading, and also the first work applying grammar-based compression to anomaly intrusion detection.

关 键 词：调试 录制 重放 文法压缩 异常检测(AID) 

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