imported>Nullizer：使用DisamAssist清理消歧义链接：Rust（链接至Rust (编程语言); 链接至Rust (编程语言)）。

2025-10-26T02:06:53Z

使用DisamAssist清理消歧义链接：Rust（链接至Rust (编程语言); 链接至Rust (编程语言)）。

新页面

{{Infobox OS
| name = TockOS
| logo =
| screenshot =
| caption = Real-Time Thread
| developer =
| prog_language = [[Rust (编程语言)|Rust]]
| programmed_in =
| family = [[实时操作系统]]
| working_state = 活跃
| source_model = [[开放原始码]]
| marketing_target = [[嵌入式设备]]
| language =
| updatemodel =
| package_manager =
| supported_platforms = [[ARM architecture|ARM]] ([[ARM Cortex-M0|Cortex-M0]], [[ARM Cortex-M3|Cortex-M3]], [[ARM Cortex-M4|Cortex-M4]])
| kernel_type = [[单内核]]
| license = [[Apache 2.0]]
| website = [https://www.tockos.org]
}}

'''TockOS'''是一款较新近的专用于[[无线传感器]]网络节点的一款开源实时操作系统。和其他[[实时操作系统]]不同，它使用类型安全而性能接近于[[C语言]]的[[Rust (编程语言)|Rust]]语言编写内核，而且也是第一个这样做的小型实时操作系统。<ref>{{Cite news|url=https://hackaday.com/2018/03/12/baremetal-rust-on-the-horizon/|title=BAREMETAL RUST ON THE HORIZON|author=Inderpreet Singh|date=2018-03-12|work=|accessdate=2018-10-22|archive-date=2018-10-23|archive-url=https://web.archive.org/web/20181023034832/https://hackaday.com/2018/03/12/baremetal-rust-on-the-horizon/|dead-url=no}}</ref>这样一来，TockOS的大部分接口都是[[类型安全]]且模块化的。由于Rust语言本身提供类型安全性，因此可以使用Rust扩展内核态功能而不至造成[[信息安全]]问题。<ref>{{Cite journal|title=Ownership is Theft: Experiences Building an Embedded OS in Rust|author=Amit Levy, Michael P Andersen, Bradford Campbell, David Culler, Prabal Dutta, Branden Ghena, Philip Levis and Pat Pannuto|url=https://www.tockos.org/assets/papers/tock-plos2015.pdf|journal=PLOS|issue=|doi=|others=|year=2015|volume=|page=|pmid=|access-date=2018-10-22|archive-date=2018-10-23|archive-url=https://web.archive.org/web/20181023080118/https://www.tockos.org/assets/papers/tock-plos2015.pdf|dead-url=no}}</ref>
<ref>{{Cite journal|title=Multiprogramming a 64 kB Computer Safely and Efficiently|author=Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Levis|url=https://www.tockos.org/assets/papers/tock-sosp2017.pdf|journal=OSDI|issue=|doi=|others=|year=2017|volume=|page=|pmid=|access-date=2018-09-17|archive-date=2017-11-29|archive-url=https://web.archive.org/web/20171129185821/https://www.tockos.org/assets/papers/tock-sosp2017.pdf|dead-url=no}}</ref><ref>{{Cite journal|title=Abstraction Layers and Energy Efficiency in TockOS, a Rust-based Runtime for the Internet of Things|author=Filip Nilsson, Sebastian Lund|url=http://publications.lib.chalmers.se/records/fulltext/255951/255951.pdf|journal=|issue=|doi=|others=|year=2017|volume=|page=|pmid=|access-date=2018-10-22|archive-date=2018-10-23|archive-url=https://web.archive.org/web/20181023080116/http://publications.lib.chalmers.se/records/fulltext/255951/255951.pdf|dead-url=no}}</ref>

== 内核特性<ref>{{Cite web|url=https://www.tockos.org/|title=TockOS 官方网站|accessdate=|author=|date=|publisher=|archive-date=2019-07-10|archive-url=https://web.archive.org/web/20190710014852/https://www.tockos.org/|dead-url=yes}}</ref> ==

* [[合作性调度]]的实时内核；
* 支持类型安全的Rust胶囊（Capsule）内核扩展；
* 支持互相硬件隔离的C语言[[进程]]（Processes）；
* 支持[[系统调用]]接口；
* 支持硬件内存保护<ref>{{Cite journal|title=An Architecture-Agnostic Memory Protection Interface for the Tock Operating System|author=Daniel Stefanus Maria Verhaert|url=|journal=|issue=|doi=|others=|year=2018|volume=|page=|pmid=}}</ref>；
* 对常见芯片外设（如GPIO、ADC、串口等）均有框架支持；
* 具备[[低功耗]]支持；
* 具备[[网络协议栈]]支持；
* 具备USB协议栈支持。

== 芯片组支持 ==
Tock支持下列架构：

* TI CC26X2
* Nordic nRF51、nRF52、nRF5x
* Atmel SAM4L<ref>{{Cite news|url=https://www.cnx-software.com/2018/02/13/tock-open-source-os-for-secure-iot-systems-runs-on-arm-cortex-m-microcontrollers/|title=Tock Open Source OS for Secure IoT Systems Runs on Arm Cortex-M Microcontrollers|author=CNXSOFT|date=2018-02-13|work=|accessdate=2018-10-22|archive-date=2018-10-23|archive-url=https://web.archive.org/web/20181023080116/https://www.cnx-software.com/2018/02/13/tock-open-source-os-for-secure-iot-systems-runs-on-arm-cortex-m-microcontrollers/|dead-url=no}}</ref>
* 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接口的芯片。

== 另请参见 ==

* [[嵌入式系统]]
* [[微控制器]]
* [[物联网]]

== 参考资料 ==
<references />

{{Real-time operating systems}}

{{DEFAULTSORT:TockOS}}
[[Category:实时操作系统]]
[[Category:嵌入式操作系统]]
[[Category:ARM操作系统]]

TockOS - 版本历史

imported>Nullizer：​使用DisamAssist清理消歧义链接：Rust（链接至Rust (编程语言); 链接至Rust (编程语言)）。

imported>Nullizer：使用DisamAssist清理消歧义链接：Rust（链接至Rust (编程语言); 链接至Rust (编程语言)）。