>プロならPOOL_DEFAULTが当然。
>なんかおきたらPOOL_DEFAULTのリソースを解放後にResetを行う。
>Resetが失敗したときに初めてデバイスを最初から作り直し。
こうやってみるとデバイスロストも大して対応難しくないな