買這商品的人也買了...
-
Linux Device Driver Programming 驅動程式設計$690$538 -
無瑕的程式碼－敏捷軟體開發技巧守則 (Clean Code: A Handbook of Agile Software Craftsmanship)$580$452 -
精通 Linux 內核網絡 (Linux Kernel Networking: Implementation and Theory)$594$564 -
深入理解計算機系統, 3/e (Computer Systems: A Programmer's Perspective, 3/e)$834$792 -
$602嵌入式 C語言自我修養 — 從芯片、編譯器到操作系統 -
機器人 SLAM 導航：核心技術與實戰$894$849 -
雷達目標檢測與恆虛警處理, 3/e$768$730 -
四足仿生機器人基本原理及開發教程$456$433 -
$653計算 -
嵌入式虛擬化技術與應用：ACRN開源專案實踐$594$564 -
多模式移動操作機器人$708$673 -
$806軟體機器人原理、設計及應用 -
$760無線AI應用：無線感測、定位、物聯網與通訊 -
Linux 核心除錯實務 (Linux Kernel Debugging: Leverage proven tools and advanced techniques to effectively debug Linux kernels and kernel modules)$800$600 -
AUTOSAR 與汽車控制器軟件開發$534$507
相關主題
商品描述
內容簡介
本書由資深虛擬化專家撰寫，輔以大量驗證式案例，提供參考源碼。
本書從解讀虛擬化技術、Hypervisor產品著手，之後深入剖析嵌入式Hypervisor的架構、設計與實現、進階應用。
閱讀本書，不僅能提升讀者對嵌入式Hypervisor的認知，還能幫助汽車、
航空航太等高安全需求產業打造適用的產品，建構基於Hypervisor的軟體生態。
全書共15章，從邏輯上分為三個部分。
第一部分（第1～2章）介紹Hypervisor基礎，涵蓋虛擬化技術與實作、
主流的嵌入式Hypervisor產品，以及基於分離核心的嵌入式Hypervisor等內容。
第二部分（第3～12章）介紹嵌入式Hypervisor的設計與實現，涵蓋嵌入式Hypervisor架構與核心元件、中斷隔離技術、記憶體隔離技術、
循環表調度器、健康監控、分區間通訊技術、核心資源管理模型、系統初始化過程、核心服務、PRTOS的配套工具等內容。
第三部分（第13～15章）介紹嵌入式Hypervisor的高階應用與PRTOS未來規劃，
涵蓋μC/OS-II與Linux核心的虛擬化過程以及PRTOS社群的願景等內容。
目錄大綱
目錄
前言
第1章 Hypervisor概述 / 1
1.1 虛擬化技術與實現 / 1
1.1.1 CPU虛擬化 / 2
1.1.2 I/O虛擬化 / 5
1.1.3 為什麼需要虛擬化技術 / 6
1.1.4 虛擬化的實作 / 8
1.2 面向桌面和企業雲的Hypervisor 類型和產品 / 13
1.3 嵌入式Hypervisor / 14
1.3.1 嵌入式Hypervisor概述 / 14
1.3.2 嵌入式Hypervisor的設計理念 / 16
1.4 主流的嵌入式Hypervisor 產品 / 19
1.4.1 國外RTOS廠商的Hypervisor產品 / 19
1.4.2 開源嵌入式Hypervisor產品 / 22
1.4.3 國內RTOS 廠商的Hypervisor 產品 / 24
1.5 本章小結 / 24
第2章 基於分離內核的嵌入式Hypervisor / 25
2.1 分區與分離核心 / 25
2.2 嵌入式Hypervisor的實作方式 / 28
2.2.1 基於分離內核的Hypervisor實作 / 29
2.2.2 基於RTOS擴展的Hypervisor實作 / 29
2.2.3 模組化開放軟體解決方案 / 30
2.3 PRTOS Hypervisor / 31
2.3.1 PRTOS Hypervisor的架構 / 31
2.3.2 PRTOS對處理器的功能需求 / 34
2.3.3 PRTOS Hypervisor的多核心支援 / 34
2.3.4 PRTOS的安全性和可預測性 / 35
2.3.5 PRTOS系統的狀態轉換流程 / 36
2.4 本章小結 / 40
第3章 嵌入式Hypervisor元件設計 / 41
3.1 硬體依賴層 / 41
3.1.1 硬體資源虛擬化 / 41
3.1.2 處理器驅動 / 43
3.1.3 時鐘驅動 / 46
3.1.4 定時器驅動 / 48
3.1.5 中斷控制器驅動 / 50
3.1.6 頁式記憶體管理驅動 / 54
3.1.7 控制台驅動 / 57
3.1.8 分區上下文切換 / 58
3.2 虛擬化服務層 / 59
3.2.1 虛擬中斷服務 / 59
3.2.2 虛擬時鐘與虛擬定時器服務 / 59
3.2.3 虛擬記憶體管理服務 / 60
3.2.4 虛擬設備管理服務 / 61
3.2.5 健康監控管理服務 / 61
3.2.6 虛擬處理器調度服務 / 62
3.2.7 分區管理服務 / 63
3.2.8 分區間通訊服務 / 64
3.2.9 超級呼叫派發服務 / 65
3.2.10 追蹤管理服務 / 66
3.3 內部服務層 / 66
3.3.1 KLIBC / 66
3.3.2 分區引導程式 / 67
3.3.3 佇列操作資料結構 / 67
3.4 超級呼叫介面函數庫 / 69
3.5 本章小結 / 69
第4章 中斷隔離技術的設計與實作 / 70
4.1 中斷模型 / 70
4.2 核心中斷設計 / 72
4.3 分區中斷設計 / 74
4.3.1 分區中斷處理流程 / 75
4.3.2 分區陷阱表的初始化 / 76
4.3.3 分區中斷描述子表的初始化 / 77
4.4 虛擬時鐘與虛擬定時器 / 78
4.4.1 虛擬時鐘 / 78
4.4.2 虛擬定時器 / 81
4.5 BAIL / 84
4.5.1 BAIL概述 / 84
4.5.2 裸機應用範例 / 85
4.6 實驗：虛擬時鐘與虛擬定時器範例 / 87
4.6.1 分區0的裸機應用 / 88
4.6.2 分區1的裸機應用 / 89
4.7 本章小結 / 91
第5章 記憶體隔離技術的設計與實作 / 92
5.1 PRTOS核心的工作模式 / 92
5.1.1 X86處理器的特權模式 / 93
5.1.2 PRTOS核心與分區的實作方式 / 93
5.1.3 PRTOS內核空間的初始化 / 93
5.2 處理器的記憶體管理模型 / 96
5.2.1 PRTOS的虛擬位址空間分配 / 97
5.2.2 PRTOS分區記憶體的虛擬化 / 98
5.2.3 PRTOS分區記憶體的虛擬化實作 / 99
5.3 PRTOS記憶體管理的虛擬化 / 102
5.4 實驗：分區記憶體隔離範例 / 104
5.4.1 分區0的裸機應用 / 106
5.4.2 分區1的裸機應用 / 106
5.4.3 分區2的裸機應用 / 107
5.5 本章小結 / 109
第6章 循環表調度器的設計與實作 / 110
6.1 PRTOS調度器概述 / 110
6.1.1 單處理器調度策略 / 110
6.1.2 多處理器調度策略 / 113
6.2 循環表調度器的資料結構與實作 / 115
6.2.1 核心執行緒資料結構 / 115
6.2.2 Per-CPU資料結構 / 120
6.2.3 調度器框架 / 121
6.2.4 循環表調度器的實作 / 123
6.2.5 核心執行緒上下文的切換 / 126
6.3 分區與虛擬處理器管理 / 128
6.4 實驗：分區調度範例 / 129
6.4.1 單核心多分區調度策略範例 / 130
6.4.2 多核心多分區調度策略範例 / 133
6.5 本章小結 / 135
第7章 健康監控的設計與實現 / 136
7.1 健康監控的目的 / 136
7.2 健康監控的實現 / 137
7.2.1 健康監控事件 / 138
7.2.2 健康監控行為 / 139
7.2.3 健康監控配置 / 140
7.2.4 健康監測日誌 / 143
7.3 分層健康監控的實現 / 144
7.3.1 Hy
