来源|好困/Aeneas /新智元
比来，谷歌在官博上又发布了一款全新的操做系统——KataOS。
等等，那里为什么要说「又」？
出走半生，谷歌的操做系统之心始末不死。关于全新推出的KataOS，谷歌方案让它成为一个「可证明的平安平台」，并针对运行机器进修利用的嵌进式设备停止足够的优化。
有趣的是，文章发布之后，固然陆续有了很多报导，但并没有激起什么水花。
没想到，就在前几天，竟然同时登上了知乎和Reddit的热榜。
不外，网友们的看点都出奇的一致——迟早得黄
KataOS：用Rust写的「平安操做系统」
在博客中，谷歌阐了然开发那个系统的理由：
“当用户被越来越多搜集和处置情况信息的智能设备所包抄时，用户比任何时候都更需要一个简单的处理计划，来为嵌进式硬件构建可验证的平安系统。”
“不幸的是，系统平安凡是被视为添加到现有系统，或通过额外的ASIC硬件处理的软件功用——那远远不敷。”
针对那个问题，谷歌期看成立一个可证明的平安平台，为运行ML利用法式的嵌进式设备停止优化。
如今，谷歌已经在GitHub上开放了KataOS的几个组件，而且已经与Antmicro协做开发了Renode模仿器和相关框架。
那个新操做系统以seL4做为微内核。谷歌给出的理由是：「因为它把平安放在第一位；它在数学上被证明是平安的，具有包管保密性、完全性和可用性。」
为什么KataOS的平安性那么高呢？
谷歌阐明说，因为从逻辑上讲，利用法式不成能毁坏内核的硬件平安庇护，而且系统组件是可验证平安的。
同时，KataOS也几乎完全由Rust实现，那更是加了一层buff，因为Rust消弭了整类错误，好比一一错误和缓冲区溢出。
目前的GitHub版本，已经涵盖了大部门KataOS的核心部门，包罗用于Rust的框架（如sel4-sys crate，用于让seL4系统挪用API），一个用Rust编写的备用根办事器（用于全系统的动态内存治理），以及对seL4的内核修改，用于收受接管根办事器利用的内存。
在内部，KataOS也可以动态地加载和运行CAmkES框架之外的第三方利用法式。
目前，Github上的代码不包罗运行那些利用法式所需的组件，那些功用可能会在不久后发布。
同时，谷歌还为KataOS成立一个名为Sparrow的参考实现，它让KataOS与平安的硬件平台连系起来。
除了逻辑平安的操做系统内核外，Sparrow还包罗一个在RISC-V架构上用OpenTitan构建的逻辑平安的相信根。关于最后的版本，谷歌的目标是成立一个用QEMU模仿运行的更原则的64位ARM平台。
谷歌期看在以后将Sparrow的全数内容开源，包罗所有的硬件和软件设想。
网友：坐等被弃
对此，很多网友表达：Abandon是迟早的事儿
还有网友表达：“放弃现有项目，转而撑持那些还没成熟的半废品新项目，是谷歌20多年来的「传统艺能」了。”
他们会付出数十亿美圆，招揽全球的顶尖人才，破费数年打磨一个项目，造造出高贵的工具，然后再丢掉。
关于游戏范畴，他们是三心二意，在大量的项目中手忙脚乱。前脚大举进军，后脚就狠心放弃。
在硬件方面，前几年收买Fitibt之后，曲到如今都没有把它很好地集成到Google Fit里。
代替安卓没下文，任职10年高管走人
说到谷歌的操做系统，除了大名鼎鼎的「Android」之外，还有一个相当神异的「Fuchsia OS」。而Fuchasia OS的命运，或答应以给KataOS做个参考。
要晓得，曾经一度，Fuchasia OS可是被鼓吹为能代替Android的操做系统。
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设备。
最后各人还在揣测，谷歌开发Fuchsia OS的目标是期看以单一平台同一挪动操做系统生态系。
然而，谷歌至今都不曾阐明Fuchsia OS的产物定位。
除了利用在了新款的Nest Hub上之外，并未像先前阐明的那样，利用在手机、平板、电脑，以至浩瀚物联网设备上。
时间来到2022年3月，Fuchsia OS团队的负责人Chris McKillop，公布本身已经分开任职10年的谷歌，加进到了微软Xbox团队。
不外比力起来，Fuchsia和KataOS仍是有区此外。
KataOS/Sparrow似乎在一起头就明白了本身的方案——低功耗嵌进式设备。
从Github项目里能够看到，Sparrow最后的目标总内存为4MiB。
谷歌墓地：那些年被「杀死」的项目们
那么，为啥网友们清一色的表达谷歌迟早要「Abandon」呢？看看那些被腰斩的项目就晓得了。
据统计，那个数量至今已经到达了275个。2023年还没到，就已经预定了4个。
在那片惊心动魄的「谷歌墓地」，你能够按年份搜刮它「死」往的项目——2022年，23个；2021年，31个；2020年，25个……
那不，就在上个月，谷歌便官宣了云游戏办事平台Stadia正式下线的动静。
时间回到3年前，谷歌在推出Stadia时声称，只要一台通俗电脑，拆个Chrome，就能畅玩游戏高文。
然而，那几年以来，用户反应其实不好，以至能够用蹩脚来描述。
用户不买账，游戏阵容迟迟起不来，那营业又挺烧钱的，那就砍了吧。
不外，本年早些时候，谷歌还专门针对Stadia要黄的传言发推特廓清过：「Stadia没有封闭。请安心，我们不断在勤奋为平台和Stadia Pro带来更多优良的游戏」。
成果过了两个月就官宣了Stadia下线的动静......
目前来看，归正谷歌财大气粗闲钱多，所以试一试KataOS和Rust也不是什么大事。
大不了，停顿不顺利了再砍掉，就像以前无数被拍死在沙岸上的谷歌项目一样
参考阅读：
进门: 最全的零根底学Python的问题 | 零根底学了8个月的Python |实战项目 | 学Python就是那条捷径
干货:爬取豆瓣短评，片子《后来的我们》 | 38年NBA更佳球员阐发 |从万寡等待到口碑扑街！唐探3令人失看 | 笑看新倚天屠龙记 | 灯谜答题王 ｜ 用Python做个海量蜜斯姐素描图 ｜ 碟中谍那么火，我用机器进修做个迷你选举系统片子
兴趣:弹球游戏 | 九宫格 | 标致的花 | 两百行Python《天天酷跑》游戏!
AI:会做诗的机器人 | 给图片上色 | 揣测收进 | 碟中谍那么火，我用机器进修做个迷你选举系统片子
小东西: Pdf转Word，轻松搞定表格和水印！ | 一键把html网页保留为pdf！ |再见PDF提取收费！ | 用90行代码打造最强PDF转换器，word、PPT、excel、markdown、html一键转换 | 造造一款钉钉低价机票提醒器！ ｜60行代码做了一个语音壁纸切换器天天看蜜斯姐！ ｜
年度爆款案牍
1). 卧槽！Pdf转Word用Python轻松搞定 ！
2).学Python实香！我用100行代码做了个网站，帮人PS游览图片，赚个鸡腿食
3).首播过亿，火爆全网，我阐发了《披荆斩棘的姐姐》，发现了那些奥秘
4). 80行代码！用Python做一个哆来A梦分身
5).你必需掌握的20个python代码，短小精悍，用途无限
6). 30个Python奇淫身手集
7). 我总结的80页《菜鸟学Python精选干货.pdf》,都是干货
8). 再见Python！我要学Go了！2500字深度阐发 ！
9).发现一个舔狗福利！那个Python爬虫神器太爽了，主动下载妹子图片