[发明专利]一种针对分布式系统程序死锁缺陷的测试系统及方法

摘要

本发明提供了一种针对分布式系统程序死锁缺陷的测试系统及方法，通过对分布式系统网络事件进行模拟，将其与单机上待测试分布式系统软件执行的锁事件相结合，之后使用基于优先级的线程调度模块将线程并行逻辑转为串行逻辑并通过死锁检测模块判断死锁，实现了在单机上对分布式系统死锁缺陷的有概率保证的检测，有效降低了针对分布式系统的死锁检测成本，提高了程序测试效率。

主权项

1.一种针对分布式系统程序死锁缺陷的测试系统，其特征在于，所述的针对分布式系统程序死锁缺陷的测试系统包括待测试分布式系统软件、自定义网络事件模拟器、二进制插桩模块、时间序列维护模块、基于优先级的线程调度模块和死锁检测模块；自定义网络事件模拟器用来模拟分布式系统中其他主机上产生的网络锁事件，并将产生的网络锁事件以JSON格式发送至时间序列维护模块，其中网络锁事件包括时间戳、网络事件线程ID、锁ID和锁事件内存地址；二进制插桩模块用来对待测试分布式系统软件进行动态插桩，获取待测试分布式系统软件在一次运行过程中各个线程执行的所有锁事件，并通过JSON格式以时间顺序发送给时间序列维护模块，锁事件包括时间戳、线程ID、锁ID和锁事件内存地址；事件序列维护模块从自定义网络事件模拟器和二进制插桩模块接收JSON格式的锁事件，并将接收到的锁事件按时间顺序和线程ID进行维护，之后将收集到的全部信息通过JSON格式发送给基于优先级的线程调度模块；基于优先级的线程调度模块从时间序列维护模块中接收JSON格式的数据，使用概率保证调度算法并根据死锁检测模块反馈的结果，对并发的线程进行调度，将其并行逻辑转为串行逻辑，之后将执行结果以锁事件为单位，通过JSON格式发送给死锁检测模块；死锁检测模块从基于优先级的线程调度模块中接收JSON格式的锁事件，并采用死锁检测算法判断当前线程是否被阻塞，并将结果反馈至基于优先级的线程调度模块，若当前未执行完成的线程均被阻塞，则将其判定为死锁。