5 分でやる Rust Concurrency in Ac0on @syu_cream

わたしはだれ •  @syu_cream – ウェッブサービスの裏側を支える技術者 – 趣味でmrubyの薄い本やC++のコード書いてます

今日のお話 •  Rust でマルチスレッドプログラミングするのって •  C++ でやるより楽だよねというはなし •  時間も限られてるし mutex についてのみ •  題材としてスレッド毎にvectorに要素追加してみる –  GitHub に今日話すソースコードあります –  h

C++ で書く場合(データ競合起こす版) •  コンパイルは通る – ただし未定義動作になる

C++ で書く場合 •  ロックを取ることでデータ競合を避ける

Rust で書く場合(データ競合起こす版1) •  コンパイルが…

Rust で書く場合(データ競合起こす版1) •  コンパイルが…通らない！ – 複数のスレッドに変数をborrowしようとしてるため

Rust で書く場合(データ競合起こす版2) •  じゃあ Arc で参照をcloneしてborrowしよう！ •  これでコンパイルが…

Rust で書く場合(データ競合起こす版2) •  じゃあ Arc で参照をcloneしてborrowしよう！ •  これでコンパイルが…通らない！ – Arc の変数は複数スレッドから変更できない

Rust で書く場合 •  Mutex を使う！ – lock() でロックを取って変更する

マルチスレッドプログラミングにおける C++ vs Rust •  C++ –  C++11以降ならthread,mutexが標準で使えて便利 –  データ競合についてはプログラマが気をつける必要あり •  Rust –  データ競合が起こる場合コンパイル時にエラーになる

Rustでも競合状態は避けきれない •  以下のコードはデッドロックを起こす…

まとめ •  Rust でマルチスレッドプログラミングするのって –  コンパイル時のチェックが手厚いので •  C++ でやるより楽だよねというはなし –  ただし万能なわけではないよ