Linux 0.11重寫為Rust，在QEMU里跑起了shell

“Welcome to linux-0.11-rs.” 當這句歡迎語出現在串口終端時，你已經進入了一個用 Rust 從頭構建的 1991 年風格 Linux 內核。沒有宏內核的沉重歷史包袱，也沒有 C 語言里那些隨時可能踩進陷阱的指針，這次，老內核換了一身內存安全的馬甲，直接在 QEMU 里拉著一個完整的用戶態跑了起來。

這個叫 linux-0.11-rs 的項目，擺明了就是一場技術考古式的重寫實驗。它把 Linus Torvalds 當年那版經典代碼全部打散，用現代 Rust 的習語重建，同時死死咬住原版的行為語義——該有的進程管理、按需調頁、寫時復制 fork，一個沒少；但模塊邊界干凈得像刀切豆腐，類型系統把能犯的錯在編譯期就掐死在搖籃里。最狠的是，它不只讓內核跑起來，還自帶工具鏈，一條命令就能吐出帶用戶程序的磁盤鏡像，按 `make run` 直接見 Shell。

接下來就逐一拆解這個“老酒新瓶”的項目，看看 Rust 到底給 Linux 0.11 注入了什么奇怪的能量——有些地方甚至能讓你忘記這內核來自 35 年前。

內核功能完整度：進程、虛擬內存、Minix 文件系統，一個不落。linux-0.11-rs 照搬了原版 Linux 0.11 幾乎所有的關鍵機制：完整的進程模型、基于按需調頁和寫時復制 fork 的虛擬內存、Minix v1 文件系統、ATA 硬盤驅動、VGA 加 PS/2 控制臺、8250 串口控制臺、TTY 層、信號處理，以及全部系統調用表。注意到那個 Minix v1 文件系統沒有？連當年 OS 課程必考題都原樣保留，古早味兒拉滿。但所有實現都被塞進了 Rust 的強類型框架，指針解引用變成了 `Option` 和 `Result` 的組合，原來在 C 里極易出現的越界、釋放后重用問題，在這里被編譯器的借用檢查堵得嚴嚴實實。一次重寫，實際上等于給老內核做了一次全面的安全漏洞大掃除。

Rust 風格的“std”用戶庫：寫應用就像寫普通 Rust。這個項目沒有讓你在用戶程序里手搓 `int 0x80` 那樣的系統調用陷阱，而是提供了一個叫 `user_lib` 的庫，它的公開接口直接鏡像了標準庫 `std` 的 `fs`、`io`、`path`、`env`、`process`、`time` 這些模塊。結果就是，用戶程序寫起來跟正常的 Rust 程序幾乎一模一樣，`File::open`、`read_to_string`、`Command::new` 該咋用咋用，根本感受不到底下是一個手擼的操作系統內核。這種抽象方式不僅把系統調用膠水代碼徹底藏起來，還讓所有示例程序保持很高的可讀性，對想要學習操作系統原理的開發者簡直不要太友好。

手寫 Shell 附帶 80+ 個命令，管道、函數、補全都有。如果說內核是骨架，那么用戶空間就是肌肉。linux-0.11-rs 的用戶態塞進了一套手寫的 POSIX 子集 Shell，以及超過 80 個 coreutils 工具。Shell 本身支持管道、控制流（if、for、while）、函數定義、glob 通配符、命令替換和算術替換。就連交互式行編輯器也做了 Tab 補全和命令歷史，通過鍵盤上下鍵就能翻舊命令。試著在 Shell 里敲 `echo $((1 + 2 * 3))`，它會老老實實輸出 7；定義一個遞歸階乘函數 `fact() { if [ $1 -le 1 ]; then echo 1; else echo $(($1 * $(fact $(($1-1))))); fi; }`，然后運行 `fact 7`，終端吐出的 5040 赫然在目。這種完成度，已經超過許多教學內核的玩具級用戶態，逼近一個輕量級開發環境的雛形。

一鍵鏡像構建、獨立工具 crate、開箱即用的容器環境。開發者顯然不想讓你折騰環境。倉庫里 `tools/build-disk.sh` 這個腳本負責把全部用戶程序編譯好，按照 Unix 風格在鏡像里鋪出 `/etc`、`/dev`、`/bin` 目錄，最后打包成可啟動的磁盤鏡像——一條命令直出，省去了到處找交叉編譯鏈的噩夢。另外，`mbrkit` 和 `miniximg` 兩個獨立 crate 也被拆了出來，就算你只是想給自己的其他項目生成 MBR 或 Minix v1 鏡像，也能直接拿去用。更貼心的是，倉庫自帶 devcontainer 配置，Clone 下來在 VS Code 里點一下“在容器中重新打開”，所有依賴就自動裝好，直接 `make run` 就能看到內核啟動。

端到端測試驅動引導：Shell 功能也可以用腳本驗證。項目沒有止步于“能跑就行”，而是構造了一套基于 QEMU 串口驅動的自動測試系統。測試用例寫成 `.ktest` 腳本，放在 `ktest/suites/` 下，從啟動內核到發送命令、檢查回顯，全部自動化。運行 `tools/run-tests.sh` 就能跑全套；也可以單獨揪出 Shell 相關的測試集，或者只跑某一條用例。如果想節省啟動時間，還能加上 `--disable-reboot` 讓多個測試共享一個 QEMU 實例。這種測試思路讓內核的調試不再依賴肉眼刷屏幕，也讓該項目有了一絲“持續集成”的工業味，而不是又一篇隨手拋出的 Gist。

歸根結底，linux-0.11-rs 是一個極其誠實的教學項目。它沒有聲稱自己更快、更現代，甚至沒有試圖替換成 ext2 或改用 VirtIO 驅動，而是用 Rust 的語言能力嚴格復現一段經典技術史。當你在 QEMU 里按下 `ls /bin | wc -l` 看到 69 這個數字時，會突然意識到：能讓 1991 年的內核穩穩站在現代工具鏈之上，這件事本身就已經足夠有吸引力了。