The Tock Embedded Operating System
The Tock Embedded Operating System
复制标题
Tock 嵌入式操作系统
DOI：
10.1145/3131672.3136988
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
P. Levis
中科院分区：
文献类型：
--
作者：
A. Levy;Bradford Campbell;Branden Ghena;Daniel B. Giffin;S. Leonard;P. Pannuto;P. Dutta;P. Levis
低功率微控制器缺少一些通常启用多编程系统的硬件功能和大多数内存资源。因此，这些平台的操作系统软件没有提供重要功能，例如内存隔离，动态内存分配和灵活的并发。但是，新兴类别的嵌入式应用程序是软件平台，而不是单一目的设备。 TOCK是一种针对低功率平台的新操作系统，它利用了最近的微控制器可用的有限的硬件保护机制，以及Rust编程语言的类型安全功能，提供了多编程的环境，可提供软件故障的隔离，内存保护， ，以及以任何语言编写的动态应用程序工作负载的有效内存管理，同时保留长期运行设备的可靠性要求。
Low-power microcontrollers lack some of the hardware features and most of the memory resources that usually enable multiprogrammable systems. Accordingly, operating system software for these platforms has not provided important features like memory isolation, dynamic memory allocation, and flexible concurrency. However, an emerging class of embedded applications are software platforms, rather than single purpose devices. Tock, a new operating system for low-power platforms, takes advantage of the limited hardware-protection mechanisms available on recent microcontrollers and the type-safety features of the Rust programming language to provide a multiprogramming environment that offers isolation of software faults, memory protection, and efficient memory management for dynamic application workloads written in any language while retaining the dependability requirements of long-running devices.