Power Framework Delay Fuzzing

  • Artikel

Hinweis

Diese Überprüfung ist ab Windows 10 Build 19042 und höher veraltet.

Die Power Framework-Option Verzögerungsfuzzing randomisiert Threadzeitpläne, um Parallelitätsfehler in Treibern zu erkennen, die das Power Management Framework (PoFx) verwenden. Diese Option wird nicht für Treiber empfohlen, die nicht direkt das Power Management Framework (PoFx) nutzen.

Hinweis Diese Option ist ab Windows 8 verfügbar.

Wenn die Option ausgewählt ist, fügt Driver Verifier zufällige Verzögerungen an verschiedenen Stellen in den Threads ein. Die Power Framework-Option Verzögerungsfuzzing verwendet einen Algorithmus, der probabilistische Garantien für die Suche nach Fehlern in Treibern bietet. Power Framework Delay Fuzzing verbessert sich bei herkömmlichen Stresstests, bei denen das Testprogramm tage- oder sogar wochenlang ausgeführt wird, in der Hoffnung, Probleme zu erkennen, die bei gleichzeitiger Ausführung auftreten können.

Die meisten Treiberroutinen sind wiederholt und gleichzeitig. Parallelitätsfehler sind notorisch schwer zu finden. Fehler können Deadlocks und Racebedingungen umfassen, die durch Synchronisierungsprobleme und schlechtes Timing zwischen Threads verursacht werden. Stresstests sind die herkömmliche Testtechnik, aber es kann langsam und teuer sein, und die Ergebnisse sind nicht immer reproduzierbar. Die Power Framework-Option Verzögerungsfuzzing erhöht die Wahrscheinlichkeit, dass Racebedingungen zur Laufzeit auftreten, indem randomisierte Verzögerungen bei verschiedenen Power-API-Funktionsaufrufen eingefügt werden. Wenn beispielsweise eine Rennbedingung dazu führt, dass ein Fahrer auf IRP zugreift, nachdem diese abgebrochen wurde, erhöht die Power Framework-Option Delay Fuzzing die Wahrscheinlichkeit dieser Rennbedingung so, dass Driver Verifier den Fehler während des Tests erkennt. Die Power Framework-Option Verzögerungsfuzzing erweitert die Leistungsfähigkeit und Nützlichkeit von Driver Verifier.

Aktivieren dieser Option

Sie können das Power Framework-Feature Verzögerungsfuzzing für einen oder mehrere Treiber aktivieren, indem Sie den Treiberüberprüfungs-Manager oder die Verifier.exe-Befehlszeile verwenden. Ausführliche Informationen finden Sie unter Auswählen von Treiberüberprüfungsoptionen. Sie müssen den Computer neu starten, um die Power Framework-Option Verzögerungsfuzzing zu aktivieren oder zu deaktivieren.

Hinweis Die Power Framework-Option Verzögerungsfuzzing erhöht die Wahrscheinlichkeit, dass Racebedingungen zur Laufzeit auftreten, indem randomisierte Verzögerungen bei verschiedenen Power-API-Funktionsaufrufen eingefügt werden. Damit diese Verzögerungen effektiver sind, können Sie diese Option mit anderen Treiberüberprüfungsoptionen aktivieren. Aufgrund der Verzögerungen, die eingeführt werden können, können Sie erwarten, dass der Computer langsamer reagiert.

  • An der Befehlszeile

    An der Befehlszeile wird die Power Framework-Verzögerungsfuzzing durch Prüfer /flags 0x00008000 (Bit 15) dargestellt. Verwenden Sie zum Aktivieren von Power Framework Delay Fuzzing den Flagwert 0x00008000, oder fügen Sie dem Flagwert 0x00008000 hinzu. Beispiel:

    verifier /flags 0x00008000 /driver MyDriver.sys

    Das Feature ist nach dem nächsten Start aktiv.

  • Verwenden des Treiberüberprüfungs-Managers

    1. Starten Sie den Treiberüberprüfungs-Manager. Geben Sie Verifier in ein Eingabeaufforderungsfenster ein.
    2. Wählen Sie Benutzerdefinierte Einstellungen erstellen (für Codeentwickler) aus, und klicken Sie dann auf Weiter.
    3. Wählen Sie Einzelne Einstellungen aus einer vollständigen Liste auswählen aus.
    4. Wählen Sie Power Framework Delay Fuzzing (überprüfen) aus.
    5. Starten Sie den Computer neu.