分布式程序调试系统DPD中的行为再现方法

并行分布程序调试的主要困难来自于程序行为的非再现性。我们在分布式程序调试系统DPD中采用了一种程序行为再现方法——扩充的快速重现方法。它在进程交互事件的永久等待,限时等待特性和非确定性选择特性等诸方面,对T·J·LABLANC提出的快速重现基本方法做了重要扩充,并且采用了多进程系统结构,实现了控制和数据的分散,保持了快速重现方法的主要特点。本文将重点介绍它的交互对象访问控制和系统结构,讨论它在调试过程中的应用。