スレッドについて勉強。キャンセルにはやはりinterruptを使うのが妥当だという話なのですが、協調動作しかできないあたりが悩みどころという感じ。なかなかキャンセルは難しいということですね。