作業系統概念和文藝復興

說明

本系列講座全名為 Operating System Concepts And Renaissance，簡稱 OSCAR，著眼於以下：

跳脫教科書的陳述，反思作業系統提出的時代背景與訴求
研究開放原始碼的作業系統實作，嘗試從程式碼和各項實驗中體會出箇中奧秘
廣泛探討作業系統在不同領域的應用，以及各種技術挑戰
開發屬於自己的作業系統，從而「成為電腦的主人」

講座材料 (包含部分錄影)

徵求新主題

歡迎提供作業系統相關主題和參考資料，日後將斟酌探討。

(格式: 主題或領域 / 該領域的代表性專案 / 說明)

formal verification of OS Kernels / seL4
依據作業系統的模型和實際設計，透過定理證明器I sabelle/HOL 和二進位驗證機制，有效完成作業系統的形式化驗證
virtualization / Xen, KVM
虛擬化技術，Xen 以 para-virtualization 作出發，後來廣泛支援多種硬體架構
real-time Linux / PREEMPT_RT
in-kernel 即時系統解決方案
Software Define Storage / Ceph
- Software Define Storage 本質上來說它是哪些技術的合體？
- 針對 Software Define Storage 的應用，作業系統應該具有哪一些特性？
- 不論是 Software Define Storage 或作業系統，有沒有可能運用 machine learning 的方法改進或解決現有的難題？