Fuzzing der Power Framework-Verzögerung

Die Power Framework Delay Fuzzing-Option zufälligisiert 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 das Power Management Framework (PoFx) nicht direkt nutzen.

Anmerkung Diese Option ist ab Windows 8 verfügbar.

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

Die meisten Treiberroutinen werden erneut und gleichzeitig ausgeführt. Parallelitätsfehler sind berüchtigt dafür, schwer zu finden zu sein. Fehler können Deadlocks und Race Conditions 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 Delay Fuzzing-Option erhöht die Wahrscheinlichkeit von Wettlaufbedingungen, die während der Ausführung auftreten, indem zufällige Verzögerungen bei verschiedenen Power API-Funktionsaufrufen eingefügt werden. Wenn beispielsweise eine Rennbedingung zu einem Fahrer führt, der nach dem Abbruch auf IRP zugreift, erhöht die Option "Power Framework Delay Fuzzing" die Wahrscheinlichkeit dieser Rennbedingung so, dass Driver Verifier den Fehler während des Tests erkennt. Die Power Framework Delay Fuzzing-Option erweitert die Leistungsfähigkeit und Nützlichkeit von Driver Verifier.

Aktivieren dieser Option

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

Anmerkung Die Power Framework Delay Fuzzing-Option erhöht die Wahrscheinlichkeit, dass zur Laufzeit Racebedingungen auftreten, indem sie zufällige Verzögerungen bei verschiedenen Power API-Funktionsaufrufen einfügt. 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 das Power Framework Delay Fuzzing durch Verifier /flags 0x00008000 (Bit 15) dargestellt. Um Power Framework Delay Fuzzing zu aktivieren, verwenden Sie einen Flag-Wert von 0x00008000 oder fügen Sie 0x00008000 zum Flag-Wert hinzu. Beispiel:

  verifier /flags 0x00008000 /driver MyDriver.sys
  

  Das Feature wird 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 aus einer vollständigen Liste "Einzelne Einstellungen" aus.
  4. Aktivieren (überprüfen) Sie die Power Framework-Verzögerungs-Fuzzing.
  5. Starten Sie den Computer neu.