谷歌在官博上又發(fā)布了一款全新的操作系統(tǒng)——KataOS

最近，谷歌在官博上又發(fā)布了一款全新的操作系統(tǒng)——KataOS。

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

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

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

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

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

KataOS：用Rust寫的「安全操作系統(tǒng)」

在博客中，谷歌解釋了開發(fā)這個系統(tǒng)的理由：

“當用戶被越來越多收集和處理環(huán)境信息的智能設(shè)備所包圍時，用戶比任何時候都更需要一個簡單的解決方案，來為嵌入式硬件構(gòu)建可驗證的安全系統(tǒng)。”

“如果用戶的設(shè)備不能證明自己能保證數(shù)據(jù)的安全，那么它們收集的個人身份識別數(shù)據(jù)——如人的圖像和聲音的記錄——就可能被惡意軟件獲取。”

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

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

現(xiàn)在，谷歌已經(jīng)在GitHub上開放了KataOS的幾個組件，并且已經(jīng)與Antmicro合作開發(fā)了Renode模擬器和相關(guān)框架。

這個新操作系統(tǒng)以seL4作為微內(nèi)核。谷歌給出的理由是：「因為它把安全放在第一位；它在數(shù)學上被證明是安全的，具有保證保密性、完整性和可用性。」

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

谷歌解釋說，因為從邏輯上講，應(yīng)用程序不可能破壞內(nèi)核的硬件安全保護，并且系統(tǒng)組件是可驗證安全的。

同時，KataOS也幾乎完全由Rust實現(xiàn)，這更是加了一層buff，因為Rust消除了整類錯誤，比如逐一錯誤和緩沖區(qū)溢出。

目前的GitHub版本，已經(jīng)涵蓋了大部分KataOS的核心部分，包括用于Rust的框架（如sel4-sys crate，用于讓seL4系統(tǒng)調(diào)用API），一個用Rust編寫的備用根服務(wù)器（用于全系統(tǒng)的動態(tài)內(nèi)存管理），以及對seL4的內(nèi)核修改，用于回收根服務(wù)器使用的內(nèi)存。

在內(nèi)部，KataOS也能夠動態(tài)地加載和運行CAmkES框架之外的第三方應(yīng)用程序。

目前，Github上的代碼不包括運行這些應(yīng)用程序所需的組件，這些功能可能會在不久后發(fā)布。

同時，谷歌還為KataOS建立一個名為Sparrow的參考實現(xiàn)，它讓KataOS與安全的硬件平臺結(jié)合起來。

除了邏輯安全的操作系統(tǒng)內(nèi)核外，Sparrow還包括一個在RISC-V架構(gòu)上用OpenTitan構(gòu)建的邏輯安全的信任根。對于最初的版本，谷歌的目標是建立一個用QEMU模擬運行的更標準的64位ARM平臺。

谷歌希望在以后將Sparrow的全部內(nèi)容開源，包括所有的硬件和軟件設(shè)計。

網(wǎng)友：坐等被棄

對此，不少網(wǎng)友表示：Abandon是早晚的事兒。

還有網(wǎng)友表示：“拋棄現(xiàn)有項目，轉(zhuǎn)而支持那些還沒成熟的半成品新項目，是谷歌20多年來的「傳統(tǒng)藝能」了?！?/p>

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

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

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

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

說到谷歌的操作系統(tǒng)，除了大名鼎鼎的「Android」之外，還有一個相當神秘的「Fuchsia OS」。而Fuchasia OS的命運，或許可以給KataOS做個參考。

要知道，曾經(jīng)一度，F(xiàn)uchasia OS可是被宣傳為能取代Android的操作系統(tǒng)。

2016年8月，GitHub上的一組神秘源碼，指向了谷歌正在開發(fā)的一個名為「Fuchsia OS」的全新操作系統(tǒng)。

代碼顯示，F(xiàn)uchsia OS能夠跨平臺運行，包括「汽車的娛樂媒體系統(tǒng)和嵌入式設(shè)備，如手表、手機、平板以及電腦等等」。

2018年1月，谷歌允許開發(fā)者以Google Pixelbook為目標設(shè)備，下載Fuchsia OS進行開發(fā)與測試。

2019年6月，F(xiàn)uchsia OS的開發(fā)者網(wǎng)站Fuchsia.dev上線。

2020年12月，首度在Google Open Source 博亮相，吁開發(fā)者來做貢獻。

2021年5月，谷歌員工證實，F(xiàn)uchsia OS首次實現(xiàn)了消費市場的部署。在對預(yù)覽版設(shè)備進行第一波更新后，F(xiàn)uchsia OS于2021年8月被推送至所有Nest Hub設(shè)備。

最初大家還在猜測，谷歌開發(fā)Fuchsia OS的目的是希望以單一平臺統(tǒng)一移動操作系統(tǒng)生態(tài)系。

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

除了應(yīng)用在了新款的Nest Hub上之外，并未像先前說明的那樣，應(yīng)用在手機、平板、電腦，甚至眾多物聯(lián)網(wǎng)設(shè)備上。

時間來到2022年3月，F(xiàn)uchsia OS團隊的負責人Chris McKillop，宣布自己已經(jīng)離開任職10年的谷歌，加入到了微軟Xbox團隊。

不過比較起來，F(xiàn)uchsia和KataOS還是有區(qū)別的。

KataOS/Sparrow似乎在一開始就明確了自己的計劃——低功耗嵌入式設(shè)備。

從Github項目里可以看到，Sparrow最初的目標總內(nèi)存為4MiB。

谷歌墳場：那些年被「殺死」的項目們

那么，為啥網(wǎng)友們清一色的表示谷歌早晚要「Abandon」呢？看看那些被腰斬的項目就知道了。

據(jù)統(tǒng)計，這個數(shù)量至今已經(jīng)達到了275個。2023年還沒到，就已經(jīng)預(yù)定了4個。

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

這不，就在上個月，谷歌便官宣了云游戲服務(wù)平臺Stadia正式下線的消息。

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

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

用戶不買賬，游戲陣容遲遲起不來，這業(yè)務(wù)又挺燒錢的，那就砍了吧。

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

結(jié)果過了兩個月就官宣了Stadia下線的消息......

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

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

審核編輯 ：李倩