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アトミック操作とロック ―並行処理実装のための低レイヤプログラミング

8章OSプリミティブ

これまでは、ほとんどノンブロッキングな操作のみに焦点を当ててきた。しかし、Mutexや条件変数のように、他のスレッドがアンロックもしくは通知してくれるのを待機するものを実装したければ、効率的に現在のスレッドをブロックする方法が必要だ。

「4章 スピンロックの実装」で説明したように、OSの助けがなくてもスピンすることで実装することもできるが、スピンでは条件の確認を何度も繰り返し行うため大量のプロセッサ時間を簡単に浪費してしまう。効率的にブロックするには、OSのカーネルの助けが必要だ。

カーネル(正確にはカーネルの一部であるスケジューラ)は、プロセスもしくはスレッドが、いつ、どのくらいの長さ、どのプロセッサコアで実行されるかを決定する役割を果たす。スレッドが、何かが起こるのを待っている間は、カーネルはそのスレッドにプロセッサ時間を割り当てるのをやめ、他のスレッドを優先して貴重な資源を有効に利用できるようにする。

カーネルのこの機能を利用するには、カーネルに対してあるスレッドが何かを待っていることを知らせ、その何かが発生するまでスレッドをスリープさせるように依頼する方法が必要になる。

8.1 カーネルとのインターフェイス

カーネルとやり取りする方法はOSによって大きく異なるし、OSのバージョンによって異なる場合もある。一般に、OSとのやり取りはライブラリの背後に隠れていて詳細は見えない。例えば、Rustの標準ライブラリを用いると、OSのカーネルインターフェイスの詳細を知らなくても、File::open()を呼ぶだけでファイルをオープンできる。同様にCの標準ライブラリlibcを用いると、標準関数fopen()を呼ぶだけでファイルをオープンできる。このような関数を呼び出すと、最終的にはOSカーネル呼び出し、すなわち ...

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