WithinCriticalRegion 규칙(wdm)

WithinCriticalRegion 규칙은 특정 동기화 함수에 대한 드라이버의 호출이 KeEnterCriticalRegion을 호출한 후 KeLeaveCriticalRegion을 호출하기 전에만 표시되도록 지정합니다.

영향을 받는 동기화 함수는 다음과 같습니다.

• ExAcquireResourceSharedLite

• ExAcquireResourceExclusiveLite

• ExAcquireSharedStarveExclusive

• ExAcquireSharedWaitForExclusive

• ExReleaseResourceLite

• ExReleaseResourceForThreadLite

이 규칙은 일반 APC 배달을 사용하지 않도록 설정하는 다른 방법을 인식하지 못합니다. 자세한 내용은 APC 사용 안 을 참조하세요.

드라이버 모델: WDM

테스트 방법

컴파일 시
정적 드라이버 검증 도구 를 실행하고 WithinCriticalRegion 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다. 코드를 준비합니다(역할 형식 선언 사용). 정적 드라이버 검증 도구 실행 결과를 보고 분석합니다. 자세한 내용은 정적 드라이버 검증 도구로 드라이버에서 결함 찾기를 참조하세요.

적용 대상

ExAcquireResourceExclusiveLiteExAcquireResourceSharedLiteExAcquireSharedStarveExclusiveExAcquireSharedWaitForExclusiveExReleaseResourceForThreadLiteExReleaseResourceLiteKeEnterCriticalRegionKeEnterGuardedRegionKeLeaveCriticalRegionKeLeaveGuardedRegion

추가 정보

스핀 잠금을 사용하는 동안 오류 및 교착 상태를 방지하는 하드웨어 우선 순위 관리