Partilhar via

Regra StorPortSpinLock (storport)

  • Artigo

Essa regra verifica se os bloqueios adquiridos por meio de StorPortAcquireSpinLock são prontamente liberados por meio de StorPortReleaseSpinLock. O driver de miniporte falhará na regra se tentar adquirir um bloqueio que já havia adquirido ou se tentar liberar um bloqueio que não havia adquirido. Além disso, no final da rotina de expedição ou cancelamento, o driver não deve manter nenhum bloqueio de rotação.

Modelo de driver: Storport

Como testar

Em tempo de compilação

Execute o Verificador de Driver Estático e especifique a regra StorPortSpinLock .

Use as seguintes etapas para executar uma análise do código:
  1. Prepare seu código (use declarações de tipo de função).
  2. Execute o Verificador de Driver Estático.
  3. Exiba e analise os resultados.

Para obter mais informações, consulte Usando o Verificador de Driver Estático para localizar defeitos em drivers.

Aplica-se a

StorPortAcquireSpinLockStorPortReleaseSpinLock