第 18 週課程簡記

「除了在特殊的情況下，教學大致是沒有什麼效果的，而在那些有效果的愉快場合中，教學幾乎是多餘的」 —— 歷史學家 Edward Gibbon

無人機

• 烏克蘭無人機空襲莫斯科，俄羅斯基輔日轟炸基輔，愛國者攔截率接近 100% (2023.05)
• 美國 F16 戰鬥機實現無人化，就問俄羅斯怕不怕，以後蘇-27還敢欺負美國無人機嗎？
• 烏克蘭打造無人艦隊，台灣成立無人機國家隊，未來如何發展無人艦？ (2022.12)

  某個國家隊的工程師

• 國軍大手筆砸 500 億採購 3,000 架無人機，九家無人機廠商通力合作 (2022.12)
• 淺談 Microkernel 設計和真實世界中的應用

  CSIRO (自 NICTA 分出) / UNSW 獲得美國國防部 Defense Advanced Research Projects Agency (DARPA) 的資助，將高可靠、安全的 seL4 應用在飛行載具中。具體的應用情境已公佈，對於波音公司出品的 MH-6 Little Bird 直昇機和它的攻擊型本 AH-6，是美國陸軍用於特種作戰的單引擎輕型直昇機，隨著作戰計畫的複雜化，美國軍方正視網路攻擊的嚴酷挑戰，因此採納了 seL4 這個號稱數學上證明過的 "Unhackable Kernel"，目前 seL4 用於 High-Assurance Cyber Military Systems (HACMS) 中，已完成測試。

討論區/專題回顧

• 2023 年系統軟體系列課程討論區
• 期末專題

• 系統虛擬機器開發和改進
• 虛擬無線網路裝置驅動程式和實驗環境
• 改進 kHTTPd
• 以 eBPF 建構 TCP 伺服器
• lib/sort.c 解讀和改進
• 紅黑樹實作改進

In-place vs. Out-of-place Sorting

Out-of-place Sorting 是指在排序的過程中，演算法需要配置額外的空間暫存資料以達成排序的動作。以 Top-down Mergesort 為例：

此方法中，演算法需要首先配置一個空陣列 K 以利後續排序，進而增加空間成本。

而 In-place Sorting 演算法則相反，它不需要配置額外的記憶體空間，而在原本的空間內完成排序動作。Quicksort 快速排序屬於此類演算法。

semu 中 UART 的潛在風險

原本 semu 中的鍵盤輸入會先暫存在主機的 buffer 中，直到按下 Enter 才會一次發送給模擬器，造成無法使用 tab completion 和 vi 編輯，用 termios 可將鍵盤輸入直接傳給模擬器來解決這個問題，但若鍵盤輸入過於頻繁就會造成模擬器花費大量資源處理，可用多執行緒解決。