SpinLock 规则 (wdm)

SpinLock 规则指定，在调用 KeAcquireSpinLock 后，驱动程序在后续调用 KeAcquireSpinLock 或 KeAcquireSpinLockRaiseToDpc 之前调用 KeReleaseSpinLock。

如果嵌套调用正在获取和释放不同资源的锁，则允许这些调用。为相同资源获取或释放锁的嵌套调用违反了此规则。

此规则还指定驱动程序已使用 KeReleaseSpinLock 在调度例程或取消例程结束之前释放所有旋转锁。

驱动程序模型：WDM

如何测试

编译时
运行静态驱动程序验证程序并指定 SpinLock 规则。使用以下步骤运行代码分析：准备代码 (使用角色类型声明) 。运行静态驱动程序验证程序。查看和分析结果。有关详细信息，请参阅使用静态驱动程序验证程序查找驱动程序中的缺陷。

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

使用以下步骤运行代码分析：

运行时
运行驱动程序验证程序并选择 DDI 符合性检查选项。