注册

死磕操作系统!谷歌重磅发布开源KataOS,网友:「谷歌坟场」喜+1

谷歌又发布新系统了!

等等,我为什么要说「又」?

f5e1b54c48a7e3e7dc2e6536960447cc.png

出走半生,谷歌的操作系统之心始终不死。对于全新推出的KataOS,谷歌计划让它成为一个「可证明的安全平台」,并针对运行机器学习应用的嵌入式设备进行充分的优化。

944344b1b7baa0dff9cc62479cdda7aa.png

有趣的是,文章发布之后,虽然陆续有了不少报道,但并没有激起什么水花。

没想到,就在这两天,竟然同时登上了知乎和Reddit的热榜。

b27470da94f708d5bd7a684454ed011b.png

不过,网友们的观点都出奇的一致——早晚得黄……

KataOS:用Rust写的「安全操作系统」

在博客中,谷歌解释了开发这个系统的理由。

当我们被越来越多收集和处理环境信息的智能设备所包围时,我们比任何时候都更需要一个简单的解决方案,来为嵌入式硬件构建可验证的安全系统。

如果我们的设备不能证明自己能保证数据的安全,那么它们收集的个人身份识别数据——如人的图像和声音的记录——就可能被恶意软件获取。

不幸的是,系统安全通常被视为添加到现有系统,或通过额外的ASIC硬件解决的软件功能——这远远不够。

针对这个问题,谷歌希望建立一个可证明的安全平台,为运行ML应用程序的嵌入式设备进行优化。

现在,谷歌已经在GitHub上开放了KataOS的几个组件,并且已经与Antmicro合作开发了Renode模拟器和相关框架。

19bfafc8a0fca093e028c83567c9e9d4.png

这个新操作系统以seL4作为微内核。谷歌给出的理由是:「因为它把安全放在第一位;它在数学上被证明是安全的,具有保证保密性、完整性和可用性。」

为什么KataOS的安全性这么高呢?

谷歌解释说,因为从逻辑上讲,应用程序不可能破坏内核的硬件安全保护,并且系统组件是可验证安全的。

同时,KataOS也几乎完全由Rust实现,这更是加了一层buff,因为Rust消除了整类错误,比如逐一错误和缓冲区溢出。

26aa5566ff0545422c2c6c34bf294cdc.png

目前的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的横空出世,又会掀起怎样的波澜?

78b2441ae1df8188e2a75a2a258c2f56.png

国外网友:坐等被弃

对此,Reddit网友表示:Abandon是早晚的事儿!

c3788f38afd262788be2495dfa8d04c6.png

另有扎心回复:「不懂就问,是已经宣布关闭日期了吗?」讽刺值瞬间拉满。

f2827eaa12b164065ae56d4aa52b487a.png

可以说,抛弃现有项目,转而支持那些还没成熟的半成品新项目,是谷歌20多年来的「传统艺能」了。

他们会支付数十亿美元,招揽全球的顶尖人才,花费数年打磨一个项目,制造出昂贵的东西,然后再丢掉。

72b2994f6f5372e2b566f838bc86d26f.png

于是,在外界看来,谷歌的方向完全可以用俩字来形容——「混乱」。

对于游戏领域,他们是三心二意,在大量的项目中手忙脚乱。前脚大举进军,后脚就狠心抛弃。

在硬件方面,前几年收购Fitibt之后,直到现在都没有把它很好地集成到Google Fit里。

0fa32437b287b943154f73123c9a460d.png

对于谷歌一言不合就砍项目的操作,有网友调侃道:

「我们决定关掉『Google Existential」。我们仍然会坚信这个概念,但我们觉得它从未达到期望的高度。」

「那个服务是做什么的?」

「我们还没决定呢。」

080fdd52d752c45c071338d7b5542548.png

至于这次推出的KataOS,知乎答主「星辰」表示:

3eb1c1a1c9dd88a2acaa2b83bffde819.png

知乎答主「亚东」也表示,谷歌做出来操作系统还能保它不挂,主要就是太有钱了。无数的古早系统,都死在了沙滩上。

32e7509b20f45a3569edaad7bbddb70c.png

取代安卓没下文,任职10年高管走人

说到谷歌的操作系统,除了大名鼎鼎的「Android」之外,还有一个相当神秘的「Fuchsia OS」。

而Fuchasia OS的命运,或许可以给KataOS做个参考。

要知道,曾经一度,Fuchasia OS可是被宣传为能取代Android的操作系统。

fb7c0d5327f8957270a08d9a42cac880.png

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设备。

00a2c4b3704de40606b712b56984b77b.png

来源:雲爸

最初大家还在猜测,谷歌开发Fuchsia OS的目的是希望以单一平台统一移动操作系统生态系。

然而,谷歌至今都未曾说明Fuchsia OS的产品定位。

除了应用在了新款的Nest Hub上之外,并未像先前说明的那样,应用在手机、平板、电脑,甚至众多物联网设备上。

时间来到2022年3月,Fuchsia OS团队的负责人Chris McKillop,宣布自己已经离开任职10年的谷歌,加入到了微软Xbox团队。

e2405c28d22c249a27d4b62869d62236.png

不过比较起来,Fuchsia和KataOS还是有区别的。

KataOS/Sparrow似乎在一开始就明确了自己的计划——低功耗嵌入式设备。

从Github项目里可以看到,Sparrow最初的目标总内存为4MiB。

谷歌坟场:那些年被「杀死」的项目们

那么,为啥网友们清一色的表示谷歌早晚要「Abandon」呢?

看看那些被腰斩的项目就知道了。

据统计,这个数量至今已经达到了275个。2023年还没到,就已经预定了4个。

在这片触目惊心的「谷歌坟场」,你可以按年份搜索它「死」去的项目——2022年,23个;2021年,31个;2020年,25个……

1cef58495778ecdf1f7683ca3153429d.png

项目地址:https://killedbygoogle.com/

这不,就在上个月,谷歌便官宣了云游戏服务平台Stadia正式下线的消息。

时间回到3年前,谷歌在推出Stadia时声称,只要一台普通电脑,装个Chrome,就能畅玩游戏大作。

然而,这几年以来,用户反馈并不好,甚至可以用糟糕来形容。

22b013fefcdd4caeb89832aff9d154bb.png

用户不买账,游戏阵容迟迟起不来,这业务又挺烧钱的,那就砍了吧。

不过,今年早些时候,谷歌还专门针对Stadia要黄的传言发推特澄清过:「Stadia没有关闭。请放心,我们一直在努力为平台和Stadia Pro带来更多优秀的游戏」。

d79e9b7a92edd7bc5f4222cd62d79858.png

结果过了两个月就官宣了Stadia下线的消息......

3c224d76ef13045661ec5904e2b0fb66.png

目前来看,反正谷歌财大气粗闲钱多,所以试一试KataOS和Rust也不是什么大事。

大不了,进展不顺利了再砍掉,就像以前无数被拍死在沙滩上的谷歌项目一样。

参考资料:

https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html

https://www.reddit.com/r/programming/comments/y7noit/google_announces_a_new_os_written_in_rust/

https://www.zhihu.com/question/560937437

来源:好困 Aeneas | 新智元

0 个评论

要回复文章请先登录注册