# 作業系統概念和文藝復興

## 說明

本系列講座全名為 **O**perating **S**ystem **C**oncepts **A**nd **R**enaissance，簡稱 OSCAR，著眼於以下：

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

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

* [淺談 Microkernel 設計和真實世界中的應用](https://hackmd.io/s/SJ55y7fR)
* [從無到有打造 IoT 作業系統核心：以 Piko/RT 為例](https://hackmd.io/s/SJHIn4b_W)
* [Linux 在工業控制的應用：淺談即時系統的設計與實作](https://hackmd.io/s/rkx9Vx1lb#)
* [PREEMPT_RT: 朝向硬即時的 Linux 核心機制](https://hackmd.io/s/BJ2Fy-ye-#)
* [從無到有打造 IoT 作業系統核心](https://hackmd.io/s/SktF6e1g-#)
* [Concurrency 程式設計](https://hackmd.io/@sysprog/concurrency)

## 徵求新主題

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

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

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