1. 為什么選擇MIT 6.S081作為操作系統(tǒng)入門課第一次聽說MIT 6.S081這門課時我正在尋找一個能真正動手實踐的操作系統(tǒng)課程。大多數(shù)傳統(tǒng)OS課程要么過于理論化要么實驗環(huán)節(jié)只是簡單調(diào)用現(xiàn)有API。而6.S081最吸引我的是它通過修改真實操作系統(tǒng)來學(xué)習(xí)的理念——課程基于XV6這個教學(xué)用操作系統(tǒng)所有實驗都需要直接在內(nèi)核層面編寫代碼。XV6是MIT為教學(xué)目的開發(fā)的類Unix系統(tǒng)完整實現(xiàn)了進程管理、文件系統(tǒng)等核心功能但代碼量控制在1萬行左右Linux內(nèi)核超過2800萬行。這個體量既保證了真實性又不會讓初學(xué)者望而生畏。我在完成第一個實驗系統(tǒng)調(diào)用時就深刻體會到這種設(shè)計的好處雖然要直接修改內(nèi)核代碼但代碼結(jié)構(gòu)清晰關(guān)鍵函數(shù)都能在幾小時內(nèi)理清脈絡(luò)。2. 課程前置技能準備清單2.1 編程語言要求課程所有實驗都使用C和RISC-V匯編。我的C語言之前只停留在學(xué)校課程水平為此專門用兩周時間強化了以下知識點指針操作特別是函數(shù)指針和void*的使用結(jié)構(gòu)體和聯(lián)合體的內(nèi)存布局Makefile編寫基礎(chǔ)GDB調(diào)試技巧后來發(fā)現(xiàn)這是救命技能RISC-V匯編部分不需要提前精通但建議了解基本指令集addi, ld, sd等寄存器約定a0-a7參數(shù)寄存器ra返回地址等棧幀結(jié)構(gòu)這對理解trap機制至關(guān)重要2.2 開發(fā)環(huán)境搭建官方推薦在Linux環(huán)境下開發(fā)。我嘗試過三種方案原生LinuxUbuntu 20.04最穩(wěn)定但需要雙系統(tǒng)Windows WSL2圖形界面支持較差調(diào)試麻煩MacOS Docker最終選擇的方案具體步驟# 安裝qemu和工具鏈 brew install riscv64-unknown-elf-gcc qemu # 克隆課程倉庫 git clone git://g.csail.mit.edu/xv6-labs-2020 cd xv6-labs-2020 make qemu第一次編譯可能會遇到工具鏈版本問題需要調(diào)整Makefile中的TOOLPREFIX變量。3. 課程核心內(nèi)容與實驗攻略3.1 課程知識圖譜整個課程圍繞XV6的七個核心子系統(tǒng)展開系統(tǒng)調(diào)用與進程管理Lab: syscall頁表與內(nèi)存管理Lab: page tables中斷與設(shè)備驅(qū)動Lab: traps并發(fā)與鎖Lab: locks文件系統(tǒng)Lab: fs網(wǎng)絡(luò)棧Lab: net多核調(diào)度Lab: scheduler每個實驗都對應(yīng)一個關(guān)鍵子系統(tǒng)難度呈階梯式上升。我的學(xué)習(xí)節(jié)奏是每周完成1個實驗對應(yīng)課程視頻實際耗時約15-20小時/周。3.2 實驗避坑指南在完成locks實驗時我遇到過經(jīng)典的死鎖問題在ide_lock之外獲取了sleep_lock導(dǎo)致磁盤中斷處理程序無法獲取ide_lock。解決方法是通過lock ordering原則統(tǒng)一鎖的獲取順序// 正確順序 acquire(ide_lock); acquire(sleep_lock);另一個常見問題是系統(tǒng)調(diào)用實驗中的寄存器傳參。RISC-V調(diào)用約定前8個參數(shù)通過a0-a7傳遞但內(nèi)核態(tài)需要通過trapframe獲取// 從用戶棧獲取第二個參數(shù) int arg1 p-trapframe-a1;4. 高效學(xué)習(xí)路徑規(guī)劃4.1 資源使用優(yōu)先級課程網(wǎng)站pdos.csail.mit.edu/6.S081/2020/包含所有實驗說明和講義XV6手冊xv6.dgs.mit.edu/相當(dāng)于XV6內(nèi)核說明書課程視頻YouTube建議1.5倍速觀看社區(qū)討論Piazza問題基本都能找到答案4.2 時間管理技巧我采用三遍學(xué)習(xí)法第一遍快速瀏覽講義標記不理解的概念第二遍結(jié)合視頻深入難點完成實驗基礎(chǔ)部分第三遍挑戰(zhàn)實驗的optional部分整理筆記對于復(fù)雜的文件系統(tǒng)實驗建議畫出磁盤布局示意圖。這是我當(dāng)時繪制的簡化圖[ boot block | super block | log | inodes | bitmap | data blocks ]5. 常見問題解決方案5.1 調(diào)試技巧當(dāng)系統(tǒng)在qemu中崩潰時首先檢查使用make CPUS1 qemu-gdb啟動調(diào)試在gdb中查看pc寄存器值info registers pc反匯編當(dāng)前位置x/10i $pc我曾用這個方法發(fā)現(xiàn)一個頁表錯誤pc指向了0xdeadbeef原因是頁表項設(shè)置了非法權(quán)限位。5.2 測試方法論課程提供的測試用例往往不夠全面。建議為每個實驗添加邊界測試如創(chuàng)建100個進程并發(fā)測試多進程同時操作共享資源錯誤注入故意傳遞非法參數(shù)例如測試文件系統(tǒng)時可以編寫腳本反復(fù)創(chuàng)建刪除文件for i in {1..100}; do echo $i testfile rm testfile done6. 學(xué)習(xí)效果檢驗與進階完成所有實驗后我嘗試了三個拓展項目添加FAT32文件系統(tǒng)支持需要修改buf.c和file.c實現(xiàn)copy-on-write fork優(yōu)化內(nèi)存使用移植到真實硬件SiFive HiFive Unleashed開發(fā)板這些項目不僅鞏固了課程知識還讓我理解了理論到實踐的完整閉環(huán)。比如在實現(xiàn)COW fork時需要深入理解頁表項的PTE_C標志位設(shè)置這比單純完成課程實驗收獲更大。