だんだん問題が見えてきた。用心しなきゃならないのは、awaitをlockで囲んでしまわないことと
async void のケースで、完了を待たないという事をしっかりと理解しておく事だな
待たないから、awaitを使って書かれたコードより先にそれを囲っているfinallyを実行してしまう
前者にしても後者にしても、サブルーチンやイベント呼び出しに含まれていたりするケースはバグが潜在しやすいね
こりゃ、初心者に啓蒙活動するもの大変だ
後でアンチパターン集作らないと・・・どっかサイト作っている人いないかな、作るのメンドイ