论文部分内容阅读
为提高调试计算机系统的效率，提出了一种可有效地将非确定错误转化为确定错误的录制-重放机制。针对录制-重放系统加载中的透明性问题及重放中的易用性问题，通过开源项目ReBranch提出了一些解决方法。首次提出了基于解释器（interpreter）的透明加载机制，以解决加载机制的透明性问题；首次提出了一种基于文法压缩的异常序列检测机制，以提高重放的易用性。探讨了ReBranch的几个成功应用，并通过实验验证了异常检测算法的有效性。