WindowsのPagedPoolとNonPagedPoolの最大値を確認する

ページプールと非ページプールの最大値がいくつに設定されているかを確認する方法。

MicrosoftのページからDebugging Tools for Windowsをダウンロードしてインストールする。多分ホスト再起動は必要ない。

MicrosoftのページからProcess Explorerをダウンロードする。ダウンロードしたファイルを解凍して、フォルダ中のにある.exeを実行すれば使用できる。

ProcessExplorerを起動して、メニューの「Options」→「Configure Symbols」をクリックする。
Dbghelp.dll path:に上でインストールしたDebugging Tools for Windowsのdbghelp.dllのパスを指定する。
My環境では
C:\Program Files\Debugging Tools for Windows (x86)\dbghelp.dll

Symbols path:には
srv*c:\symbols*http://msdl.microsoft.com/download/symbols
みたいに指定する。この場合、c:\symbolsにシンボルがダウンロードされることになる。

メニューの「View」→「System Information」をクリックするば
Kernel MemoryのPaged LimitとNonpaged Limitが見れる（初回はシンボルのダウンロードがあるので、少しだけ起動に時間がかかる）。