[发明专利]用于在内核模块和设备驱动程序中检测并发编程错误的方法和系统

摘要

在内核空间中操作的设备驱动程序和其它软件中错误和缺陷的存在可能难以发现和消除。一种用于调试计算机程序的系统和方法可以涉及使用若干不同模块。在内核空间中运行的是事件监视器。在用户空间中运行的是事件收集器、事件播放器和并发错误检测器。该设置允许使用存在的用户空间错误检测器调试在内核空间中执行的设备驱动程序软件和其它软件。

主权项

一种用于调试计算机软件的系统，包括：事件监视器（110）；事件收集器（120），其耦合到所述事件监视器（110）；事件播放器（130），其耦合到所述事件收集器（120）；以及并发错误检测器（140），其耦合到所述事件播放器（130），其中：被调试的计算机软件包括对应于多个事件的指令；所述事件监视器（110）被布置成在系统存储器的内核空间部分（102）中执行被调试的计算机软件并且作为数据记录所述多个事件；所述事件收集器（120）被布置成在系统存储器的用户空间部分（104）中执行并且从所述事件监视器（110）读取所记录的数据以及从系统存储器的所述用户空间部分（104）是可读取的；其特征在于，所述事件播放器（130）被布置成在系统存储器的用户空间部分（104）中执行并且从所述事件收集器（120）读取所记录的数据并且在系统存储器的所述用户空间部分（104）中从所记录的数据播放所述多个事件中的每一个，创建所述多个事件的部分次序图，确定（302）所述多个事件中的事件是否是上下文进入事件（210），并且如果所述事件是上下文进入事件（210），则创建（310，312）代理线程和用于所述代理线程的事件队列；以及基于所述部分次序图对所述代理线程的执行进行排定（320）；以及所述并发错误检测器（140）被布置成在系统存储器的用户空间部分（104）中执行并且以与部分次序图一致的次序对从所述事件播放器（130）中接收的所述多个事件中的每一个执行并发错误检测。