您当前的位置:首页 > 文章 > 谷歌操作系统之心不死,重磅发布 KataOS 操作系统!

谷歌操作系统之心不死,重磅发布 KataOS 操作系统!

作者: 何苗 时间:2022-10-21 阅读数:423 人阅读
近日,谷歌在开源官博发布了新的开源操作系统 KataOS,引发业内关注。

这是个用于进行机器学习的嵌入式设备的开源操作系统。谈及发布缘由,谷歌表示," 随着我们被越来越多的从环境中收集和处理信息的智能设备所包围,需要有一个简单的解决方案来为嵌入式硬件构建可验证的安全系统。如果我们周围的设备无法通过数学证明能够保护数据安全,那么他们收集的个人身份数据,例如人物图像和声音录音,可能会被恶意软件访问,因此我们推出了 KataOS。"

所以 KataOS 从设计上就考虑了安全问题,几乎完全是由 Rust 实现,而且是建立在 seL4 微内核的基础之上,而 seL4 在数学上被证明是安全的,具有保证保密性、完整性和可用性。此外,Rust 语言消除了所有类型的错误,例如 off-by-one 错误和缓冲区溢出。

对于 KataOS 的未来,大家多持观望态度。谷歌旗下出色的产品虽多,但操作系统一直是它的痛与执着。


谷歌为什么死磕操作系统?

谷歌拥有多款开源操作系统。

2007 年谷歌开始推广的 Android 是基于 Linux 开源操作系统构建而成,目前生态体系已经很庞大,在移动操作系统领域市场份额一直稳居市场第一。

2010 年推出的开源操作系统 Chrome OS 也是基于 Linux,在今年的数据统计中,其市场份额甚至还超越了 macOS,成为全球第二大操作系统。

2021 年发布的 Fuchsia1.0 操作系统也是开源操作系统,部分继承了安卓系统的 UI 设计和界面逻辑,其载体不仅是智能手机,还有平板电脑、笔记本电脑甚至是可穿戴设备。

今年 2 月份,谷歌发布的 Chrome OS Flex 系统是谷歌基于开源的 Chromium OS 开发的操作系统,被称为“旧电脑救星”,它对系统组件进行了尽可能地精简,可以让大量老旧、低性能 PC 设备都能够安装并使用。

再到今年10月谷歌发布的 KataOS ,早期版本也已在 GitHub 开源。

众所周知,Android 已经是个非常成功且成熟的操作系统了,重新开发一个操作系统,不管是前期的技术储备、研发,还是开发完成后软件生态的打造、宣传推广等等,都需要耗费巨大的人力、财力、时间,为什么谷歌还要坚持再打造这么多的操作系统?关于这个疑问业内大致有以下几种猜想:

1、Android 有大量的先天缺陷。如系统版本碎片化严重、对恶意应用的行为缺乏应对措施、内存占有、设备随着使用时间逐渐变卡等问题,困扰着 Android 用户,也困扰着谷歌。由于 Android 最初并不完全由谷歌研发的,谷歌收购 Android 的研发团队之前,他们已经几乎完成了一半的开发工作,因此重新设计、开发一个新的操作系统似乎是个不错的选择。

2、为了规避法律风险。Android 之父 Andy Rubin 在早期使用了版权归甲骨文公司所有的代码段,导致后来谷歌为此付出了几十亿美元的赔偿,并且此后继续承担着法律风险。

3、目前风靡世界的操作系统大多数采用的软件“内核”都太老。Android 使用的 Linux 内核始于 1991 年。Mac OS X、iOS 等苹果平台以 Unix 为基础研发,源自 1969 年的贝尔实验室。

无论谷歌是出于哪点考虑,想做新操作系统的心一直未改变,操作系统作为基础软件皇冠上的明珠,的确有着让人想要摘取的魅力。基于开源来做操作系统,也能最大程度汇聚一众开发者的智慧与力量。

KataOS 之未来

不过,谷歌最新发布 KataOS 是否能闪耀出自己的光芒,还得往后看。目前,谷歌已经在 GitHub 开源了大部分 KataOS 核心部分代码。具体包括:

用于 Rust 的框架(例如 sel4-sys crate,它提供了 seL4 系统调用 API);

用 Rust 编写的备用 rootserver(用于动态系统范围的内存管理);

可以回收 rootserver 所用内存的 sel4 内核修改

谷歌方面透露,已经与 Antmicro 合作,通过 Renode 为目标硬件实现 GDB 调试和模拟。在内部,KataOS 还能够动态加载和运行在 CAmkES 框架之外构建的第三方应用。但运行这些应用程序所需的组件暂时还未开源,谷歌的目标是开源所有 Sparrow,包括所有硬件和软件设计;现下发布的 KataOS 早期版本只是一个开始。

为了全面证明 KataOS 是一款安全的环境系统,谷歌还为 KataOS 构建了一个名为 Sparrow 的参考实现,它将 KataOS 与安全硬件平台结合起来。因此,除了逻辑安全的操作系统内核之外,Sparrow 还包括一个逻辑安全的信任根,该信任根是在 RISC-V 架构上用 OpenTitan 构建的。然而,对于 KataOS 的初始版本,谷歌的目标是使用 QEMU 模拟运行更标准的 64 位 ARM 平台。

最近几年,尝试开发新操作系统的公司又多了起来,无论如何,创新对消费者来说始终是好事。我们也非常期待在新的时代操作系统能够走出一个新方向。

本站大部分文章、数据、图片均来自互联网,一切版权均归源网站或源作者所有。

如果侵犯了您的权益请来信告知我们删除。邮箱:1451803763@qq.com

标签:技术杂文