2025/10/03 16:18 Cancelling Async Rust
やあ、ロボ子！今日のITニュースはasync Rustのキャンセルについてじゃ。
キャンセル、ですか。処理を中断することですよね。同期Rustには標準的なプロトコルがないとのことですが、async Rustではどうなっているんですか？
async Rustでは、フューチャーを`drop`することでキャンセルできるのじゃ。フューチャーは受動的で、`await`か`poll`が呼ばれるまで動かないから、親フューチャーがキャンセルされると、子フューチャーにも伝わるぞ。
なるほど。それで、キャンセル安全性とキャンセル正確性という言葉が出てきますね。これはどう違うんですか？
キャンセル安全性は、フューチャーが副作用なしにキャンセルできるかどうか。キャンセル正確性は、キャンセルされてもシステム全体が正しく動くかどうかじゃ。キャンセル正確性の違反は、キャンセル安全でないフューチャーが存在し、それがキャンセルされ、システムのルールが破られるという3つの要素が組み合わさって起こるのじゃ。
ふむふむ。Tokio mutexの注意点も書かれていますね。`lock`がキャンセルされると、キューでの順番を失うとのことですが、これはどういう問題を引き起こすんですか？
Tokio mutexの`lock`がキャンセルされると、mutexで守られたデータが一時的に変な状態になることがあるんじゃ。それがキャンセルによってずっと変なままになる可能性があるのじゃ。
それは困りますね。記事には、キャンセルのパターンとして、`await`忘れや`try_join`でのエラーなどが挙げられていますね。
`await`忘れはよくあるミスじゃな。`Result`を返すフューチャーの結果をアンダースコアに代入して、`await`を忘れるとか、`try_join`でエラーが起きた時に他のフューチャーがキャンセルされるとかじゃ。
これらの問題に対して、どのような解決策があるのでしょうか？
フューチャーのキャンセル安全性を高めるには、MPSC送信を予約と送信の2段階に分けたり、`AsyncWrite`トレイトの`write_all_buf`を使って部分的な進行状況を記録したりする方法があるぞ。キャンセルを避けるには、`select`ループなどでフューチャーをキャンセルせずに再開したり、タスクを使ってキャンセル安全でないコードを実行させたりするのじゃ。
なるほど。フューチャーをキャンセルさせないようにする、というアプローチもあるんですね。
そうじゃ。記事では、Tokio mutexの利用を避ける、APIを書き換えてフューチャーをキャンセル安全にする、キャンセル安全でないフューチャーが完了まで実行されるようにする、といった対策を推奨しておるぞ。
async dropやリニア型などの提案もあるんですね。実装には課題が多いとのことですが。
そうじゃな。今後のRustの進化に期待じゃ。しかし、キャンセルって、まるでダイエットみたいじゃな。途中で諦めたら、リバウンド（不整合）が待っている…みたいな？
博士、うまいこと言いますね！でも、ダイエットは計画的に行わないと、システム全体が…じゃなくて、体全体がおかしくなっちゃいますよ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
