Нечеткое выполнение задержки в Power Framework

Примечание

Эта проверка является устаревшей начиная с Windows 10 сборки 19042 и более поздних версий

Параметр Задержка нечетких ошибок Power Framework случайным образом определяет расписания потоков для обнаружения ошибок параллелизма в драйверах, использующих платформу управления питанием (PoFx). Этот параметр не рекомендуется использовать для драйверов, которые напрямую не используют платформу управления питанием (PoFx).

Примечание Этот параметр доступен, начиная с Windows 8.

Если выбран параметр , средство проверки драйверов вставляет случайные задержки в различных точках потоков. Параметр Power Framework Delay Fuzzing использует алгоритм, обеспечивающий вероятностные гарантии поиска ошибок в драйверах. Power Framework Delay Fuzzing улучшает традиционные стресс-тесты, где программа тестирования выполняется в течение нескольких дней или даже недель в надежде поймать проблемы, которые могут возникнуть в параллельном выполнении.

Большинство подпрограмм драйвера являются повторными и параллельными. Ошибки параллелизма, как известно, трудно найти. Ошибки могут включать взаимоблокировки и условия гонки, вызванные проблемами синхронизации и неправильным временем между потоками. Стресс-тестирование является традиционным методом тестирования, но он может быть медленным и дорогостоящим, и результаты не всегда воспроизводимы. Параметр Power Framework Delay Fuzzing повышает вероятность появления условий гонки во время выполнения, вставляя случайные задержки при различных вызовах функций POWER API. Например, если состояние гонки приводит к тому, что водитель получает доступ к IRP после его отмены, параметр Power Framework Delay Fuzzing увеличивает вероятность этого состояния гонки таким образом, что средство проверки драйверов обнаружит ошибку во время тестирования. Параметр Power Framework Delay Fuzzing расширяет возможности средства проверки драйверов.

Активация этого параметра

Вы можете активировать функцию задержки нечеткого определения задержки Power Framework для одного или нескольких драйверов с помощью диспетчера проверки драйверов или командной строки Verifier.exe. Дополнительные сведения см. в разделе Выбор параметров средства проверки драйверов. Необходимо перезагрузить компьютер, чтобы активировать или отключить параметр Задержка нечетких данных Power Framework.

Примечание Параметр Power Framework Delay Fuzzing повышает вероятность появления условий гонки во время выполнения, вставляя случайные задержки при различных вызовах функций POWER API. Чтобы эти задержки были более эффективными, вы можете включить этот параметр с другими параметрами средства проверки драйверов. Из-за задержек, которые могут быть введены, вы можете ожидать, что компьютер будет получать более медленные ответы.

• В командной строке

  В командной строке power Framework Delay Fuzzing представлен проверяющим /flags 0x00008000 (бит 15). Чтобы активировать power Framework Delay Fuzzing, используйте значение флага 0x00008000 или добавьте 0x00008000 к значению флага. Пример:

  verifier /flags 0x00008000 /driver MyDriver.sys
  

  Функция будет активна после следующей загрузки.

• Использование диспетчера проверки драйверов

  1. Запустите диспетчер проверки драйверов. Введите Verifier в окне командной строки.
  2. Выберите Создать пользовательские параметры (для разработчиков кода) и нажмите кнопку Далее.
  3. Выберите Выбрать отдельные параметры из полного списка.
  4. Выберите (проверка) Нечеткое выполнение задержки в Power Framework.
  5. Перезагрузите компьютер.