【新情报介绍】近日，谷歌在官方博客上发布了全新的操作系统——。

发布新系统了！

等一下，我为什么说“再一次”？

经过半生的徘徊，谷歌对操作系统的心从未消逝。对于新发布的操作系统，谷歌计划将其打造成一个“可证明的安全平台”，并针对运行机器学习应用程序的嵌入式设备进行全面优化。

有趣的是，该文章发表后，虽然有大量报道，但却没有引发什么轰动。

没想到，这两天它却上了知乎、微博的热榜。

不过网友们的看法却出奇的一致——迟早会变黄……

：用 Rust 编写的“安全操作系统”

谷歌在一篇博客文章中解释了开发该系统的理由。

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

如果我们的设备不能证明自己有能力保证数据的安全，它们收集的个人身份数据（如人们的图像和声音记录）可能会被恶意软件获取。

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

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

目前，谷歌已经在上开源了该平台的多个组件，并与谷歌合作开发模拟器和相关框架。

这款新操作系统采用seL4作为微内核，谷歌给出的理由是：“因为它把安全放在第一位，经过数学证明是安全的，并且保证了机密性、完整性和可用性。”

为什么安全性这么高？

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

它也几乎完全用 Rust 编写，这是一个额外的好处，因为 Rust 消除了整个类别的错误，例如逐个错误和缓冲区溢出。

当前版本已经涵盖了大部分核心部分，包括 Rust 框架（例如用于制作 seL4 系统调用 API 的 sel4-sys）、用 Rust 编写的替代根服务器（用于系统范围的动态内存管理）以及对 seL4 的内核修改，用于回收根服务器使用的内存。

内部还可以动态加载并运行框架外的第三方应用程序。

目前， 上的代码并不包含运行这些应用程序所需的组件，但这些功能可能会在不久的将来发布。

与此同时，谷歌还在构建一个名为的参考实现，这使得它能够与安全的硬件平台相结合。

除了逻辑安全的操作系统内核，它还包括基于 RISC-V 架构构建的逻辑安全信任根。对于初始版本，谷歌的目标是构建一个以 QEMU 仿真方式运行的更标准的 64 位 ARM 平台。

谷歌希望未来能够将全部内容开源，包括所有硬件和软件设计。

现在，谷歌发出号召，呼吁大家共同打造“值得信赖的智能环境ML系统的未来”。

它的突然出现，又将掀起怎样的波澜？

外国网友：等待被抛弃

对此，网友们表示：只是时间问题！

又一条让人揪心的回复：“不懂就问，截止日期公布了吗？”讽刺程度瞬间达到极致。

可以说，放弃已有项目、转而支持尚未成熟的半成品新项目，已经是谷歌二十多年的“传统技能”。

他们会投入数十亿美元，招募世界顶尖人才，花费数年时间完善一个项目，创造出昂贵的东西，然后把它扔掉。

所以，在外界看来，谷歌的方向可以用两个词来形容——“乱”。

他们在游戏领域三心二意，同时处理大量项目，前进一步大力推进，下一步又无情地放弃。

硬件方面，几年前收购之后，到现在还没有很好的融入到Fit当中。

对于谷歌一有分歧就砍项目的操作，有网友调侃道：

“我们决定停播《黑客帝国》。我们仍然相信这个概念，但我们觉得它没有达到人们的预期。”

“这项服务是做什么的？”

“我们还没决定。”

对于此次的上线，知乎回答者“星辰”表示：

知乎回答者“亚东”也说了，谷歌能做出一个操作系统，并且不至于崩盘，最主要的原因还是它太有钱了，无数的老系统都死在了沙滩上。

替代品无新消息，高管十年后离职

说起的操作系统，除了大名鼎鼎的“”之外，还有一个颇为神秘的“OS”。

OS的命运或许可以作为借鉴。

您知道，OS 曾经被宣传为替代操作系统。

2016年8月，网上一组神秘的源代码指向谷歌正在开发的一种名为“OS”的新操作系统。

代码显示该操作系统可跨平台运行，包括“车载娱乐媒体系统和手表、手机、平板电脑、电脑等嵌入式设备”。

2018 年 1 月，谷歌允许开发人员下载该操作系统，用于目标设备的开发和测试。

2019年6月，OS的开发者网站.dev上线。

2020年12月，它在开放博客上首次亮相，呼吁开发人员做出贡献。

2021 年 5 月，谷歌员工确认 OS 已实现首次消费市场部署。在预览设备进行第一波更新后，OS 于 2021 年 8 月推送至所有 Nest Hub 设备。