什么是 Tock？
你有没有遇到这样的问题：硬件资源有限，跑多个应用还得保证互不干扰，哪怕一个程序挂了也不能把整个系统拖垮？Tock 就是为了解决这类痛点而生的一款嵌入式操作系统。它支持 Cortex-M 和 RISC-V 平台，能让你在几十 KB 的内存里，安全地并发运行多个“互不信任”的应用。
它解决了哪些痛点？
-
• 驱动出错拖垮系统？Tock 用 Rust 写内核和驱动，编译阶段就帮你挡掉野指针、缓冲区溢出等内存安全问题。
-
• 应用之间互相“摔跤”？Tock 利用 MPU（Memory Protection Unit）把不同应用完全隔离，谁出问题都不会波及旁边的进程。
-
• 想做高可靠性场景？工业控制、物联网网关、传感器节点……Tock 的设计初衷就是让系统更健壮，不怕某个应用崩了。
Tock 背后的两大“护城河”
-
1. Rust + 编译期保障
-
• 内核（调度器、HAL）和驱动都用 Rust 写，借助所有权、借用检查等特性，编译器就能帮你挡掉绝大多数“悬空指针”、“数据竞争”这类常见安全隐患。
-
2. MPU 隔离
-
• 得益于 Cortex-M／RISC-V 的内存保护单元，Tock 把每个用户应用和内核、驱动都隔离开来，一旦某个 app 越界访问内存，就会被立刻拦截、重启或关闭，系统其他部分丝毫不受影响。
优缺点一览表
|
方面 |
优点 |
缺点 |
|
安全性 |
Rust 提供的编译期检查 + MPU 硬件隔离，几乎零内存漏洞 |
学习成本高：不熟 Rust 的团队可能要花时间上手 |
|
资源占用 |
对内存/CPU 要求不高，几十 KB 间就能跑多个应用 |
功能相对精简，某些高级特性（文件系统、网络协议）需额外自己移植 |
|
可扩展性 |
驱动隔离、模块化设计，新增外设驱动不会影响内核稳定性 |
驱动开发要遵循 Rust + Tock API，门槛比裸金属或 FreeRTOS 高 |
|
社区生态 |
官方文档（Tock Book）、示例板卡、活跃 Slack 群 |
相比 FreeRTOS/Zephyr，生态和第三方库还在成长中 |
实际上手感受
我在一块 64KB SRAM 的开发板上试了下，先部署一个简单的闪灯应用，再跑个蓝牙通信 demo，两者互相隔离，闪灯挂了，蓝牙仍在播报；蓝牙出问题，也不会拖慢闪灯响应，感觉特别安心。唯一踩坑的是，Rust 编译时间有点长，要耐心等。不过好处是编译出来的固件更小、更安全。
总结
Tock 绝对是嵌入式系统迈向“安全化”时代的一枚神器。如果你正在做要求高可靠、资源有限、要运行多任务的项目，强烈推荐一试。
-
• 想要内存安全不用再啃一堆裸指针文档？
-
• 忘掉难调试的系统崩溃吧，MPU 干净利落地隔离掉坏代码。
-
• 用 Rust 写驱动，从编译期就排除大多数 bug。
愿大家的嵌入式路上少点崩溃、多点欢呼声。
项目地址：https://github.com/tock/tock