Rust – IoT前哨站

Google本周宣布发布KataOS（开发代号Sparrow）作为他们最新专注于运行环境侧重于机器学习工作负载的嵌入式设备的操作系统。KataOS从设计上就具备安全意识，使用Rust编程语言开发，并建立在seL4微内核的基础之上。

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

据介绍，KataOS 选择了 seL4 作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4 CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。

KataOS 提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。

此外，KataOS 几乎完全在 Rust 中实现，该语言消除了所有类型的错误，例如 off-by-one 错误和缓冲区溢出。

目前的GitHub版本包括大多数KataOS的核心部分，包括我们用于Rust的框架（如sel4-sys crate，它提供了seL4系统调用API），一个用Rust编写的备用根服务器（需要动态全系统内存管理），以及对seL4的内核修改，可以回收根服务器使用的内存。”

GitHub上可以看到相关项目进展：

随着软件业的蓬勃发展，越来越多的新技术开始呈现在大家面前。比如Golang和Rust这两门计算机编程语言。

Golang可能大家接触的多一些，毕竟容器和区块链等大量开发者在用。稍晚一年出现的Rust，可能有些朋友不熟悉。

Rust是Mozilla主导开发的注重安全、速度和并发的系统级编程语言，随着Rust的成熟，Mozilla开始尝试用Rust开发Firefox的组件，其中包括核心引擎Servo/Project Quantum。

普通PC和Mac电脑咱们这里就不说了，这里讲讲如何在树莓派上安装Rust开发包和那些没有加入“系统软件库”的Rust软件。

这里还是拿出我的Raspberry Pi Zero W。

在确保网络状态良好的情况下，在命令行执行：

sudo curl https://sh.rustup.rs -sSf | sh

默认安装选1即可，它会自动安装稳定版的Rust for ARM。这里可以看到版本号是1.27.0。

安装成功后可以写个hello world试试是否可以正常编译。

cat > hello.rs << EOF

rustc hello.rs

这个命令可以生成二进制文件直接执行。

从图中我们能看到，树莓派已经可以编译rust程序了。然后我们用cargo这个rust包管理工具来安装一个文件搜索工具 —— fd-find。

执行：cargo install fd-find

下载和编译的过程比较漫长。当然，如果你是高性能PC可以很快。单核ARM的话你就慢慢等吧。

差不多一场世界杯足球赛的耗时，终于编译完成了这个fd-find（我这里用了84分 2.69秒）。

最后就是享受劳动成果了，试试这个由Rust语言开发，传说中可取代“find”命令的小工具吧。

速度快，更简洁，支持正则表达式。还可以和其他Shell命令融合。

欢迎大家和我探讨IoT物联网终端上的开发和应用。

标签： Rust