Freigeben über

Empfehlungen für die Problembehandlung bei der statischen Treiberüberprüfung

  • Artikel

Wenn Sie Static Driver Verifier (SDV) auf Ihrem Treiber-Quellcode ausführen und SDV Timeout, GiveUp oder Spaceout meldet, versuchen Sie die folgenden Maßnahmen:

  • Die folgenden Empfehlungen erfordern Änderungen an den SDV-Konfigurationseinstellungen. Sie können die Konfigurationseinstellungen direkt in Static Driver Verfier auf der Registerkarte Configure unter Resources oder in einer Static Driver Verifier Options File, Sdv-defaults.xml festlegen. Die Standardoptionsdatei ist spezifisch für das Treibermodell und befindet sich im Verzeichnis \tools\sdv\data\model\, wobei model für WDM, WDF, NDIS oder Storport steht.
    1. Wenn Ihr Computer über einen Mehrkernprozessor verfügt, reduzieren Sie die Anzahl der Threads, die während der Überprüfung verwendet werden, auf 1. Wählen Sie in der Gruppe Ressourcen auf der Registerkarte Configure die Option 1 aus der Dropdown-Liste. Ändern Sie in der Datei SDV defaults den Wert für SDV_SlamConfig_NumberOfTheads auf 1.
    2. Wenn SDV eine Zeitüberschreitung meldet, erhöhen Sie die Zeitüberschreitungsgrenze. Dieser Wert begrenzt die Zeit, die SDV für die Überprüfung einer Regel benötigt. Der Standardwert ist 50 Minuten (3000 Sekunden). In der Gruppe Ressourcen auf der Registerkarte Configure können Sie die Einstellung anpassen, indem Sie die Maximale Zeit (Minuten) ändern. In der Optionsdatei können Sie den Wert SDV_SlamConfig_Timeout ändern. Das Minimum ist 10(Sec) und das Maximum ist 86400(Sec). Sie könnten zum Beispiel den Wert für SDV_SlamConfig_Timeout auf 6000 verdoppeln.
  • Wenn keiner dieser Vorschläge zur Lösung des Problems beiträgt, versuchen Sie, sie alle zusammen anzuwenden.

Hinweis Diese Techniken verlängern die tatsächliche Dauer eines Laufs, aber sie machen es SDV auch leichter, seine Arbeit zu beenden und ein brauchbares Ergebnis (bestanden oder fehlerhaft) zu erzielen.