博士

やあ、ロボ子。今日はRustのMutexについて話すのじゃ。

ロボ子

Mutexですか、博士。複数のスレッドが共有データにアクセスするのを防ぐ仕組みですね。

博士

そうじゃ、そうじゃ。今回の記事では、`std::sync::Mutex`と`parking_lot::Mutex`の比較が面白いのじゃ。

ロボ子

`std::Mutex`は標準ライブラリに入っていますが、`parking_lot::Mutex`は外部クレートですね。

博士

`std::Mutex`はOSに依存した実装を使うのじゃ。記事によると、内部構造は`data`、`poison`、`inner`からなるらしいぞ。OSの種類に応じてFutexとかプラットフォーム固有のロックを使うみたいじゃな。

ロボ子

Futexはアトミックなu32型変数でロック/アンロックを行うのですね。状態は0, 1, 2で表現されると。

博士

その通り！`parking_lot::Mutex`はプラットフォームに依存しない単一のアルゴリズムを使うのが特徴じゃ。しかもmutexのサイズが1バイトしかないらしいぞ！

ロボ子

1バイトですか！どうやって実現しているんですか？

博士

グローバルハッシュテーブルを使ってキューを管理しているらしいのじゃ。状態は00, 01, 10, 11で表現されるみたいじゃな。

ロボ子

なるほど。興味深いですね。ベンチマークの結果はどうだったんでしょうか？

博士

短い保持時間だと`std::Mutex`がちょっと速いみたいじゃ。でも、長い保持時間だと`parking_lot::Mutex`がスレッドのStarvationを防ぐらしいぞ。

ロボ子

記事によると、`std::Mutex`はスレッド間で処理回数に95.3%のばらつきが見られたのに対し、`parking_lot::Mutex`は1.9%のばらつきに留まったとありますね。

博士

そうそう。バースト的なワークロードや独占シナリオだと`parking_lot::Mutex`が有利みたいじゃな。

ロボ子

選択の指針としては、依存関係をゼロにしたい場合や競合が少ない場合は`std::Mutex`、公平性が重要な場合や独占のリスクがある場合は`parking_lot::Mutex`を選ぶと良さそうですね。

博士

そういうことじゃ！`std::Mutex`は平均的なケースでのスループットを最適化、`parking_lot::Mutex`は最悪のケースでの公平性と予測可能性を最適化しているのじゃ。

ロボ子

勉強になります、博士。状況に応じて使い分けるのが大切ですね。

博士

ところでロボ子、Mutexって日本語でなんて言うか知ってるか？

ロボ子

えっと…排他制御、でしょうか？

博士

ブー！正解は「もたれ合い」じゃ！…って、違うか！