【新智元導讀】最近，谷歌在官博上釋出了一款全新的作業系統——KataOS。

谷歌又釋出新系統了！

等等，我為什麼要說「又」？

出走半生，谷歌的作業系統之心始終不死。對於全新推出的KataOS，谷歌計劃讓它成為一個「可證明的安全平臺」，並針對執行機器學習應用的嵌入式裝置進行充分的最佳化。

有趣的是，文章釋出之後，雖然陸續有了不少報道，但並沒有激起什麼水花。

沒想到，就在這兩天，竟然同時登上了知乎和Reddit的熱榜。

不過，網友們的觀點都出奇的一致——早晚得黃……

KataOS：用Rust寫的「安全作業系統」

在部落格中，谷歌解釋了開發這個系統的理由。

當我們被越來越多收集和處理環境資訊的智慧裝置所包圍時，我們比任何時候都更需要一個簡單的解決方案，來為嵌入式硬體構建可驗證的安全系統。

如果我們的裝置不能證明自己能保證資料的安全，那麼它們收集的個人身份識別資料——如人的影象和聲音的記錄——就可能被惡意軟體獲取。

不幸的是，系統安全通常被視為新增到現有系統，或透過額外的ASIC硬體解決的軟體功能——這遠遠不夠。

針對這個問題，谷歌希望建立一個可證明的安全平臺，為執行ML應用程式的嵌入式裝置進行最佳化。

現在，谷歌已經在GitHub上開放了KataOS的幾個元件，並且已經與Antmicro合作開發了Renode模擬器和相關框架。

這個新作業系統以seL4作為微核心。谷歌給出的理由是：「因為它把安全放在第一位；它在數學上被證明是安全的，具有保證保密性、完整性和可用性。」

為什麼KataOS的安全性這麼高呢？

谷歌解釋說，因為從邏輯上講，應用程式不可能破壞核心的硬體安全保護，並且系統元件是可驗證安全的。

同時，KataOS也幾乎完全由Rust實現，這更是加了一層buff，因為Rust消除了整類錯誤，比如逐一錯誤和緩衝區溢位。

目前的GitHub版本，已經涵蓋了大部分KataOS的核心部分，包括用於Rust的框架（如sel4-sys crate，用於讓seL4系統呼叫API），一個用Rust編寫的備用根伺服器（用於全系統的動態記憶體管理），以及對seL4的核心修改，用於回收根伺服器使用的記憶體。

在內部，KataOS也能夠動態地載入和執行CAmkES框架之外的第三方應用程式。

目前，Github上的程式碼不包括執行這些應用程式所需的元件，這些功能可能會在不久後釋出。

同時，谷歌還為KataOS建立一個名為Sparrow的參考實現，它讓KataOS與安全的硬體平臺結合起來。

除了邏輯安全的作業系統核心外，Sparrow還包括一個在RISC-V架構上用OpenTitan構建的邏輯安全的信任根。對於最初的版本，谷歌的目標是建立一個用QEMU模擬執行的更標準的64位ARM平臺。

谷歌希望在以後將Sparrow的全部內容開源，包括所有的硬體和軟體設計。

而現在，谷歌發出號召，希望大家能共建「智慧環境ML系統值得信賴的未來。」

KataOS的橫空出世，又會掀起怎樣的波瀾？

國外網友：坐等被棄

對此，Reddit網友表示：Abandon是早晚的事兒！

另有扎心回覆：「不懂就問，是已經宣佈關閉日期了嗎？」諷刺值瞬間拉滿。

可以說，拋棄現有專案，轉而支援那些還沒成熟的半成品新專案，是谷歌20多年來的「傳統藝能」了。

他們會支付數十億美元，招攬全球的頂尖人才，花費數年打磨一個專案，製造出昂貴的東西，然後再丟掉。

於是，在外界看來，谷歌的方向完全可以用倆字來形容——「混亂」。

對於遊戲領域，他們是三心二意，在大量的專案中手忙腳亂。前腳大舉進軍，後腳就狠心拋棄。

在硬體方面，前幾年收購Fitibt之後，直到現在都沒有把它很好地整合到Google Fit裡。

對於谷歌一言不合就砍專案的操作，有網友調侃道：

「我們決定關掉『Google Existential」。我們仍然會堅信這個概念，但我們覺得它從未達到期望的高度。」

「那個服務是做什麼的？」

「我們還沒決定呢。」

至於這次推出的KataOS，知乎答主「星辰」表示：

知乎答主「亞東」也表示，谷歌做出來作業系統還能保它不掛，主要就是太有錢了。無數的古早系統，都死在了沙灘上。

取代安卓沒下文，任職10年高管走人

說到谷歌的作業系統，除了大名鼎鼎的「Android」之外，還有一個相當神秘的「Fuchsia OS」。

而Fuchasia OS的命運，或許可以給KataOS做個參考。

要知道，曾經一度，Fuchasia OS可是被宣傳為能取代Android的作業系統。

2016年8月，GitHub上的一組神秘原始碼，指向了谷歌正在開發的一個名為「Fuchsia OS」的全新作業系統。

程式碼顯示，Fuchsia OS能夠跨平臺執行，包括「汽車的娛樂媒體系統和嵌入式裝置，如手錶、手機、平板以及電腦等等」。

2018年1月，谷歌允許開發者以Google Pixelbook為目標裝置，下載Fuchsia OS進行開發與測試。

2019年6月，Fuchsia OS的開發者網站Fuchsia。dev上線。

2020年12月，首度在Google Open Source 博亮相，籲開發者來做貢獻。

2021年5月，谷歌員工證實，Fuchsia OS首次實現了消費市場的部署。在對預覽版裝置進行第一波更新後，Fuchsia OS於2021年8月被推送至所有Nest Hub裝置。

最初大家還在猜測，谷歌開發Fuchsia OS的目的是希望以單一平臺統一移動作業系統生態系。

然而，谷歌至今都未曾說明Fuchsia OS的產品定位。

除了應用在了新款的Nest Hub上之外，並未像先前說明的那樣，應用在手機、平板、電腦，甚至眾多物聯網裝置上。

時間來到2022年3月，Fuchsia OS團隊的負責人Chris McKillop，宣佈自己已經離開任職10年的谷歌，加入到了微軟Xbox團隊。

不過比較起來，Fuchsia和KataOS還是有區別的。

KataOS/Sparrow似乎在一開始就明確了自己的計劃——低功耗嵌入式裝置。

從Github專案裡可以看到，Sparrow最初的目標總記憶體為4MiB。

谷歌墳場：那些年被「殺死」的專案們

那麼，為啥網友們清一色的表示谷歌早晚要「Abandon」呢？

看看那些被腰斬的專案就知道了。

據統計，這個數量至今已經達到了275個。2023年還沒到，就已經預定了4個。

在這片觸目驚心的「谷歌墳場」，你可以按年份搜尋它「死」去的專案——2022年，23個；2021年，31個；2020年，25個……

這不，就在上個月，谷歌便官宣了雲遊戲服務平臺Stadia正式下線的訊息。

時間回到3年前，谷歌在推出Stadia時聲稱，只要一臺普通電腦，裝個Chrome，就能暢玩遊戲大作。

然而，這幾年以來，使用者反饋並不好，甚至可以用糟糕來形容。

使用者不買賬，遊戲陣容遲遲起不來，這業務又挺燒錢的，那就砍了吧。

不過，今年早些時候，谷歌還專門針對Stadia要黃的傳言發推特澄清過：「Stadia沒有關閉。請放心，我們一直在努力為平臺和Stadia Pro帶來更多優秀的遊戲」。

結果過了兩個月就官宣了Stadia下線的訊息……

目前來看，反正谷歌財大氣粗閒錢多，所以試一試KataOS和Rust也不是什麼大事。

大不了，進展不順利了再砍掉，就像以前無數被拍死在沙灘上的谷歌專案一樣。