最近,谷歌在官博上又發(fā)布了一款全新的操作系統(tǒng)——KataOS。
等等,這里為什么要說(shuō)「又」?
出走半生,谷歌的操作系統(tǒng)之心始終不死。對(duì)于全新推出的KataOS,谷歌計(jì)劃讓它成為一個(gè)「可證明的安全平臺(tái)」,并針對(duì)運(yùn)行機(jī)器學(xué)習(xí)應(yīng)用的嵌入式設(shè)備進(jìn)行充分的優(yōu)化。
有趣的是,文章發(fā)布之后,雖然陸續(xù)有了不少報(bào)道,但并沒(méi)有激起什么水花。
沒(méi)想到,就在前幾天,竟然同時(shí)登上了知乎和Reddit的熱榜。
不過(guò),網(wǎng)友們的觀點(diǎn)都出奇的一致——早晚得黃。
KataOS:用Rust寫(xiě)的「安全操作系統(tǒng)」
在博客中,谷歌解釋了開(kāi)發(fā)這個(gè)系統(tǒng)的理由:
“當(dāng)用戶被越來(lái)越多收集和處理環(huán)境信息的智能設(shè)備所包圍時(shí),用戶比任何時(shí)候都更需要一個(gè)簡(jiǎn)單的解決方案,來(lái)為嵌入式硬件構(gòu)建可驗(yàn)證的安全系統(tǒng)。”
“如果用戶的設(shè)備不能證明自己能保證數(shù)據(jù)的安全,那么它們收集的個(gè)人身份識(shí)別數(shù)據(jù)——如人的圖像和聲音的記錄——就可能被惡意軟件獲取。”
“不幸的是,系統(tǒng)安全通常被視為添加到現(xiàn)有系統(tǒng),或通過(guò)額外的ASIC硬件解決的軟件功能——這遠(yuǎn)遠(yuǎn)不夠。”
針對(duì)這個(gè)問(wèn)題,谷歌希望建立一個(gè)可證明的安全平臺(tái),為運(yùn)行ML應(yīng)用程序的嵌入式設(shè)備進(jìn)行優(yōu)化。
現(xiàn)在,谷歌已經(jīng)在GitHub上開(kāi)放了KataOS的幾個(gè)組件,并且已經(jīng)與Antmicro合作開(kāi)發(fā)了Renode模擬器和相關(guān)框架。
這個(gè)新操作系統(tǒng)以seL4作為微內(nèi)核。谷歌給出的理由是:「因?yàn)樗寻踩旁诘谝晃唬凰跀?shù)學(xué)上被證明是安全的,具有保證保密性、完整性和可用性。」
為什么KataOS的安全性這么高呢?
谷歌解釋說(shuō),因?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編寫(xiě)的備用根服務(wù)器(用于全系統(tǒng)的動(dòng)態(tài)內(nèi)存管理),以及對(duì)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é)合起來(lái)。
除了邏輯安全的操作系統(tǒng)內(nèi)核外,Sparrow還包括一個(gè)在RISC-V架構(gòu)上用OpenTitan構(gòu)建的邏輯安全的信任根。對(duì)于最初的版本,谷歌的目標(biāo)是建立一個(gè)用QEMU模擬運(yùn)行的更標(biāo)準(zhǔn)的64位ARM平臺(tái)。
谷歌希望在以后將Sparrow的全部?jī)?nèi)容開(kāi)源,包括所有的硬件和軟件設(shè)計(jì)。
網(wǎng)友:坐等被棄
對(duì)此,不少網(wǎng)友表示:Abandon是早晚的事兒。
還有網(wǎng)友表示:“拋棄現(xiàn)有項(xiàng)目,轉(zhuǎn)而支持那些還沒(méi)成熟的半成品新項(xiàng)目,是谷歌20多年來(lái)的「?jìng)鹘y(tǒng)藝能」了。”
他們會(huì)支付數(shù)十億美元,招攬全球的頂尖人才,花費(fèi)數(shù)年打磨一個(gè)項(xiàng)目,制造出昂貴的東西,然后再丟掉。
對(duì)于游戲領(lǐng)域,他們是三心二意,在大量的項(xiàng)目中手忙腳亂。前腳大舉進(jìn)軍,后腳就狠心拋棄。
在硬件方面,前幾年收購(gòu)Fitibt之后,直到現(xiàn)在都沒(méi)有把它很好地集成到Google Fit里。
取代安卓沒(méi)下文,任職10年高管走人
說(shuō)到谷歌的操作系統(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上的一組神秘源碼,指向了谷歌正在開(kāi)發(fā)的一個(gè)名為「Fuchsia OS」的全新操作系統(tǒng)。
代碼顯示,F(xiàn)uchsia OS能夠跨平臺(tái)運(yùn)行,包括「汽車的娛樂(lè)媒體系統(tǒng)和嵌入式設(shè)備,如手表、手機(jī)、平板以及電腦等等」。
2018年1月,谷歌允許開(kāi)發(fā)者以Google Pixelbook為目標(biāo)設(shè)備,下載Fuchsia OS進(jìn)行開(kāi)發(fā)與測(cè)試。
2019年6月,F(xiàn)uchsia OS的開(kāi)發(fā)者網(wǎng)站Fuchsia.dev上線。
2020年12月,首度在Google Open Source 博亮相,吁開(kāi)發(fā)者來(lái)做貢獻(xiàn)。
2021年5月,谷歌員工證實(shí),F(xiàn)uchsia OS首次實(shí)現(xiàn)了消費(fèi)市場(chǎng)的部署。在對(duì)預(yù)覽版設(shè)備進(jìn)行第一波更新后,F(xiàn)uchsia OS于2021年8月被推送至所有Nest Hub設(shè)備。
最初大家還在猜測(cè),谷歌開(kāi)發(fā)Fuchsia OS的目的是希望以單一平臺(tái)統(tǒng)一移動(dòng)操作系統(tǒng)生態(tài)系。
然而,谷歌至今都未曾說(shuō)明Fuchsia OS的產(chǎn)品定位。
除了應(yīng)用在了新款的Nest Hub上之外,并未像先前說(shuō)明的那樣,應(yīng)用在手機(jī)、平板、電腦,甚至眾多物聯(lián)網(wǎng)設(shè)備上。
時(shí)間來(lái)到2022年3月,F(xiàn)uchsia OS團(tuán)隊(duì)的負(fù)責(zé)人Chris McKillop,宣布自己已經(jīng)離開(kāi)任職10年的谷歌,加入到了微軟Xbox團(tuán)隊(duì)。
不過(guò)比較起來(lái),F(xiàn)uchsia和KataOS還是有區(qū)別的。
KataOS/Sparrow似乎在一開(kāi)始就明確了自己的計(jì)劃——低功耗嵌入式設(shè)備。
從Github項(xiàng)目里可以看到,Sparrow最初的目標(biāo)總內(nèi)存為4MiB。
谷歌墳場(chǎng):那些年被「殺死」的項(xiàng)目們
那么,為啥網(wǎng)友們清一色的表示谷歌早晚要「Abandon」呢?看看那些被腰斬的項(xiàng)目就知道了。
據(jù)統(tǒng)計(jì),這個(gè)數(shù)量至今已經(jīng)達(dá)到了275個(gè)。2023年還沒(méi)到,就已經(jīng)預(yù)定了4個(gè)。
在這片觸目驚心的「谷歌墳場(chǎng)」,你可以按年份搜索它「死」去的項(xiàng)目——2022年,23個(gè);2021年,31個(gè);2020年,25個(gè)……
這不,就在上個(gè)月,谷歌便官宣了云游戲服務(wù)平臺(tái)Stadia正式下線的消息。
時(shí)間回到3年前,谷歌在推出Stadia時(shí)聲稱,只要一臺(tái)普通電腦,裝個(gè)Chrome,就能暢玩游戲大作。
然而,這幾年以來(lái),用戶反饋并不好,甚至可以用糟糕來(lái)形容。
用戶不買(mǎi)賬,游戲陣容遲遲起不來(lái),這業(yè)務(wù)又挺燒錢(qián)的,那就砍了吧。
不過(guò),今年早些時(shí)候,谷歌還專門(mén)針對(duì)Stadia要黃的傳言發(fā)推特澄清過(guò):「Stadia沒(méi)有關(guān)閉。請(qǐng)放心,我們一直在努力為平臺(tái)和Stadia Pro帶來(lái)更多優(yōu)秀的游戲」。
結(jié)果過(guò)了兩個(gè)月就官宣了Stadia下線的消息......
目前來(lái)看,反正谷歌財(cái)大氣粗閑錢(qián)多,所以試一試KataOS和Rust也不是什么大事。
大不了,進(jìn)展不順利了再砍掉,就像以前無(wú)數(shù)被拍死在沙灘上的谷歌項(xiàng)目一樣。
審核編輯 :李倩
-
谷歌
+關(guān)注
關(guān)注
27文章
6223瀏覽量
107532 -
操作系統(tǒng)
+關(guān)注
關(guān)注
37文章
7091瀏覽量
124962
原文標(biāo)題:谷歌又發(fā)新操作系統(tǒng)了!
文章出處:【微信號(hào):CodeSheep,微信公眾號(hào):CodeSheep】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
普華基礎(chǔ)軟件開(kāi)源車用操作系統(tǒng)迎來(lái)全新版本
理想汽車開(kāi)源操作系統(tǒng)的特點(diǎn)及優(yōu)勢(shì)
告別復(fù)雜操作:一款在樹(shù)莓派上測(cè)試操作系統(tǒng)的免費(fèi)工具!

【「鴻蒙操作系統(tǒng)設(shè)計(jì)原理與架構(gòu)」閱讀體驗(yàn)】01-初始華為鴻蒙
開(kāi)源鴻蒙操作系統(tǒng)5.0 Release版本發(fā)布
名單公布!【書(shū)籍評(píng)測(cè)活動(dòng)NO.53】鴻蒙操作系統(tǒng)設(shè)計(jì)原理與架構(gòu)
谷歌與三星聯(lián)合發(fā)布Android XR操作系統(tǒng)
如何在windows上emulate不同操作系統(tǒng)
什么是嵌入式操作系統(tǒng)?
原生鴻蒙操作系統(tǒng)正式發(fā)布,誠(chéng)邁科技與華為一起共建鴻蒙新世界

華為鴻蒙系統(tǒng)正式發(fā)布,華鼎冷鏈科技攜手共筑國(guó)產(chǎn)OS生態(tài)

華為引領(lǐng)國(guó)產(chǎn)操作系統(tǒng)邁向新高度
華為原生鴻蒙操作系統(tǒng)正式發(fā)布
Windows操作系統(tǒng)是什么?它有哪些特點(diǎn)?
嵌入式實(shí)時(shí)操作系統(tǒng):Intewell操作系統(tǒng)與VxWorks操作系統(tǒng)有啥區(qū)別

評(píng)論