有关排查静态驱动程序验证程序问题的建议

在驱动程序源代码上运行静态驱动程序验证程序 (SDV) 并且 SDV 报告超时、GiveUp 或 Spaceout 时，请尝试以下操作：

• 以下建议要求更改 SDV 配置设置。 可以直接在“ 配置 ”选项卡上的“资源”下或在 静态驱动程序验证程序选项文件中设置配置设置，Sdv-defaults.xml。 默认选项文件特定于驱动程序模型，可在 \tools\sdv\data\model\ 目录中找到，其中 model 为 WDM、WDF、NDIS 或 Storport。
  1. 如果计算机具有多核处理器，请将验证期间使用的线程数减少到 1。 在“ 配置 ”选项卡上的“资源”组中，从下拉列表中选择“1”。 在 SDV 默认文件中，将 SDV_SlamConfig_NumberOfTheads 的值更改为 1。
  2. 如果 SDV 报告超时，请增加超时限制。 此值限制 SDV 验证规则所花费的时间。 默认值为 50 分钟 (3000 秒) 。 在“ 配置 ”选项卡上的“资源”组中，可以通过将 “最大时间 (分钟”) 来调整设置。 在选项文件中，可以更改SDV_SlamConfig_Timeout值。 最小值为 10 (sec) ，最大值为 86400 (Sec) 。 例如，可能需要将 SDV_SlamConfig_Timeout 的值加倍为 6000。
• 如果这些建议都无助于解决问题，请尝试将它们全部应用到一起。

注意 这些技术会增加运行的实际持续时间，但它们也使 SDV 更容易完成其作业，并具有有用的结果 (通过或缺陷) 。