Zpoždění zufajení v Power Frameworku

Poznámka:

Tato kontrola je zastaralá od verze Windows 10 Build 19042 a novější.

Možnost náhodného zpoždění v rámci Power Fuzzing náhodně mění naplánování vláken, což pomáhá zjišťovat chyby souběžnosti v ovladačích, které využívají rámcovou architekturu pro řízení spotřeby (PoFx). Tato možnost se nedoporučuje pro ovladače, které přímo nevyužívají architekturu řízení spotřeby (PoFx).

Poznámka Tato možnost je dostupná od Windows 8.

Pokud je tato možnost vybrána, nástroj Driver Verifier vloží náhodná zpoždění v různých bodech ve vláknech. Možnost Zpoždění v rámci Power Frameworku používá algoritmus, který poskytuje pravděpodobnostní jistoty pro hledání chyb v ovladačích. Vylepšená technika Delay Fuzzing v rámci Power Frameworku zlepšuje tradiční zátěžové testování, kdy se testovací program spouští po dny nebo dokonce týdny ve snaze odhalit problémy, které mohou nastat při souběžném provádění.

Většina rutin ovladačů je reentrantní a souběžná. Chyby souběžnosti se obtížně hledají. Chyby můžou zahrnovat zablokování a podmínky časování způsobené problémy se synchronizací a špatným načasováním mezi vlákny. Zátěžové testování je tradiční testovací technika, ale může to být pomalé a nákladné a výsledky nejsou vždy reprodukovatelné. Možnost Zpoždění v Power Frameworku zvyšuje pravděpodobnost souběhu, které se objevují za běhu, vložením náhodných zpoždění při různých voláních funkcí rozhraní Power API. Pokud například soutěžní podmínka vede k tomu, že ovladač přistupuje k IRP po jeho zrušení, možnost fuzzingu zpoždění rámce správy napájení zvýší pravděpodobnost této soutěžní podmínky takovým způsobem, že nástroj Driver Verifier chybu během testování detekuje. Možnost fuzzingu zpoždění Power Framework rozšiřuje možnosti a užitečnost nástroje Driver Verifier.

aktivovat tuto možnost

Funkci Zpoždění fuzzingu power frameworku můžete aktivovat pro jeden nebo více ovladačů pomocí Správce ověřovatele ovladačů nebo příkazového řádku Verifier.exe. Podrobnosti najdete v tématu Výběr možností ověření ovladače. Chcete-li aktivovat nebo deaktivovat možnost Fuzzing se zpožděním ve Frameworku napájení, je nutné restartovat počítač.

Poznámka Možnost Zpoždění v Power Frameworku zvyšuje pravděpodobnost závodních podmínek, které se objevují za běhu, vložením náhodných zpoždění do různých volání funkcí v rozhraní Power API. Aby tato zpoždění byla efektivnější, můžete tuto možnost povolit s dalšími možnostmi ověřovatele ovladačů. Vzhledem ke zpožděním, která je možné zavést, můžete očekávat, že počítač bude mít pomalejší odezvu.

• Na příkazovém řádku

  Na příkazovém řádku je Power Framework Delay Fuzzing reprezentováno ověřovačem /flags 0x00008000 (bit 15). Pro aktivaci Delay Fuzzing pro Power Framework použijte hodnotu příznaku 0x00008000 nebo přidejte 0x00008000 k hodnotě příznaku. Například:

  verifier /flags 0x00008000 /driver MyDriver.sys
  

  Funkce bude aktivní po dalším spuštění.

• Použití Správce ověřovatele ovladačů

  1. Spusťte Správce ověřovatele ovladačů. Do okna příkazového řádku zadejte ověřitel .
  2. Vyberte Vytvořit vlastní nastavení (pro vývojáře kódu) a potom klikněte na Další.
  3. Vyberte jednotlivá nastavení z úplného seznamu.
  4. Vyberte (zaškrtněte) Power Framework Delay Fuzzing.
  5. Restartujte počítač.