Rust 036 スレッド - 独立した実行の流れ

第36章へようこそ。今日から、並行処理を扱う一連の章に入ります。最初のテーマは「スレッド」です。スレッドは、プログラムの中で独立して進む実行の流れのことです。1つのプログラムが複数の流れを同時に持つと、別々の処理が並行して進む。並行処理は、所有権の規律が新しい場面に置かれる領域です。これまで所有権は、1つの実行の流れの中で、値がいつ生きていつ解放されるかを決めてきました。スレッドが増えると、値が2つ以上の流れにまたがる可能性が出てくる。値が流れをまたぐとき、誰がそれを所有し、いつ解放するかを決める規律が要る。Rustはこれを、型と所有権の規律で扱います。今日扱うのは、スレッドの生成、スレッドの終了を待つ仕組み、そして、なぜスレッドに渡す値は所有権ごと渡さなければならないのか、という核心です。