分享到plurk 分享到twitter 分享到facebook

版本 4b34fdc2d4b63e3092293d241227728cfbc17495

User/JOJOTOOL

2026 年 Linux 核心設計課程自我評量

姓名:張力升　GitHub:JOJOTOOL (https://github.com/JOJOTOOL)

本自我評量遵循本課程評量準則:以客觀事實為主,強調過去與現在、不寫「期許自己」這類對未來的空泛承諾;所有產出均附公開紀錄(commit、PR、HackMD、pcap 佐證),可逐項查證。

[TOC]

成果發表與貢獻

自評:8分

課程教材與 sysprog21 專案

本學期對 sysprog21 的 kbox(把真實 Linux 核心以 LKL 形式連進行程、就地攔截 syscall 的 rootless 執行環境)貢獻了一套具第二層(L2)隔離的網路子系統,取代原本只能 outbound 的 SLIRP 使用者態網路。技術細節見下方〈期末專題〉,規模與佐證:

  • 變更規模(git diff --stat HEAD 可重現):34 個檔案、+2155 / −1112 行,主體為 src/net-slirp.c、src/dispatch-net.c。
  • 對應 PR / commit:【填入你的 PR 連結】;基準點 commit ba08934(SLIRP 起點)、0000c75(buffer overflow 修正)。

上游 Linux 核心

【若本學期有送出 upstream patch,依範例格式逐件列出:(YYYY/MM/DD) + patch 標題 + 連結 + 目前狀態(mainline / -next / 審查中)。沒有就誠實留白,不要灌水。】

其他開源專案(glibc / lkmpg / …)

【列出對 glibc、教材、其他 sysprog21 專案的 non-trivial 貢獻,附連結。】

公開演講 / 技術分享

【若有,填入場合、日期、投影片或錄影連結。】

方案 A 適用性檢核

範例中「方案 A」需對 Linux、glibc 等專案做出超過 3 項 non-trivial 貢獻方可適用。請據實檢核:

# 專案 貢獻描述 連結 non-trivial?
1 sysprog21/kbox kbox 網路子系統(L2 隔離 + LKL/TAP) 【PR】 是
2 【專案】 【描述】 【連結】 【是/否】
3 … … … …

【若累計未達門檻,改走一般計分方案,並在此說明。】

作業與隨堂測驗

自評:7分

主作業時間軸

【依範例格式,列出各次作業(例如 fibdrv、sysprog 作業、quiz 延伸題)的完成情況與連結。建議每列:(YYYY/MM/DD) + 作業名 + 你做了什麼(具體技術點)+ commit/PR。】

  • (【日期】)【作業名】:【具體做法與成果】,連結【】
  • …

隨堂測驗軌跡

【範例以表格呈現每次測驗的分數與訂正歷程。若你曾答錯後補證明取得滿分,正是「起點 → 終點」的好證據,務必寫出訂正內容。】

測驗 主題 結果 訂正 / 補充證明
quiz1 【主題】 【分數】 【連結 / 說明】
quiz2 … … …

期末專題:擴展 kbox 的完整網路能力

自評:8分

專題文件:https://hackmd.io/@sysprog/HkncHMvAbe　關鍵程式:src/dispatch-net.c、src/net-slirp.c、src/net.h

專題背景與問題定義(起點)

kbox 最初的網路以 SLIRP 實作,只支援 outbound TCP/UDP(commit ba08934 Add SLIRP user-mode networking)。其客觀限制(可從當時行為驗證):

  1. 沒有隔離:guest 的 socket 呼叫經位址轉譯後,實際使用 host 的網路堆疊。
  2. L2 不可見:流量在 SLIRP 層被重新封裝,乙太網路訊框(Ethernet frame)這一層看不到,無法用 tcpdump 觀察或在訊框邊界分析。
  3. 設定寫死:IP 位址靜態硬編碼,沒有動態協定行為。
  4. 無法注入故障:不能模擬封包遺失、延遲或網路異常。

我個人的起點:【據實填寫改造前對 virtio-net / TAP / LKL 網路裝置層 / DHCP / tc 的掌握程度——這是後面成長對照的基準。】

系統設計

以三層架構把網路堆疊搬進 LKL,並在 host 端串接外部網路。

第一層 — syscall 層隔離(src/dispatch-net.c):把 guest 的網路 syscall 從「落到 host」改為「轉送進 LKL」。實作的轉送函式皆呼叫對應 kbox_lkl_* 包裝,最終進入 lkl_syscall():forward_socket、forward_bind、forward_connect、forward_listen、forward_accept4、forward_sendto、forward_recvfrom、forward_sendmsg、forward_recvmsg、forward_getsockopt、forward_setsockopt、forward_getsockname、forward_getpeername、forward_shutdown、forward_poll(涵蓋 poll() / ppoll())。

第二層 — LKL 網路裝置(src/net-slirp.c):以 lkl_netdev_tap_create() 建立 TAP 介面 kbox0,再用 lkl_netdev_add() 掛進 LKL 的 virtio-net 後端;guest 端設定靜態 10.0.2.15/24 或 DHCP,預設閘道 10.0.2.2 並設定 DNS。對應 kbox_net_add_device()、kbox_net_configure(),並保留 LKL/網路關閉時的 stub 實作以維持建置不失敗。

第三層 — host 端串接:對 TAP 指派 10.0.2.2/24、開啟 IP forwarding、加上 MASQUERADE NAT、放行 FORWARD 鏈,作為 LKL 隔離堆疊與外部網路之間的橋。

DHCP 狀態機(RFC 2131):client 端 dhcp_build_discover() / dhcp_build_request() / dhcp_opt_find(),server 端 dhcp_server_start() / dhcp_server_build_reply()(監聽 port 67),完成 DISCOVER → OFFER → REQUEST → ACK 四步交握。

可觀測性與故障注入:pcap_open() / pcap_write_packet() / pcap_close() 把 L2 訊框連同時戳寫成 pcap;另有獨立 AF_PACKET 監看執行緒。故障注入以 tc flower DROP(IPv6、mDNS)、tc netem 經 IFB 裝置注入延遲、kbox_net_inject_frame() 直接在 L2 注入自訂訊框。對外介面見 src/net.h(新增 kbox_net_set_pcap / set_dhcp / set_inject_frame 等)。

量測方法

範例特別強調「謹慎用詞」與統計嚴謹:效能宣稱要有前後對照 + 信賴區間 + 檢定,不寫「快很多」。請以此標準補上實測資料。

  • 延遲注入驗證:設定 tc netem 500 ms 延遲,量測 ICMP RTT 由 【base RTT】 增為 【延遲後 RTT】(建議 N ≥ 30 次、附 95% 信賴區間)。
  • 過濾規則驗證:以 tc DROP 規則的計數器遞增,佐證 IPv6 / mDNS 被擋(附計數器前後值)。
  • 協定正確性:以 pcap 追蹤確認 ARP who-has、DHCP 四步交握的封包序列(附 tcpdump 判讀)。
  • 【若有吞吐量 / 建立連線延遲的前後對照(SLIRP vs LKL+TAP),以表格呈現並註明量測環境。】

期末展示

可重現的驗證結果(建議附你自己的截圖 / pcap 檔):

驗證項目 觀察到的客觀結果
網路介面建立 kbox0 出現在 host 網路堆疊
DNS 解析 沙箱內 nslookup google.com 成功
對外連線 ping 8.8.8.8、wget http://example.com 可通
ARP 協定 pcap 中擷取到 ARP who-has 封包
封包過濾 tc DROP 計數器遞增(IPv6、mDNS 被擋)
延遲注入 ICMP 被 tc netem 延遲 500 ms
DHCP 交握 完整四步交換,經 tcpdump 確認

目前尚未完成 / 待收斂(誠實列出,不找藉口):

  1. inbound server socket 路徑(forward_listen / forward_accept4)已實作,但仍保留 fprintf(stderr, ">>> ...") 除錯輸出待清除。
  2. per-socket 的 pcap 註冊尚未接上:kbox_net_register_socket() 在 forward_socket() 中仍為註解狀態。
  3. 【其他你已知但尚未完成 / 驗證的項目,例如 IPv6 outbound、release build 實測。】

觀摩同儕專題並提問

【範例會記錄你觀摩了誰的專題、提出什麼問題。據實填寫:同儕姓名 / 專題連結 + 你提的問題 + 討論結果。】

回應提問

【期末展示時老師或同學問了什麼、你如何回應。真實記錄,含你當下答不出、事後補查的部分——這類誠實最有價值。】

與授課教師的互動

自評:1分

一對一討論

【據實記錄:日期時間(範例精確到 週三 14:00–14:40)、討論主題、教師點出的問題、你的後續行動。例如:教師指出手刻網路結構的長度假設不安全 → 我改用標準 struct sockaddr 修正(commit 0000c75)。若此事屬實可保留,否則刪除。】

課堂問答軌跡

【列出你在課堂上發問 / 被點名回答的紀錄,附主題與日期。】

所見所聞所感

自評:8分

關於實驗設計與可重現性

從這次專題我具體學到:效能與行為宣稱必須可重現。SLIRP 之所以看不到 L2,是因為它在使用者態重新封裝流量——這讓我把觀測點改放在 TAP 與 virtio-net 之間,才拿得到完整的 ARP、TCP 重傳等協定行為。這也促使我在〈量測方法〉採前後對照與統計信賴區間,而非只給單次數字。【可再補一個你親身遇到的實驗設計陷阱。】

關於謹慎用詞

一開始自行拼湊封包 / 位址結構、對長度與對齊做不安全假設,導致緩衝區溢位(commit 0000c75);改用標準網路結構後才體認到跨 ABI 邊界傳遞結構時,自訂 layout 的長度假設不可靠。【延伸:術語要精確,例如 socket / connection / endpoint 不可混用。】

關於與上游 / 開源開發者互動

【若有與 LKL、Linux 或其他上游社群往來(mailing list、PR review),記錄互動與收穫;沒有就留白。】

關於課程同儕的觀察

【範例會具名提到數位同儕的自我評量並寫下具體啟發。填入你實際讀過的同儕評量與心得。】

關於自身投入的回顧

【誠實回顧投入(範例甚至以每週時數與同儕基準對照),以及起點 → 終點的能力變化:從只熟悉使用者態 socket API,到能在 LKL 內設定 virtio-net/TAP、實作 DHCP 交握、用 tc/netem/IFB 做 L2 故障注入、用 pcap+AF_PACKET 擷取分析訊框。】

分數計算

各項自評如下,總分採幾何平均(任一項偏低都會顯著拉低總分):

評量項目 自評分數
成果發表與貢獻 【S₁】
作業與隨堂測驗 【S₂】
期末專題 【S₃】
與授課教師的互動 【S₄】
所見所聞所感 【S₅】

\[ \text{總分} = \sqrt[5]{S_1 \times S_2 \times S_3 \times S_4 \times S_5} \]

方案 A:若〈成果發表與貢獻〉的非顯著(non-trivial)貢獻達門檻,依方案 A 計分並在該節附檢核表;否則走一般方案。

自我評量總分:5 / 10

附錄:佐證連結與證據