計算機操作系統(tǒng)實驗指導——基于RISC-V代理內(nèi)核(在線實訓版)
定 價:46 元
- 作者:華中科技大學計算機科學與技術學院
- 出版時間:2024/5/1
- ISBN:9787115638809
- 出 版 社:人民郵電出版社
- 中圖法分類:TP316
- 頁碼:145
- 紙張:
- 版次:01
- 開本:16開
本書為基于RISC-V代理內(nèi)核的計算機操作系統(tǒng)實驗教材,實驗分為設計基礎實驗和挑戰(zhàn)實驗兩個部分,主要內(nèi)容包括RISC-V體系結(jié)構、PKE實驗和實驗環(huán)境配置、中斷處理、內(nèi)存管理、進程管理、文件系統(tǒng)。本書采用RISC-V代理內(nèi)核在實現(xiàn)代碼規(guī)模極簡化的同時,也更好地保證可操作系統(tǒng)在概念和功能上的完整性,有助于學生將實驗重點放在操作系統(tǒng)重要概念對應的實現(xiàn)。
本書可作為計算機類、電子信息類相關專業(yè)操作系統(tǒng)課程實驗的教材,也可作為操作系統(tǒng)愛好者參考使用。
(1) 自主可控:面向的是開放的RISC-V指令集,基于該指令集所設計的計算機系統(tǒng)結(jié)構呈現(xiàn)開源和多樣化的特點,不受任何因素干擾。在可預見的未來,64位指令集將會是通用計算環(huán)境的“標配”,也將是學生在未來的職業(yè)生涯中所接觸到的主流指令集。
(2) 代碼極簡:代理內(nèi)核通過RISC-V目標機模擬器Spike所提供的HTIF(Host-Target InterFace)接口實現(xiàn)對設備的操縱和對主機上文件的訪問,這樣可以使得實驗盡量少地牽涉設備細節(jié),把重點盡量放在操作系統(tǒng)重要概念對應的實現(xiàn)上。
(3) 概念完整:實驗包含中斷處理、內(nèi)存管理、進程調(diào)度和文件系統(tǒng)等《操作系統(tǒng)原理》課程所教授的核心內(nèi)容。
(4) 基礎和挑戰(zhàn)并存:將設計基礎實驗和挑戰(zhàn)實驗兩個部分。讀者在完成基礎試驗后,可以選擇自己感興趣的挑戰(zhàn)實驗進一步加深對所學知識的理解。
(5)配套在線實驗,登錄頭歌平臺可進行在線實驗,過程可考核,輕松實現(xiàn)自動評測。
邵志遠,華中科技大學教授、博士。主要從事計算機體系結(jié)構、操作系統(tǒng)、FPGA、并行計算等領域的研究。主持了湖北省自然科學基金、國家自然科學基金、湖北省科技創(chuàng)新重大專項在內(nèi)的多個省級和國家項目。參與973計劃、國家自然科學基金重大研究計劃、國家自然科學基金重點項目等多項國家項目。已在VEE、FPGA、DASFAA等重要學術會議和期刊上發(fā)表學術論文近50篇。獲得國家發(fā)明專利10余項。獲得湖北省科技進步一等獎一項。擔任了多個國際學術會議的程序委員會、程序委員會主席等職務,F(xiàn)為IEEE會員、中國計算機學會會員。
操作系統(tǒng)實驗指導教程
--基于RISC-V代理內(nèi)核
第 1章 RISC-V體系結(jié)構
1.1 RISC-V發(fā)展歷史
1.2 RISC-V匯編語言
1.2.1 寄存器
1.2.2 指令格式
1.2.3訪存和尋址模式
1.2.4 C語言內(nèi)嵌匯編
1.2.5 一個例子
1.3 機器的特權狀態(tài)
1.3.1 機器模式下的CSR
1.3.2 監(jiān)管模式下的CSR
1.3.3 CSR寄存器的讀寫指令
1.4 中斷和中斷處理
1.4.1 中斷的概念與分類
1.4.2中斷向量表
1.4.3中斷處理例程
1.4.4 RISC-V的中斷代理機制
1.5 頁式虛存管理
1.5.1 Sv39中的物理地址與邏輯地址
1.5.2 Sv39中的頁式地址空間管理與頁表
1.5.3 satp、Sv48、TLB和非基礎頁——
第 2章 PKE實驗和實驗環(huán)境配置
2.1 PKE實驗簡介
2.1.1 代理內(nèi)核的工作原理
2.1.2 PKE實驗的構成
2.2構建本地開發(fā)環(huán)境
2.2.1本地開發(fā)環(huán)境的方案選擇
2.2.2安裝支撐軟件
2.2.3 PKE實驗代碼的獲取
2.3使用在線開發(fā)和評測環(huán)境
2.4相關工具軟件
2.4.1 源代碼版本管理工具git
2.4.2 RISC-V交叉編譯器
2.4.3 RISC-V模擬器Spike
2.4.4 Linux文件查看工具file
第3章 中斷處理
3.1 實驗1的基礎知識
3.1.1 RISC-V程序的編譯和鏈接
3.1.2 指定符號的邏輯地址
3.1.3 代理內(nèi)核的構造過程
3.1.4 代理內(nèi)核的啟動過程
3.1.5 ELF文件(app)的加載過程
3.1.6 Spike的HTIF接口
3.2 實驗1系統(tǒng)調(diào)用
3.3 實驗2異常處理
3.4 實驗3 (外部)中斷
3.5 實驗4 挑戰(zhàn)實驗
第4章 內(nèi)存管理
4.1 實驗2的基礎知識
4.1.1 Sv39虛地址管理方案回顧
4.1.2 物理內(nèi)存布局與規(guī)劃
4.1.3 PKE操作系統(tǒng)和應用進程的邏輯地址空間結(jié)構
4.1.4 與頁表操作相關的重要函數(shù)
4.2 實驗1 虛實地址轉(zhuǎn)換
4.3 實驗2 簡單內(nèi)存分配和回收
4.4 實驗3 缺頁異常
4.5 實驗4挑戰(zhàn)實驗
第5章 進程管理
5.1 實驗3的基礎知識
5.1.1 多任務環(huán)境下進程的封裝
5.1.2 進程的啟動與終止
5.1.3 就緒進程的管理與調(diào)度
5.2 實驗1進程創(chuàng)建
5.3 實驗2進程yield
5.4 實驗3循環(huán)輪轉(zhuǎn)調(diào)度
5.5 實驗4挑戰(zhàn)實驗
第6章 文件系統(tǒng)
6.1實驗4的基礎知識
6.1.1 文件系統(tǒng)概述
6.1.2 PKE的文件系統(tǒng)架構
6.1.3 文件系統(tǒng)提供的接口
6.1.4 虛擬文件系統(tǒng)
6.1.5 RFS文件系統(tǒng)
6.2 實驗1文件
6.3 實驗2目錄文件
6.4 實驗3硬鏈接
6.5 實驗4挑戰(zhàn)實驗
操作系統(tǒng)實驗指導教程
--基于RISC-V代理內(nèi)核
第 1章 RISC-V體系結(jié)構
1.1 RISC-V發(fā)展歷史
1.2 RISC-V匯編語言
1.2.1 寄存器
1.2.2 指令格式
1.2.3訪存和尋址模式
1.2.4 C語言內(nèi)嵌匯編
1.2.5 一個例子
1.3 機器的特權狀態(tài)
1.3.1 機器模式下的CSR
1.3.2 監(jiān)管模式下的CSR
1.3.3 CSR寄存器的讀寫指令
1.4 中斷和中斷處理
1.4.1 中斷的概念與分類
1.4.2中斷向量表
1.4.3中斷處理例程
1.4.4 RISC-V的中斷代理機制
1.5 頁式虛存管理
1.5.1 Sv39中的物理地址與邏輯地址
1.5.2 Sv39中的頁式地址空間管理與頁表
1.5.3 satp、Sv48、TLB和非基礎頁——
第 2章 PKE實驗和實驗環(huán)境配置
2.1 PKE實驗簡介
2.1.1 代理內(nèi)核的工作原理
2.1.2 PKE實驗的構成
2.2構建本地開發(fā)環(huán)境
2.2.1本地開發(fā)環(huán)境的方案選擇
2.2.2安裝支撐軟件
2.2.3 PKE實驗代碼的獲取
2.3使用在線開發(fā)和評測環(huán)境
2.4相關工具軟件
2.4.1 源代碼版本管理工具git
2.4.2 RISC-V交叉編譯器
2.4.3 RISC-V模擬器Spike
2.4.4 Linux文件查看工具file
第3章 中斷處理
3.1 實驗1的基礎知識
3.1.1 RISC-V程序的編譯和鏈接
3.1.2 指定符號的邏輯地址
3.1.3 代理內(nèi)核的構造過程
3.1.4 代理內(nèi)核的啟動過程
3.1.5 ELF文件(app)的加載過程
3.1.6 Spike的HTIF接口
3.2 實驗1系統(tǒng)調(diào)用
3.3 實驗2異常處理
3.4 實驗3 (外部)中斷
3.5 實驗4 挑戰(zhàn)實驗
第4章 內(nèi)存管理
4.1 實驗2的基礎知識
4.1.1 Sv39虛地址管理方案回顧
4.1.2 物理內(nèi)存布局與規(guī)劃
4.1.3 PKE操作系統(tǒng)和應用進程的邏輯地址空間結(jié)構
4.1.4 與頁表操作相關的重要函數(shù)
4.2 實驗1 虛實地址轉(zhuǎn)換
4.3 實驗2 簡單內(nèi)存分配和回收
4.4 實驗3 缺頁異常
4.5 實驗4挑戰(zhàn)實驗
第5章 進程管理
5.1 實驗3的基礎知識
5.1.1 多任務環(huán)境下進程的封裝
5.1.2 進程的啟動與終止
5.1.3 就緒進程的管理與調(diào)度
5.2 實驗1進程創(chuàng)建
5.3 實驗2進程yield
5.4 實驗3循環(huán)輪轉(zhuǎn)調(diào)度
5.5 實驗4挑戰(zhàn)實驗
第6章 文件系統(tǒng)
6.1實驗4的基礎知識
6.1.1 文件系統(tǒng)概述
6.1.2 PKE的文件系統(tǒng)架構
6.1.3 文件系統(tǒng)提供的接口
6.1.4 虛擬文件系統(tǒng)
6.1.5 RFS文件系統(tǒng)
6.2 實驗1文件
6.3 實驗2目錄文件
6.4 實驗3硬鏈接
6.5 實驗4挑戰(zhàn)實驗