November 2023
Intermediate to advanced
236 pages
3h 24m
Japanese
チャネル(channel)はスレッド間でデータを送受信するために用いる機構で、さまざまなバリエーションがある。1送信者1受信者でしか使えないものもあるし、任意の数の送信スレッドから利用できるものもあるし、さらには複数の受信者で利用できるものもある。ブロッキングのもの、つまり受信が(場合によっては送信も)ブロッキング操作になっているものもある。この場合操作が終了するまでスレッドはブロックする。スループットに最適化されたものもあるしレイテンシに最適化されたものもある。
バリエーションは無限にあり、すべてのケースに適しているような実装はない。
本章では、いくつかの単純なチャネルを実装する。これはアトミックの用途を示すためだけではなく、我々の求めることや想定することをRustの型システムで表す方法を学ぶためでもある。
基本的なチャネルの実装にはアトミックに関する知識は必要ない。実装には、VecDequeを用いて、これをMutexで保護して複数のスレッドからアクセスできるようにすればいい。VecDequeは基本的にはVecと似たもので、先頭と末尾の双方に効率的に要素を追加/削除できる。次に、VecDequeを送信されていていまだ受信されていないデータ(メッセージとも呼ばれる)のキューとして用いる。メッセージを送信したいスレッドは、キューの末尾にメッセージを追加し、メッセージを受信したいスレッドは、キューの先頭からメッセージを削除して取り出す。
もう1つ、受信操作をブロッキングにするために追加しなければならないものがある。新しいメッセージを待っている受信スレッドに通知を送るためのCondvar(「1.8.2 条件変数」を参照)だ。 ...
Read now
Unlock full access