Windows10 - トラブルシュート - WMI Provider Host がやたら重い

1.　概要

2.　対策

1.　概要

　「Windows10」を操作していて、やたら重いときがあります。
　タスクマネージャを見てみると、「WMI Provider Host」とかいうのが、ぶんぶん、ぶん回っていることがあります。
　（下の例は、特にそういう状況でもない）

　本ページは、下記のサイトを参考にさせていただきました。

「WMI Provider Host (wmiprvse.exe)とは何？なぜ大量のCPU資源を占有するのか」


2.　対策

　何が起きているのかは、参考サイトを読んでいただくとして。
　システムの再起動で、解消することはありますが。
　参考サイトによれば、サービスを再起動することで、解消することもあるらしいです。

　Win+R で「ファイル名を指定して実行」を開いて、
　「services.msc」と入力して Enter

　「サービス」が開きます。
　「Windows Management Instrumentation service」中のを見つけて、右クリック。
　「再起動」します。

　まぁ、解消しないことも多いですけどね。
　そういうときは、結局、システム自体を再起動します。