用户名:  密码:   
网站首页即时通讯活动公告最新消息科技前沿学人动向两岸三地人在海外历届活动关于我们联系我们申请加入
栏目导航 — 美国华裔教授专家网科技动向科技前沿
关键字  范围   
 
谷歌又发布新 KataOS 操作系统系统
来源:Aeneas | 2022/10/26 13:25:25 | 浏览:1659 | 评论:0

谷歌又发布新 KataOS 操作系统系统

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

谷歌又发布新 KataOS 操作系统系统

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

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

谷歌又发布新 KataOS 操作系统系统

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

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

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

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

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

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

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

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

谷歌又发布新 KataOS 操作系统系统

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

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

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

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

谷歌又发布新 KataOS 操作系统系统

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

谷歌又发布新 KataOS 操作系统系统

国外网友:坐等被弃

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

谷歌又发布新 KataOS 操作系统系统

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

谷歌又发布新 KataOS 操作系统系统

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

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

谷歌又发布新 KataOS 操作系统系统

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

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

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

谷歌又发布新 KataOS 操作系统系统

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

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

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

「我们还没决定呢。」

谷歌又发布新 KataOS 操作系统系统

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

谷歌又发布新 KataOS 操作系统系统

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

谷歌又发布新 KataOS 操作系统系统

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

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

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

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

谷歌又发布新 KataOS 操作系统系统

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

谷歌又发布新 KataOS 操作系统系统

来源:雲爸

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

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

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

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

谷歌又发布新 KataOS 操作系统系统

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

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

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

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

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

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

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

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

谷歌又发布新 KataOS 操作系统系统

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

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

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

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

谷歌又发布新 KataOS 操作系统系统

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

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

谷歌又发布新 KataOS 操作系统系统

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

目前来看,反正谷歌财大气粗闲钱多,所以试一试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

相关栏目:『科技前沿
ChatGPT 之父最新演讲:GPT-5即将迎来史诗级提升,碾压众多AI初创公司 2024-04-26 [8]
AI成功改写人类DNA,全球首个基因编辑器震撼开源! 2024-04-24 [69]
这就是OpenAI神秘的Q*?斯坦福:语言模型就是Q函数 2024-04-24 [40]
保密的话,交给量子电话 2024-04-24 [48]
电子皮肤-一种在顺形基板上微器件的位点选择性集成策略 2024-04-24 [43]
天文学家:外星生命早已殖民整个宇宙,交通工具很多人见过 2024-04-23 [53]
Sora之后,OpenAI Lilian Weng亲自撰文教你从头设计视频生成扩散模型 2024-04-23 [47]
AI大模型催生App“通胀” 2024-04-21 [72]
布洛赫电子的拓扑与几何 2024-04-21 [74]
GPT-4化身黑客搞破坏,成功率87%!OpenAI要求保密提示词,网友复现ing 2024-04-21 [77]
相关栏目更多文章
最新图文:
:天津工业大学“经纬英才”引进计划 :浙江财经大学国际青年学者论坛的邀请函 (10/31-11/1) :美国加大审查范围 北大多名美国留学生遭联邦调查局质询 :天安门广场喜迎“十一”花团锦簇的美丽景象 马亮:做院长就能够发更多论文?论文发表是不是一场“权力的游戏”? :印裔人才在美碾压华裔:我们可以从印度教育中学到什么? :北京452万人将从北京迁至雄安(附部分央企名单) :《2019全球肿瘤趋势报告》
更多最新图文
更多《即时通讯》>>
 
打印本文章
 
您的名字:
电子邮件:
留言内容:
注意: 留言内容不要超过4000字,否则会被截断。
未 审 核:  是
  
关于我们联系我们申请加入后台管理设为主页加入收藏
美国华裔教授专家网版权所有,谢绝拷贝。如欲选登或发表,请与美国华裔教授专家网联系。
Copyright © 2024 ScholarsUpdate.com. All Rights Reserved.