最近，谷歌在官博上又發布了一款全新的操作系統——KataOS。

等等，這里為什么要說「又」？

出走半生，谷歌的操作系統之心始終不死。對于全新推出的KataOS，谷歌計劃讓它成為一個「可證明的安全平臺」，并針對運行機器學習應用的嵌入式設備進行充分的優化。

有趣的是，文章發布之后，雖然陸續有了不少報道，但并沒有激起什么水花。

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

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

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

在博客中，谷歌解釋了開發這個系統的理由：

“當用戶被越來越多收集和處理環境信息的智能設備所包圍時，用戶比任何時候都更需要一個簡單的解決方案，來為嵌入式硬件構建可驗證的安全系統?！?/p>

“如果用戶的設備不能證明自己能保證數據的安全，那么它們收集的個人身份識別數據——如人的圖像和聲音的記錄——就可能被惡意軟件獲取?！?/p>

“不幸的是，系統安全通常被視為添加到現有系統，或通過額外的ASIC硬件解決的軟件功能——這遠遠不夠。”

針對這個問題，谷歌希望建立一個可證明的安全平臺，為運行ML應用程序的嵌入式設備進行優化。

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

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

為什么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的全部內容開源，包括所有的硬件和軟件設計。

網友：坐等被棄

對此，不少網友表示：Abandon是早晚的事兒。

還有網友表示：“拋棄現有項目，轉而支持那些還沒成熟的半成品新項目，是谷歌20多年來的「傳統藝能」了。”

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

對于游戲領域，他們是三心二意，在大量的項目中手忙腳亂。前腳大舉進軍，后腳就狠心拋棄。

在硬件方面，前幾年收購Fitibt之后，直到現在都沒有把它很好地集成到Google Fit里。

取代安卓沒下文，任職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也不是什么大事。

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

審核編輯 ：李倩