在知乎看到「Rust在嵌入式开发中的表现如何?」这个问题,于是写了一篇答案,顺便讲一个故事。
之前看到了 TockOS(Rust实现的实时操作系统)团队在2015年写过的论文:https://www.tockos.org/assets/papers/tock-plos2015.pdf
在论文里面该团队总结了 Rust 开发嵌入式的一些不足,以及他们总结出来 Rust 需要改进的地方。然而,这其实是TockOS 犯下的一个乌龙错误。
我来帮大家梳理一下整个乌龙事件的过程,并且帮助大家对嵌入式开发特点有一个基本认识。
嵌入式开发特点:
虽然安全性无法防止逻辑错误 或 产生Bug,但是它确实能极大保护嵌入式内核免受硬崩溃。不幸的是,对于系统编程来说,通常的安全语言典型的附加特性,其缺点往往超过这些优点。例如,GC会引入不确定性延迟,自动内存分配器使常见的内核优化变得复杂,例如Slab分配。
而 Rust 语言,则是在无GC的情况下保证了安全性和性能。TockOS的目标是在内存少于1MB字节的嵌入式平台使用,比如仅有64KB内存的开发平台。怎么看,Rust都是非常适合这个开发目标的。
但是,在 2015年的论文里,TockOS团队提出,Rust 的所有权在实现嵌入式内核的时候,遇到了三个问题:
为了更好地支持事件驱动的嵌入式平台,TockOS 团队探索了一种可能的语言功能,称之为「执行上下文(execution contexts)」。当基础硬件约束或执行模型可以可靠地防止并发问题时,此功能将为 Rust 提供一个有价值的工具,用于允许安全的内存共享。
Rust 所有权机制在很多系统下是没有问题的,但是在一些使用基于非线程的并发模型的系统以及必须共享资源的情况下则无法正常工作。
比如,嵌入式操作系统避免了诸如线程之类的内存密集型机制,而是选择了事件驱动的并发性。类似地,微控制器通常没有硬件内存管理单元,并且不支持虚拟内存。因此,它们避免了动态内存机制,这是因为不可能交换内存以在内存耗尽时正常降级,也因为可以明确禁止动态分配。
为了避免所有权带来的一些问题,团队使用了各种hack的写法,但是反而破坏了对嵌入式操作系统利用编译时安全检查的目的。
然后,在2017年的时候,TockOS 发现,他们其实是因为对 Rust 的认识不深,导致了误解。然后又马上发了一篇新的论文来纠正之前的错误认知。问题的解决方法也比较简单:使用Rust的内部可变性。
博客:https://www.tockos.org/blog/2017/apsys-paper/
论文:https://www.tockos.org/assets/papers/rust-kernel-apsys2017.pdf
在新的论文中,TockOS团队说:
以我们在Rust中编写资源高效的嵌入式内核的经验发现,仅需一小部分不安全的抽象就可以形成通用的内核构建块。所以,我们认为 Rust 选择使用线性类型系统来避免运行时内存管理将使下一代安全操作系统成为了可能。
在新的论文里讲到,TockOS中需要信任两种类型的 Unsafe 代码。
具体来说,内核依赖于以下四个使用 Unsafe 代码的Rust抽象形式:
论文后面还有很多关于嵌入式硬件抽象的内容,就不一一罗列了。
这个故事告诉我们,做 Rust 开发,一定要先掌握好 Rust 的概念,否则会造成乌龙。
打开TockOS团队最新博客看了一眼,真不得了。
https://www.tockos.org/blog/2020/hello-opensk/
Google发布的这个 OpenSK 是跑在 Tock上面的!
插一段新闻
如今,FIDO安全密钥通过提供一种简单的两因素身份验证(2FA)来防止网上诱骗,从而保护了帐户,这种形式正变得越来越广泛。但是,并非每个人都可以访问和使用它们。为了促进和改善对FIDO Authenticator实现的访问,Google宣布发布OpenSK,这是用Rust编写的安全密钥的开源实现,该密钥同时支持FIDO U2F和FIDO2标准。
该项目将帮助业余爱好者,硬件供应商和研究人员进行开发和创新。通过刷新Nordic芯片加密狗上的OpenSK固件,人们可以制作自己的安全密钥。
除了价格低廉外,Google解释说选择Nordic芯片加密狗作为初始参考硬件是因为它支持FIDO2中提到的所有主要传输协议,包括NFC,低功耗蓝牙,USB和专用硬件加密内核。此外,Google提供了可定制的3D打印保护套,可以在各种打印机上使用。
根据Google的说法,OpenSK是用Rust编写的,可在TockOS上运行,以提供更好的隔离性和更简洁的操作系统抽象以支持安全性。Rust具有强大的内存安全性和零成本的抽象性,从而使代码不易受到逻辑攻击。通过其沙箱体系结构,TockOS提供了安全密钥小应用程序,驱动程序和内核之间的隔离,这是构建深度防御所需的。Google对TockOS的贡献,包括闪存存储系统和补丁,已上传到TockOS存储库的上游。
谷歌还表示,希望将OpenSK扩展到其他类型的芯片,并带来更多创新和新功能,以及更强大的嵌入式加密技术。
看见了吗?Google的OpenSK 也是 Rust实现的:https://github.com/google/OpenSK
Rust 正在悄悄的改变世界!