星球 - 透過 L4Ka 快速打造作業系統雛型

作者:jserv | 來自:Jserv's blog | 2012/3/7 0:33:00
下標題時,其實頗為掙扎,開發作業系統如此重要之事,怎能講求速成呢?不過,考量到 目前無論是雲端或者移動裝置,都有比例可觀的技術是建構在已有成熟的作業系統之上, 探討實做一個作業系統的 Prototyping (雛型方法),何嘗不是引入創新的機會。Prototyping 是在 1980 年代初期興起的一種軟體發展模式,動機在於欲求在限定期限內,以最經濟而 快速的方法開發出系統的原型,以便即早澄清或驗證不明確的系統需求。本文嘗試在 [L4Ka] microkernel 的基礎上,建構一個適用於 IA32 架構的小型作業系統。 在稍早的演講議程 [L4 microkernel 的背景知識與最新的研究發展] 中,筆者提及 L4 家族中 L4Ka 專案企圖以 C++ 高階語言及物件導向描述方式,重作 Jochen Liedtke 博士提出的 L4 microkernel 原型,這部份的成果也就是 [L4Ka::Pistachio],目前一系列的專案原始碼均已在 [github] 上維護。L4Ka 不僅實做 L4 ABI,還提供了眾多核心開發的機制,如 in-kernel debugger,以及眾多的 user-level...