旋转锁规则 (storport)

此规则验证是否立即调用 KeAcquireSpinLock ,然后调用 KeReleaseSpinlock。 如果驱动程序在释放锁之前再次调用 KeAcquireSpinLockRaiseToDpcKeAcquireSpinLock ,则该规则将失败。 此外,在退出调度或取消例程之前,驱动程序必须释放自旋锁。

驱动程序模型: Storport

如何测试

在编译时

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

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

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

适用于

KeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLock