QueuedSpinLock Rule (WDM)

QueuedSpinLock 规则指定:驱动程序在调用 KeReleaseInStackQueuedSpinLock 之前调用 KeAcquireInStackQueuedSpinLock,且驱动程序在后续任何一次调用 KeAcquireInStackQueuedSpinLock 之前调用 KeReleaseInStackQueuedSpinLock

允许嵌套调用(如果它们获取和释放其他资源)。获取或释放相同资源的嵌套调用将违反此规则。

此规则还指定:驱动程序在调度例程或取消例程结束之前已调用 KeReleaseInStackQueuedSpinLock 来释放所有排入队列的旋转锁。

驱动程序模型WDM
使用此规则发现的错误检查 Bug Check 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00040006)

如何测试

在编译时

运行 静态驱动程序验证程序 并指定 QueuedSpinLock 规则。

使用以下步骤来分析你的代码:
  1. 准备你的代码(使用角色类型声明)。
  2. 运行静态驱动程序验证程序。
  3. 查看并分析结果。

有关详细信息,请参阅 使用静态驱动程序验证程序查找驱动程序中的缺陷

在运行时

运行驱动程序验证程序,选择 DDI 遵从性检查选项。

 

适用于

KeAcquireInStackQueuedSpinLock
KeReleaseInStackQueuedSpinLock

 

 

显示:
© 2014 Microsoft