Regra WithinCriticalRegion (wdm)

A regra WithinCriticalRegion especifica que as chamadas do driver para funções de sincronização específicas aparecem somente depois de chamar KeEnterCriticalRegion e antes de chamar KeLeaveCriticalRegion.

As funções de sincronização afetadas são as seguintes:

• ExAcquireResourceSharedLite

• ExAcquireResourceExclusiveLite

• ExAcquireSharedStarveExclusive

• ExAcquireSharedWaitForExclusive

• ExReleaseResourceLite

• ExReleaseResourceForThreadLite

Essa regra não reconhece outros métodos de desabilitação da entrega normal de APC. Para obter mais informações, consulte Desabilitando APCs.

Modelo de driver: WDM

Como testar

Em tempo de compilação
Execute o Verificador de Driver Estático e especifique a regra WithinCriticalRegion . Use as seguintes etapas para executar uma análise do código: Prepare seu código (use declarações de tipo de função). Execute o Verificador de Driver Estático. 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

ExAcquireResourceExclusiveLiteExAcquireResourceSharedLiteExAcquireSharedStarveExclusiveExAcquireSharedWaitForExclusiveExReleaseResourceForThreadLiteExReleaseResourceLiteKeEnterCriticalRegionKeEnterGuardedRegionKeLeaveCriticalRegionKeLeaveGuardedRegion

Confira também

Gerenciando prioridades de hardwareimpedindo erros e deadlocks ao usar bloqueios de rotação