特別なプールの構成
Gflags の特別なプール機能は、メモリが特別なプール タグを使用して割り当てられているか、指定されたサイズ範囲内である場合に、予約されたメモリ プールからのメモリ割り当てを要求するように Windows に支持します。
この機能の詳細については、「特別なプール」を参照してください。
Windows Vista 以降のバージョンの Windows では、システム全体のレジストリ設定として、または再起動を必要としないカーネル フラグ設定として、特別なプール機能を構成できます。 それ以前のバージョンの Windows では、特別なプールはレジストリ設定としてのみ使用できます。
Windows Vista 以降のバージョンの Windows では、コマンド ラインを使用して、プール タグで特別なプールを要求することもできます。 詳細については、「GFlags コマンド」を参照してください。
このセクションには、次のトピックがあります。
注 特定のドライバーによる割り当て用に特別なプールを要求するには、ドライバー検証ツールを使用します。 詳細については、Windows Driver Kit (WDK) の「ドライバー検証ツール」セクションにある「特別なプール」のトピックを参照してください。