如今，Kubernetes 已經(jīng)成為分布式集群管理系統(tǒng)和公有云/私有云的事實標(biāo)準(zhǔn)。實際上，Kubernetes 是一個分布式操作系統(tǒng)，它是 Google 在分布式操作系統(tǒng)領(lǐng)域十余年工程經(jīng)驗和智慧的結(jié)晶，而 Google 一直以來都管理著世界上最大的分布式集群，在分布式操作系統(tǒng)領(lǐng)域的研究和認(rèn)識領(lǐng)先于全世界。因此，2014年發(fā)布的 Kubernetes 能在短短幾年時間內(nèi)就超越了諸多前輩，大獲成功。作為分布式操作系統(tǒng)，Kubernetes（包括其前代產(chǎn)品 Google Borg）的出現(xiàn)遠遠晚于 UNIX、Linux、Windows 等著名的單機操作系統(tǒng)，Kubernetes 架構(gòu)設(shè)計自然地繼承了很多單機操作系統(tǒng)的珍貴遺產(chǎn)，微內(nèi)核架構(gòu)就是這些遺產(chǎn)中最重要的一份。在本文接下來的部分，我們將專注于微內(nèi)核（microkernel）這個概念及其對 Kubernetes 架構(gòu)的影響。在介紹微內(nèi)核的時候，我們有必要同時回顧一下單機操作系統(tǒng)的歷史，以理解其價值所在。本章中以「操作系統(tǒng)」指代「單機操作系統(tǒng)」。電子計算機誕生之后，在上個世紀(jì)70年代以前，出現(xiàn)過許許多多的操作系統(tǒng)，DOS、OS/360、Multics 是其中的知名代表，這是操作系統(tǒng)領(lǐng)域的拓荒時代。20年來的拓荒孕育出了偉大的成果：隨著 CPU 技術(shù)的發(fā)展，UNIX 于1969年誕生了，這是一個真正意義上的分時操作系統(tǒng)。
圖片來源：維基百科
借助新的 CPU 技術(shù)的支持，UNIX 將軟件系統(tǒng)劃分為內(nèi)核（kernel）和用戶態(tài)程序（userland programs）兩部分。內(nèi)核是一組中斷處理程序的集合，把硬件的能力封裝為操作系統(tǒng)功能調(diào)用（system calls），用戶態(tài)程序通過系統(tǒng)調(diào)用使用硬件功能，用戶態(tài)程序運行于各自的進程中，所有用戶態(tài)進程都共享同一個內(nèi)核，每當(dāng)系統(tǒng)調(diào)用或中斷發(fā)生，UNIX 便陷入（trap）內(nèi)核，內(nèi)核執(zhí)行系統(tǒng)調(diào)用，與此同時，內(nèi)核中的分時調(diào)度算法將決定把 CPU 交給哪個進程，并管理進程的上下文切換。另外，UNIX 把（幾乎）所有硬件都封裝為文件。UNIX 還提供了一個特殊的用戶態(tài)程序 shell，供用戶直接使用系統(tǒng)，通過內(nèi)核提供的進程間通信能力，shell讓 用戶可以把一系列應(yīng)用程序組合起來，處理復(fù)雜的需求，作者稱這個設(shè)計思想為「KISS」（Keep It Simple and Stupld）。UNIX 的所有設(shè)計思想在當(dāng)時是都是非常了不起的創(chuàng)舉。
UNIX 不但自身對業(yè)界產(chǎn)生了巨大的直接貢獻，還成為所有現(xiàn)代操作系統(tǒng)的藍本，兩位作者 Ken Tompson 和 Dennis Ritchie 因此榮獲1983年度的圖靈獎。UNIX 誕生于貝爾實驗室，該實驗室屬于美國國家電信電報公司（AT&T），見識到 UNIX 的強大威力之后，AT&T 做出了一個看似無私的決定：將 UNIX 開源（初期只對大學(xué)開源），這使得所有現(xiàn)代操作系統(tǒng)得以誕生。雖然 AT&T 最終被分拆，輝煌不再，但這個決定對人們的貢獻綿延至今。在21世紀(jì)20年代的今天，無論是 MacOS、Windows、Linux，都直接受到 UNIX 的影響，而 iOS 來自 MacOS，Android 來自 Linux，因此 UNIX 的靈魂仍然活在每個人的手機中、活在每個手機 App 后臺的服務(wù)中。此外，UNIX 誕生之時，還附送了一項比操作系統(tǒng)本身價值更大的副產(chǎn)品：Dennis Ritchie 為開發(fā) UNIX 設(shè)計了C語言，C語言成為了所有流行的現(xiàn)代編程語言的主要設(shè)計來源，不僅如此，C語言在其誕生近40年后的今天，仍然是最重要的編程語言之一。值得一提的是，當(dāng)時 UNIX 的主要開放對象是伯克利、卡內(nèi)基梅隆等研究型大學(xué)，文理學(xué)院規(guī)模較小，沒有研究生項目，不屬于 AT&T 的主要開放目標(biāo)，因此 Olivet College 畢業(yè)的一位小哥未受到 UNIX 思潮的影響。這位名叫 David Cutler 的軟件天才于1975年在 DEC 設(shè)計了 VMS 操作系統(tǒng)，VMS 和最初的 UNIX 一樣，運行在 PDP-11 上，但并不是基于 UNIX，而是獨立設(shè)計的。VMS 在業(yè)界沒有掀起大浪，以兼容 UNIX 告終。后來 David Cutler 離開 DEC，加入微軟，在那里譜寫了屬于他自己的傳奇。有趣的是，喬布斯也曾在文理學(xué)院就讀，看來美國文理學(xué)院的學(xué)生是不走尋常路的。UNIX「一切皆文件」的設(shè)計帶來了用戶程序設(shè)計的很多便利，但它要求所有對硬件的封裝都要在內(nèi)核態(tài)，因此內(nèi)核中模塊的 bug 會讓整個系統(tǒng)受到影響，比如說，如果某個設(shè)備驅(qū)動有內(nèi)存泄漏，所有使用該設(shè)備的用戶態(tài)進程都會有內(nèi)存泄漏，如果某個內(nèi)核模塊有安全漏洞，整個系統(tǒng)的安全性將不再可控。為了解決這類問題，上個世紀(jì)70年代，操作系統(tǒng)研究者們開始發(fā)展「微內(nèi)核」的概念，微內(nèi)核的本質(zhì)是讓操作系統(tǒng)的內(nèi)核態(tài)只保留內(nèi)存地址管理、線程管理和進程間通訊（IPC）這些基本功能，而把其它功能如文件系統(tǒng)、設(shè)備驅(qū)動、網(wǎng)絡(luò)協(xié)議棧、GUI 系統(tǒng)等都作為單獨的服務(wù)，這類服務(wù)一般是單獨的用戶態(tài) daemon 進程。用戶態(tài)應(yīng)用程序通過 IPC 訪問這些服務(wù)，從而訪問操作系統(tǒng)的全部功能，如此一來，需要陷入內(nèi)核的系統(tǒng)調(diào)用數(shù)量將大大減少，系統(tǒng)的模塊化更加清晰。同時系統(tǒng)更加健壯，只有內(nèi)核中的少量系統(tǒng)調(diào)用才有權(quán)限訪問硬件的全部能力，如設(shè)備驅(qū)動的問題只會影響對應(yīng)服務(wù)，而不是影響整個系統(tǒng)。和 micro kernel 相對，UNIX 的設(shè)計被稱為 monolithic kernel。UNIX 開放后，AT&T 繼續(xù)著版本迭代，而各大學(xué)基于 AT&T 的 UNIX 開發(fā)了很多新的操作系統(tǒng)內(nèi)核，其中較為知名的有：- BSD，monolithic，由伯克利的傳奇人物 Bill Joy 于1974年發(fā)布（據(jù)說 Bill Joy 花三天便完成了 BSD 內(nèi)核的第一個版本開發(fā)，Bill Joy 的作品還包含第一個 TCP/IP 協(xié)議棧、vi、Solaris、SPARK 芯片等等）。該內(nèi)核對業(yè)界影響非常之大，后來發(fā)展為 FreeBSD、OpenBSD、NetBSD 等分支。現(xiàn)代操作系統(tǒng)如 Solaris、MacOS X、Windows NT 對其多有借鑒。
- Mach，微內(nèi)核，由卡內(nèi)基梅隆大學(xué)于1984年發(fā)布，主要作者是 CMU 的兩位研究生 Avie Tevanian 和 Rick Rashid。該內(nèi)核對業(yè)界影響也很大，GNU Hurd、MacOS X 對其多有借鑒，但該項目本身以失敗告終。
- MINIX，微內(nèi)核，由阿姆斯特丹自由大學(xué)（Vrije Universiteit Amsterdam）的 Andrew Tanenbaum 教授于1987年發(fā)布。無數(shù)計算機系學(xué)生通過 MINIX 及其配套教材掌握了操作系統(tǒng)的設(shè)計原理，Linux 的初始版本就是基于 MINIX 復(fù)刻的。MINIX 雖然著名，但主要用于教學(xué)，從未在工業(yè)界獲得一席之地。
從上世紀(jì)90年代至本世紀(jì)10年代，UNIX 和 VMS 的后裔們展開了一場混戰(zhàn)，從結(jié)果來看，微內(nèi)核的概念雖然美好，但現(xiàn)實非常殘酷：- MINIX 僅限于教學(xué)，而基于 MINIX 設(shè)計的 Linux 是 monolithic 系統(tǒng)，反而大獲成功。Mach 對業(yè)界影響深遠，但本身并未得到大規(guī)模應(yīng)用，其繼承者 GNU Hurd 一直在開發(fā)中，從未能應(yīng)用。
- Windows 的 NTOS 內(nèi)核是 David Cutler 基于他原來在 DEC 獨立設(shè)計的系統(tǒng) VMS 設(shè)計的（VMS 和 UNIX 無關(guān)）。NTOS 借鑒了微內(nèi)核的思想和 BSD 的一些代碼，但最終 David Cutler 決定將所有服務(wù)（如 GUI）都放到內(nèi)核態(tài)而非用戶態(tài)，因此 Windows NT 在軟件架構(gòu)上和微內(nèi)核一致，而實際運行和 monolithic 內(nèi)核一致，被稱為 hybrid kernel。
- MacOS X 基于 NextStep OS 設(shè)計，NextStep 是 Avie Tevanian 設(shè)計的，Avie Tevanian 是 Mach 的主要設(shè)計者，博士畢業(yè)后，蓋茨和喬布斯都邀請過他，他去了 Next，他在 CMU 的好友 Rick Rashid 則去微軟作為 David Cutler 的首席助手，據(jù)說 Avie Tevanian 在 Next 每天用計算器算自己沒去微軟而損失的股票增值。跟喬布斯回到蘋果后，Avie 基于 NextStep 和 BSD 的代碼設(shè)計了 OS X，巧的是，OS X 也采用了 hybrid kernel 的架構(gòu)，最終大獲成功，還能在 PowerPC 和 x86 兩種指令架構(gòu)間無縫切換。
在幾位操作系統(tǒng)技術(shù)巨擎中，除 Linus Torvalds 外，無論是 David Cutler 和 Andrew Tanenbaum，還是 Avie Tevanian 和 Rick Rashid，都是微內(nèi)核架構(gòu)的領(lǐng)袖級人物，但最終他們都沒有將微內(nèi)核徹底落地，這是有原因的。微內(nèi)核操作系統(tǒng)訪問系統(tǒng)服務(wù)的效率比 monolithic 操作系統(tǒng)要低得多，舉例而言，在 Linux 中，系統(tǒng)調(diào)用（比如 open）只要陷入內(nèi)核一次，也就是先切換 CPU 到高權(quán)限模式，再切回低權(quán)限模式。如果在一個微內(nèi)核操作系統(tǒng)中，用戶調(diào)用 open 就需要先拼裝一條 IPC 請求消息，發(fā)送給對應(yīng)的文件系統(tǒng)服務(wù)進程，隨后從文件系統(tǒng)服務(wù)進程獲取IPC響應(yīng)消息并解包，拿到調(diào)用結(jié)果，這樣一來，消息帶來的數(shù)據(jù)拷貝和進程上下文切換都會帶來很多開銷。消息需要拷貝是因為用戶態(tài)進程間不能相互訪問內(nèi)存地址，而內(nèi)核的代碼可以訪問任何用戶態(tài)進程的任何內(nèi)存地址。正是因為性能原因，OS X 和 Windows 都選擇了 hybrid kernel 的架構(gòu)，NTOS 甚至在內(nèi)核中集成了 GUI 子系統(tǒng)，以帶來更好的用戶體驗。簡單來說，在電腦性能不佳的情況下，我們會發(fā)現(xiàn) Windows 的鼠標(biāo)箭頭更加“跟手”，即使系統(tǒng)接近死機，Windows 系統(tǒng)的鼠標(biāo)箭頭仍然可以活動。Windows XP 能在 Windows 98 這樣「珠玉在前」的上代產(chǎn)品后獲得更大的成功，和 NTOS 對性能的密切關(guān)注是分不開的，相比之下，蘋果固然在1980年代中期就有初代 Machintosh 這樣的壯舉，但因為喬布斯無法說服銷售團隊換一根更強的內(nèi)存條，因此初代 Mac 的性能較差，運行程序非常之慢，未能獲得應(yīng)得的藍海成功。性能問題對單機操作系統(tǒng)來說可能是至關(guān)重要的，但對分布式操作系統(tǒng)并非如此，分布式操作系統(tǒng)作為「幕后功臣」，不需要直接面對用戶，而單機性能上的小小損失可以用更多機器來彌補，在這個前提下，更好的架構(gòu)往往更加重要。在單機操作系統(tǒng)大戰(zhàn)快要分出勝負(fù)之時，Google 這家行業(yè)新寵正準(zhǔn)備 IPO，用現(xiàn)在的話來說，Google 那時是一家「小巨頭」：已經(jīng)初露鋒芒，不容小覷，但巨頭們彼時正陷入戰(zhàn)爭泥潭，無暇顧及之。2003年，為了更好地支持新版本的搜索引擎（基于MapReduce），使其能服務(wù)好億萬用戶，Google 開始了大規(guī)模集群管理系統(tǒng)的開發(fā)，這個系統(tǒng)叫做 Borg，它的目標(biāo)是管理以萬臺為單位的計算機集群。雖然剛開始只有3、4個人的小團隊，但 Borg 還是跟上了 Google 的飛速發(fā)展，證明了它的潛力，最終 Google 的全部機器都由 Borg 管理，MapReduce、Pregel 等著名系統(tǒng)都建立于 Borg 之上。從操作系統(tǒng)的角度來看，Borg 是一個 monolithic 系統(tǒng)，任何對系統(tǒng)的功能升級都需要深入到 Borg 底層代碼來修改支持。在 Google 這樣成熟的技術(shù)型公司中，有很多優(yōu)秀的工程師，因此這個問題在內(nèi)部系統(tǒng)中并不算嚴(yán)重。但如果是公有云，必然要接入許多第三方應(yīng)用的需求，一家公司的工程師團隊再強大，也無法把業(yè)界所有其他系統(tǒng)都接入 Borg，這時系統(tǒng)的可擴展性將非常重要。在2010年左右，隨著 Google 中國部門的撤銷，很多優(yōu)秀的 Google 工程師加入了 BAT 等中國公司，其中一部分加入了騰訊搜搜。這些前 Googler 加入騰訊后，復(fù)刻了 Google 的許多系統(tǒng)，技術(shù)上也很出色，其中 Borg 的復(fù)制品叫做 TBorg，后來改名為 Torca。Torca 在搜搜的廣告業(yè)務(wù)中起到了非常重要的作用，后來由于騰訊業(yè)務(wù)調(diào)整，搜搜與搜狗合并，Torca 在騰訊內(nèi)部失去用戶，逐漸停止了維護。在 Borg 上線幾年后，Google 意識到 monolithic 架構(gòu)的問題和瓶頸，于是又一支小團隊開始了 Omega 系統(tǒng)的研發(fā)。Omega 系統(tǒng)繼承的是微內(nèi)核的思想，新的功能升級幾乎不需修改底層代碼就能完成，它比 Borg 更加靈活，有更好的伸縮性。但因為當(dāng)時 Google 的全部系統(tǒng)已經(jīng)搭建在 Borg 之上了，由于 Borg 的 monolithic 特性，MapReduce 等系統(tǒng)都緊密綁定到 Borg 核心代碼，不但無縫遷移到 Omega 系統(tǒng)是不可能的，遷移還要花巨大的人力、時間和試錯成本，因此即使核心成員堅持不懈地推動，Omega 系統(tǒng)在 Google 仍未能取得成功。有趣的是，Omega 項目的核心成員之一 Brendan Burns 的職業(yè)軌跡和操作系統(tǒng)領(lǐng)域的大前輩 David Cutler 有不少相似之處。- 他們同樣畢業(yè)于文理學(xué)院：David Cutler 畢業(yè)于 Olivet College，Brendan Burns 畢業(yè)于 Williams College。
- 他們同樣在畢業(yè)后加入了一家傳統(tǒng)行業(yè)的巨頭：David Cutler 畢業(yè)后加入杜邦，Brendan Burns 畢業(yè)后加入湯姆森金融。
- 正如教父所說，一個男人只能有一種命運，Cutler 和 Burns 在這兩家傳統(tǒng)巨頭學(xué)會了寫代碼，也許就是在那時，他們發(fā)現(xiàn)了自己在軟件上的天分，發(fā)現(xiàn)了自己的命運是構(gòu)建新一代操作系統(tǒng)。因此他們同樣在第二份工作中選擇了當(dāng)時最炙手可熱的科技巨頭：David Cutler 加入 DEC，Brendan Burns 加入 Google。
- 他們同樣在微軟到達了職業(yè)生涯的頂峰：Brendan Burns 現(xiàn)如今已是微軟的 Corporate VP，而 David Cutler 老爺子早已是微軟唯一的 Senior Technical Fellow，據(jù)傳微軟甚至有條規(guī)定，Cutler 的技術(shù)職級必須是全公司最高的，任何人升到 Cutler 的 level，Cutler 就自動升一級。
在單機操作系統(tǒng)時代，hybrid kernel 盛行一時，這證明了微內(nèi)核在軟件架構(gòu)上的成功，但因為性能問題，又沒有任何一個成功的內(nèi)核采用「純粹的」微內(nèi)核架構(gòu)，因此微內(nèi)核從實用角度上來說是失敗的。和單機操作系統(tǒng)時代中微內(nèi)核架構(gòu)的失敗原因不同，Omega 在 Google 公司內(nèi)部的失敗和性能問題無關(guān)，只是歷史遺留問題的影響。對開源社區(qū)和大部分公司來說，尚無能和 Borg 相媲美的系統(tǒng)，也沒有歷史負(fù)擔(dān)，因此幾年后，Google 決定開源 Omega 這一超越 Borg 的新一代分布式操作系統(tǒng)，將其命名為 Kubernetes。為了介紹清楚 Kubernetes 和微內(nèi)核的關(guān)系，以及微內(nèi)核架構(gòu)為 Kubernetes 帶來的優(yōu)勢，這里有必要引入一些技術(shù)細節(jié)。上文中提到，單機操作系統(tǒng)的系統(tǒng)調(diào)用需要「陷入」內(nèi)核，所謂的陷入（trap）也叫做中斷（interrupt），無論內(nèi)核是什么類型，單機操作系統(tǒng)都需要在啟動時將系統(tǒng)調(diào)用注冊到內(nèi)存中的一個區(qū)域里，這個區(qū)域叫做中斷向量（Interrupt Vector）或中斷描述符表（IDT，Interrupt Descriptor Table）。當(dāng)然，現(xiàn)代操作系統(tǒng)的中斷處理非常復(fù)雜，系統(tǒng)調(diào)用也很多，因此除了IDT之外，還需要一張系統(tǒng)調(diào)用表（SCV，System Call Vector），系統(tǒng)調(diào)用通過一個統(tǒng)一的中斷入口（如 INT 80）調(diào)用某個中斷處理程序，由這個中斷處理程序通過 SCV 把系統(tǒng)調(diào)用分發(fā)給內(nèi)核中不同的函數(shù)代碼。因此 SCV 在操作系統(tǒng)中的位置和在星際爭霸中的位置同樣重要。對微內(nèi)核架構(gòu)來說，除了 SCV 中的系統(tǒng)調(diào)用之外，用戶態(tài)服務(wù)提供什么樣的系統(tǒng)能力，同樣需要注冊到某個區(qū)域。與此類似，Kubernetes 這樣的分布式操作系統(tǒng)對外提供服務(wù)是通過 API 的形式，分布式操作系統(tǒng)本身提供的 API 相當(dāng)于單機操作系統(tǒng)的系統(tǒng)調(diào)用，每個 API 也需要能夠注冊到某個位置。對 Kubernetes 來說，API 會注冊到 ectd 里。Kubernetes 本身提供的相當(dāng)于系統(tǒng)調(diào)用的那些 API，通過名為 Controller 的組件來支持，由開發(fā)者為 Kubernetes 提供的新的 API，則通過 Operator 來支持，Operator 本身和 Controller 基于同一套機制開發(fā)。這和微內(nèi)核架構(gòu)的思想一脈相承：Controller 相當(dāng)于內(nèi)核態(tài)中運行的服務(wù)，提供線程、進程管理和調(diào)度算法等核心能力，Operator 則相當(dāng)于微內(nèi)核架構(gòu)中 GUI、文件系統(tǒng)、打印機等服務(wù)，在用戶態(tài)運行。
圖片來源：https://mapr.com/products/kubernetes/
因此，Kubernetes 的工作機制和單機操作系統(tǒng)也較為相似，etcd 提供一個 watch 機制，Controller 和 Operator 需要指定自己 watch 哪些內(nèi)容，并告訴 etcd，這相當(dāng)于是微內(nèi)核架構(gòu)在 IDT 或 SCV 中注冊系統(tǒng)調(diào)用的過程。以 Argo 為例，Argo 是個 Operator，提供在 Kubernetes 中執(zhí)行一個 DAG 工作流的能力。用戶在使用 kubectl 命令提交 Argo 任務(wù)時，實際是讓 kubectl 將 Argo 的 yaml 提交給 Kubernetes 的 API Server，API Server 將 yaml 中的 Key-Value 數(shù)據(jù)寫入 etcd，etcd 將會提醒那些正在 watch 指定 Key 的服務(wù)。在我們的例子中，這個服務(wù)也就是 Argo。這正像是微內(nèi)核架構(gòu)里用戶進程請求用戶態(tài)服務(wù)的過程。Argo 得到 etcd watch 的 http 請求，去 etcd 讀出 yaml 中的數(shù)據(jù)并解析, 然后知道要去啟動什么容器，并通過 API 要求 Kubernetes 啟動相應(yīng)的容器。Kubernetes scheduler 是一個 Controller，在收到啟動容器請求后，分配資源，啟動容器。這是微內(nèi)核架構(gòu)中用戶進程通過系統(tǒng)調(diào)用啟動另一個進程的過程。當(dāng)然，Kubernetes 和單機操作系統(tǒng)也有不同之處：Kubernetes 沒有明確的「陷入」過程，而微內(nèi)核架構(gòu)的單機操作系統(tǒng)在訪問系統(tǒng)調(diào)用時需要陷入，在訪問用戶態(tài)服務(wù)時則不需要陷入。但是，Kubernetes 可以為不同的服務(wù)設(shè)置不同的權(quán)限，這一點在一定程度上類似于單機操作系統(tǒng)中內(nèi)核態(tài)和用戶態(tài)的 CPU 權(quán)限的區(qū)別。微內(nèi)核在架構(gòu)上的優(yōu)勢在 Kubernetes 中顯露無遺：在 Borg 中，開發(fā)者想要添加新的子系統(tǒng)是非常復(fù)雜的，往往需要修改 Borg 底層代碼，而新系統(tǒng)也因此會綁定到 Borg 上。而對 Kubernetes 來說，開發(fā)者只需要基于 Kubernetes 提供的 SDK 實現(xiàn)一個 Operator，就能夠添加一組新的 API，而不需要關(guān)注 Kubernetes 的底層代碼。Argo、Kubeflow 都是 Operator 的應(yīng)用。任何已有軟件都可以方便地通過 Operator 機制集成到 Kubernetes 中，因而 Kubernetes 非常適合作為公有云的底層分布式操作系統(tǒng)，正因如此，Kubernetes 在2014年年中發(fā)布，經(jīng)過2015年一年的成長，在2016年便成為業(yè)界主流，對于沒有歷史負(fù)擔(dān)的公司，也將 Kubernetes 作為內(nèi)部云的底層系統(tǒng)使用。在這篇文章中，我們介紹了單機操作系統(tǒng)的發(fā)展簡史，介紹了微內(nèi)核架構(gòu)在這個歷史進程中從興起到衰落的過程，也介紹了微內(nèi)核架構(gòu)在 Kubernetes 中重新煥發(fā)生機的過程。總的來說，顯著超前于時代的技術(shù)雖然未必能在被提出的時代取得成功，但一定會在多年后，在時代跟上來之后，拿回屬于自己的榮耀。微內(nèi)核架構(gòu)在單機操作系統(tǒng)的時代和云計算的時代的不同遭遇證明了這一點，深度學(xué)習(xí)在低算力時代和高算力時代的不同遭遇也證明了這一點。值得一提的是，在 Kubernetes 之后，Google 推出了 Fuchsia 作為 Android 可能的替代品。而 Fuchsia 基于 Zircon 內(nèi)核開發(fā)，Zircon 基于 C++ 開發(fā)，正是微內(nèi)核架構(gòu)。在算力井噴的現(xiàn)代，除了在分布式操作系統(tǒng)領(lǐng)域，微內(nèi)核能否也在手機/物聯(lián)網(wǎng)操作系統(tǒng)領(lǐng)域復(fù)興，讓我們拭目以待。本文內(nèi)容主要基于王益最近給?SQLFlow?和?ElasticDL?團隊的分享。沈凋墨和章海濤、武毅、閆旭、張科等一起總結(jié)。這個總結(jié)解釋了 SQLFlow 作為一個 Kubernetes-native 的分布式編譯器的設(shè)計思路基礎(chǔ)，也解釋了 ElasticDL 只針對 Kubernetes 平臺做分布式 AI 的原因。本文作者中包括百度 Paddle EDL 的作者。Paddle EDL 是基于 PaddlePaddle 和 Kubernetes 的分布式計算框架，于 2018 年貢獻給 Linux Foundation.SQLFLow：https://github.com/sql-machine-learning/sqlflowElasticDL：https://github.com/sql-machine-learning/elasticdl
