▼Google日本語入力を使っていると
Opera11.10がフリーズしたので
タスクマネージャーで強制終了した。
ページファイルが 3926M/4826M を示している。
32ビットOSだというのにこんなに積みあがっている。
ある発見をした。タスクマネージャーで強制終了しても
Opera11.10が使用していると思われる、
約2500M程のページファイルを開放してくれない。
▲これはMS-Windowsの重要な仕様バグだと思いたい。