Power Framework 지연 퍼지

참고

이 검사 Windows 10 빌드 19042 이상부터 사용되지 않습니다.

Power Framework 퍼지 지연 옵션은 PoFx(전원 관리 프레임워크)를 사용하는 드라이버에서 동시성 버그를 검색하는 데 도움이 되도록 스레드 일정을 임의로 지정합니다. 이 옵션은 PoFx(전원 관리 프레임워크)를 직접 활용하지 않는 드라이버에는 권장되지 않습니다.

참고 이 옵션은 Windows 8 시작해서 사용할 수 있습니다.

옵션을 선택하면 드라이버 검증 도구는 스레드의 다양한 지점에 임의 지연을 삽입합니다. Power Framework 지연 퍼지 옵션은 드라이버에서 오류를 찾기 위한 확률적 보장을 제공하는 알고리즘을 사용합니다. Power Framework Delay Fuzzing은 동시 실행 시 발생할 수 있는 문제를 해결하기 위해 테스트 프로그램이 며칠 또는 몇 주 동안 실행되는 기존 스트레스 테스트를 개선합니다.

대부분의 드라이버 루틴은 재진입 및 동시입니다. 동시성 버그는 찾기 어려운 것으로 악명이 높습니다. 버그에는 동기화 문제 및 스레드 간의 잘못된 타이밍으로 인한 교착 상태 및 경합 상태가 포함될 수 있습니다. 스트레스 테스트는 기존의 테스트 기술이지만 느리고 비용이 많이 들 수 있으며 결과가 항상 재현 가능한 것은 아닙니다. Power Framework 지연 퍼지 옵션은 다양한 전원 API 함수 호출에서 임의 지연을 삽입하여 런타임에 경합 상태가 나타날 확률을 높입니다. 예를 들어 경합 상태가 취소된 후 드라이버가 IRP에 액세스하는 경우 Power Framework 지연 퍼지 옵션은 테스트 중에 드라이버 검증 도구가 오류를 감지하는 방식으로 이 경합 상태의 가능성을 높입니다. Power Framework 지연 퍼지 옵션은 드라이버 검증 도구의 성능과 유용성을 확장합니다.

이 옵션 활성화

드라이버 검증 도구 관리자 또는 Verifier.exe 명령줄을 사용하여 하나 이상의 드라이버에 대해 Power Framework 지연 퍼지 기능을 활성화할 수 있습니다. 자세한 내용은 드라이버 검증 도구 옵션 선택을 참조하세요. Power Framework 지연 퍼지 옵션을 활성화하거나 비활성화하려면 컴퓨터를 다시 시작해야 합니다.

참고 Power Framework 지연 퍼지 옵션은 다양한 전원 API 함수 호출에서 임의 지연을 삽입하여 런타임에 경합 상태가 나타날 확률을 높입니다. 이러한 지연이 더 효과적이려면 다른 드라이버 검증 도구 옵션을 사용하여 이 옵션을 사용하도록 설정할 수 있습니다. 도입될 수 있는 지연으로 인해 컴퓨터의 응답 속도가 느려질 것으로 예상할 수 있습니다.

• 명령줄에서

  명령줄에서 Power Framework 지연 퍼지는 검증 도구 /flags 0x00008000(비트 15)로 표시됩니다. Power Framework 지연 퍼지를 활성화하려면 플래그 값 0x00008000 사용하거나 플래그 값에 0x00008000 추가합니다. 예:

  verifier /flags 0x00008000 /driver MyDriver.sys
  

  이 기능은 다음 부팅 후에 활성화됩니다.

• 드라이버 검증 도구 관리자 사용

  1. 드라이버 검증 도구 관리자를 시작합니다. 명령 프롬프트 창에 검증 도구를 입력합니다.
  2. 사용자 지정 설정 만들기(코드 개발자용)를 선택한 다음, 다음을 클릭합니다.
  3. 전체 목록에서 개별 설정 선택을 선택합니다.
  4. (검사) Power Framework 지연 퍼지를 선택합니다.
  5. 컴퓨터를 다시 시작합니다.