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

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

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

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

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

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

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

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

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

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

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

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

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

這個(gè)新操作系統(tǒng)以seL4作為微內(nèi)核。谷歌給出的理由是：「因?yàn)樗寻踩旁诘谝晃唬凰跀?shù)學(xué)上被證明是安全的，具有保證保密性、完整性和可用性。」

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

谷歌解釋說，因?yàn)閺倪壿嬌现v，應(yīng)用程序不可能破壞內(nèi)核的硬件安全保護(hù)，并且系統(tǒng)組件是可驗(yàn)證安全的。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

谷歌墳場：那些年被「殺死」的項(xiàng)目們

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

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

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

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

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

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

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

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

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

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

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

審核編輯 ：李倩