作って理解する仮想化技術 ハイパーバイザを実装しながら仕組みを学ぶ

森真誠/著 品川高廣/監修

発売日:2025年10月

  • 作って理解する仮想化技術 ハイパーバイザを実装しながら仕組みを学ぶ
  • 作って理解する仮想化技術 ハイパーバイザを実装しながら仕組みを学ぶ
ページ数
321p
ISBN
978-4-297-15012-9
著者情報
森 真誠(モリ マナミ)
小学生時代からプログラミングに興味を持ち、OSからデスクトップアプリなど幅広いレイヤのプログラミングを趣味で行う。大学生のときにAArch64向けの軽量ハイパーバイザ「MilvusVisor」の実装に従事。また、セキュリティ・キャンプ全国大会での講師や世界的に権威あるカンファレンスの一つであるBlack Hat Eurpose 2024で機密仮想マシンに関する講演などを経験

品川 高廣(シナガワ タカヒロ)
東京大学大学院情報理工学系研究科 教授。オペレーティングシステムや仮想化技術、コンピュータセキュリティ等を専門とし、次世代の安全で高性能なシステム基盤の研究開発に取り組んでいる。国産ハイパーバイザ「BitVisor」のチーフアーキテクトとして設計を主導し、その成果を応用した製品「vThrii Seamless Provisioning」の開発にも貢献している。仮想化技術の研究成果により、令和2年度科学技術分野の文部科学大臣表彰「科学技術賞」を受賞した

¥3,520 税込

16 nanacoポイント

16 セブンマイル

セブン-イレブン受取り(送料無料)

発送目安

発売日(発売日以降は当日)~2日で発送

宅配(送料¥550税込)

発送目安

発売日(発売日以降は当日)~2日で発送

交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。

商品説明

物理デバイスと仮想デバイスの両面から仮想マシンの中身に迫る。Rust言語を用い、ステップアップ方式で実装。ブートローダからの起動に始まり、複数の仮想マシンが動作するまでを解説。

仮想化技術はいたるところで利用されています。クラウドサービスなどで、自由度の高いサーバ環境を即座に利用できるのは仮想化技術があってこそです。ソフトウェアで疑似的にマシンを再現したものを仮想マシンと呼び、仮想マシンを実現するソフトウェアをハイパーバイザと呼びます。

本書では、ハイパーバイザをステップアップ式に実装していくことで、ハイパーバイザによる仮想化技術がどのように実現されているのかを理解していきます。ハードウェアデバイスを操作する側、操作される側の両方の実装を行うことで、仮想化技術と密接に関係している低レイヤの技術を深く理解できます。

目次

第1章 仮想マシンとハイパーバイザ
 1.1 仮想マシンとはなんだろう
 1.2 ハイパーバイザの目的とメリット
 1.3 Type1ハイパーバイザとType2ハイパーバイザ
 1.4 仮想化支援機能とは
 1.5 Type1ハイパーバイザを開発する流れ
 1.6 開発環境の構築
 1.7 本書で使用する仕様書について

第2章 起動してメッセージを出せるようにする
 2.1 何もしないソフトウェアを起動しよう
 2.2 DTBを解析しよう
 2.3 文字を出そう

第3章 CPUの仮想化支援機能を使ってみる-メモリを仮想化する
 3.1 何もしない仮想化をしよう
 3.2 メモリ管理をしよう
 3.3 メモリの仮想化をしよう

第4章 割り込みの仕組みと仮想デバイスを作る
 4.1 割り込みのセットアップをしよう
 4.2 ページフォルトの原因を解析しよう
 4.3 仮想PL011デバイスを実装しよう

第5章 割り込みコントローラを制御し、デバイス割り込みを可能にする
 5.1 割り込みを制御するデバイスを初期化しよう
 5.2 PL011の割り込みを受け取ろう

第6章 ファイルの読み書きをできるようにする
 6.1 Virtio-Blkを制御しよう
 6.2 ファイルシステムを実装しよう

第7章 初めての仮想マシンを実装する
 7.1 VM構造体を実装しよう
 7.2 VMを起動してみよう

第8章 Linuxが動作するようにする
 8.1 GICv3の仮想化をしよう
 8.2 仮想タイマを提供しよう
 8.3 仮想PL011を改良しよう
 8.4 Virtio-Blkデバイスを実装しよう

第9章 複数のCPUコアを動作させる
 9.1 コアの起動をしよう
 9.2 ロック機構を実装しよう

ほか

商品詳細

出版社名
技術評論社
サイズ
23cm
対象年齢
一般
フォーマット
単行本

注意事項

本の帯に関して
帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。
版・表紙について
版・表紙(カバー)のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典(初回特典、初回仕様特典)がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。

あなたへのおすすめ