warmrestart(読み)ウォームリスタート(その他表記)warm restart