Rust 134 メモリと並行性 - 複数のスレッドが同じバイト列に触れるとき

第134章へようこそ。第133章で、借用チェッカーをメモリの視点で再訪しました。不変参照の共有、可変参照の排他性、ライフタイムの検証。すべてがメモリのバイト列を正しく読み書きするための規則でした。しかし、第133章の議論には暗黙の前提がありました。実行の流れが1つであるという前提です。今日のテーマは「メモリと並行性」です。実行の流れが複数ある場面を見ます。第42章でSendとSyncを学びました。第43章でMutexを学びました。第128章でArcのメモリ構造を見ました。これらを、メモリの姿が見える目で読み直します。1つのスレッドが1つのメモリ領域を読み書きしているとき、借用チェッカーが安全を保証する。複数のスレッドが同じメモリ領域に触れようとするとき、何が起きるのか。そして何がそれを防ぐのか。