TockOS

维基百科,自由的百科全书
跳到导航 跳到搜索
TockOS
作業系統家族 实时操作系统
運作狀態 活跃
源码模式 开放原始码
最新版本 1.1
市場取向 嵌入式设备
支援平台 ARM (Cortex-M0, Cortex-M3, Cortex-M4)
内核类别 单内核
许可证 Apache 2.0
官方網站 [1]

TockOS是一款较新近的专用于无线传感器网络节点的一款开源实时操作系统。和其他实时操作系统不同,它使用类型安全而性能接近于C语言Rust语言编写内核,而且也是第一个这样做的小型实时操作系统。[1]这样一来,TockOS的大部分接口都是类型安全且模块化的。由于Rust语言本身提供类型安全性,因此可以使用Rust扩展内核态功能而不至造成信息安全问题。[2] [3][4]


内核特性[5][编辑]

  • 合作性调度的实时内核;
  • 支持类型安全的Rust胶囊(Capsule)内核扩展;
  • 支持互相硬件隔离的C语言进程(Processes);
  • 支持系统调用接口;
  • 支持硬件内存保护[6]
  • 对常见芯片外设(如GPIO、ADC、串口等)均有框架支持;
  • 具备低功耗支持;
  • 具备网络协议栈支持;
  • 具备USB协议栈支持。

芯片组支持[编辑]

Tock支持下列架构:

  • TI CC26X2
  • Nordic nRF51、nRF52、nRF5x
  • Atmel SAM4L[7]
  • TI TM4C129x

版本发布[编辑]

  • 2016年5月9日,TockOS的OSDI会议版本发布。这是TockOS的第一个版本。
  • 2018年2月13日,TockOS 1.0 发布。这是第一个滚动发布,增加了nRF系列和TM4C系列芯片支持,并且包括了一些支持1.0版本系统调用接口的驱动库。
  • 2018年4月25日,TockOS 1.1 发布。这个版本解决了1.0以来的一些问题,并且增强了低功耗能力。
  • 2018年6月14日,TockOS 1.2 发布。这个版本修复了一些问题,并支持了NRF52840等带USB接口的芯片。


另请参见[编辑]

参考资料[编辑]

  1. ^ Inderpreet Singh. BAREMETAL RUST ON THE HORIZON. 2018-03-12 [2018-10-22]. 
  2. ^ Amit Levy, Michael P Andersen, Bradford Campbell, David Culler, Prabal Dutta, Branden Ghena, Philip Levis and Pat Pannuto. Ownership is Theft: Experiences Building an Embedded OS in Rust (PDF). PLOS. 2015. 
  3. ^ Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Levis. Multiprogramming a 64 kB Computer Safely and Efficiently (PDF). OSDI. 2017. 
  4. ^ Filip Nilsson, Sebastian Lund. Abstraction Layers and Energy Efficiency in TockOS, a Rust-based Runtime for the Internet of Things (PDF). 2017. 
  5. ^ TockOS 官方网站. 
  6. ^ Daniel Stefanus Maria Verhaert. An Architecture-Agnostic Memory Protection Interface for the Tock Operating System. 2018. 
  7. ^ CNXSOFT. Tock Open Source OS for Secure IoT Systems Runs on Arm Cortex-M Microcontrollers. 2018-02-13 [2018-10-22].