Monitoring Individual Counters

Individual counters are statistics which monitor some of the actions that Driver Verifier performs on drivers. These statistics are kept separately for each driver being verified.

Individual counters can be viewed by using the Verifier Command Line, or by using Driver Verifier Manager.

Verifier Command Line

To view individual counters, use the verifier /query command. This will show both individual counters and global counters.

Individual counters are also included in Driver Verifier log files.

Driver Verifier Manager

To view individual counters, start Driver Verifier Manager and select the Display information about the currently verified drivers task. Then press Next three times.

Finally, select the desired driver from the drop-down box.

Explanation of Individual Counters

Individual counters monitor statistics related to the Pool Tracking option. They will all be zero if this option is not active.

These statistics are divided into two sections: Paged Pool and Nonpaged Pool. For each type of memory pool, the following four counters are shown:

Current Number of Allocations
The current number of individual allocations made by the specified driver from this type of memory pool.

Peak Number of Allocations
The greatest number of individual allocations made at any single time since the last boot by the specified driver from this type of memory pool.

Current Bytes Allocated
The current number of bytes allocated to the specified driver from this type of memory pool.

Peak Bytes Allocated
The greatest number of bytes allocated at any single time since the last boot to the specified driver from this type of memory pool.

Allocations whose size is one page or larger are not tracked by Pool Tracking and cannot be allocated from the special pool. These individual counters do not reflect these large allocations. A count of all such allocations can be seen in the global counters.