Skip to Content
詳解 Rustアトミック操作とロック ―並行処理実装のための低レイヤプログラミング
book

詳解 Rustアトミック操作とロック ―並行処理実装のための低レイヤプログラミング

by Mara Bos, 中田 秀基
November 2023
Intermediate to advanced
236 pages
3h 24m
Japanese
O'Reilly Japan, Inc.
Content preview from 詳解 Rustアトミック操作とロック ―並行処理実装のための低レイヤプログラミング

5章チャネルの実装

チャネル(channel)はスレッド間でデータを送受信するために用いる機構で、さまざまなバリエーションがある。1送信者1受信者でしか使えないものもあるし、任意の数の送信スレッドから利用できるものもあるし、さらには複数の受信者で利用できるものもある。ブロッキングのもの、つまり受信が(場合によっては送信も)ブロッキング操作になっているものもある。この場合操作が終了するまでスレッドはブロックする。スループットに最適化されたものもあるしレイテンシに最適化されたものもある。

バリエーションは無限にあり、すべてのケースに適しているような実装はない。

本章では、いくつかの単純なチャネルを実装する。これはアトミックの用途を示すためだけではなく、我々の求めることや想定することをRustの型システムで表す方法を学ぶためでもある。

5.1 単純なMutexを用いたチャネル

基本的なチャネルの実装にはアトミックに関する知識は必要ない。実装には、VecDequeを用いて、これをMutexで保護して複数のスレッドからアクセスできるようにすればいい。VecDequeは基本的にはVecと似たもので、先頭と末尾の双方に効率的に要素を追加/削除できる。次に、VecDequeを送信されていていまだ受信されていないデータ(メッセージとも呼ばれる)のキューとして用いる。メッセージを送信したいスレッドは、キューの末尾にメッセージを追加し、メッセージを受信したいスレッドは、キューの先頭からメッセージを削除して取り出す。

もう1つ、受信操作をブロッキングにするために追加しなければならないものがある。新しいメッセージを待っている受信スレッドに通知を送るためのCondvar「1.8.2 条件変数」を参照)だ。 ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.

Read now

Unlock full access

More than 5,000 organizations count on O’Reilly

AirBnbBlueOriginElectronic ArtsHomeDepotNasdaqRakutenTata Consultancy Services

QuotationMarkO’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.
Julian F.
Head of Cybersecurity
QuotationMarkI wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.
Addison B.
Field Engineer
QuotationMarkI’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.
Amir M.
Data Platform Tech Lead
QuotationMarkI'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
Mark W.
Embedded Software Engineer

You might also like

データ保護完全ガイド ―あらゆるデータの保全と回復を可能にする

データ保護完全ガイド ―あらゆるデータの保全と回復を可能にする

W. Curtis Preston, 佐野 泰之, 池田 祥孝
作って動かすALife ―実装を通した人工生命モデル理論入門

作って動かすALife ―実装を通した人工生命モデル理論入門

岡 瑞起, 池上 高志, ドミニク チェン, 青木 竜太, 丸山 典宏

Publisher Resources

ISBN: 9784814400515Publisher Website