Tock:一款能在几十 KB 的内存里,安全地并发运行多个“互不信任”应用的嵌入式操作系统

Tock是一款专为嵌入式场景设计的操作系统,采用Rust编写内核与驱动,结合MPU硬件隔离技术,实现多应用在极小内存空间内的安全并发运行。其核心优势在于两层防护机制:Rust编译期内存安全保证,以及MPU硬件级应用隔离。即使单个应用崩溃,也不会影响系统整体运行。特别适合智能楼宇、工业网关等需要混合部署多厂商、多信任级别代码的场景。项目已演进至2.x版本,系统调用性能与隔离粒度均有显著提升。