ASTEROID - An Analyzable, Resilient, Embedded Real-Time Operating System Design

ASTEROID - 可分析、有弹性的嵌入式实时操作系统设计

• 批准号: 181374413
• 负责人: Professor Dr.-Ing. Rolf Ernst
• 金额: --
• 依托单位: Institut für Datentechnik und Kommunikationsnetze
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2010
• 资助国家: 德国
• 起止时间: 2009-12-31 至 2018-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/181374413?language=en
• 关键词: ASTEROID; Analyzable; Resilient; Embedded; Real

The operating system (OS) plays a key role in any complex computing system. A current OS supporting software integration with memory management and resource virtualization contains several core functions that depend on error free hardware (HW). Undetected errors in these functions quickly and irreversibly propagate through the system making it virtually impossible to recover from a function failure. Other OS functions can recover from failures with appropriate mechanisms. Such functions inherit the dependability requirements of the applications using it. The project idea is to develop OS and HW mechanisms that utilize the HW and communication resources of a many-core system to efficiently provide the required dependability. In the first two project phases we identified critical core functionality of the operating system and the processor pipeline. We developed fault detection and correction mechanisms that exploit the inherent redundancy of state-of-the-art and future multi- and many-core architectures. As a result, our system is able to support modern multithreaded applications using redundant multithreading and provide real-time guarantees to these applications. We extended our research into errors arising in the cooperation of multiple processors, for instance through failures in the network-on-chip (NoC). We identified the Reliable Computing Base, software and hardware components that need to function correctly in order to provide real-time and reliability guarantees and investigated how failures in these components affect the system. The goal of the third project phase is to integrate the mechanisms and methods developed in the previous phases into a system that achieves full cross-layer protection against transient hardware faults. For this purpose we will integrate existing results, optimize their coverage, resource, and performance overheads and research the remaining gaps that were not addressed in the previous phases, including end-to-end protection of the NoC and OS-assisted replication for device drivers.

操作系统（OS）在任何复杂的计算系统中起着关键作用。支持与存储器管理和资源虚拟化的软件集成的当前OS包含依赖于无错误硬件（HW）的若干核心功能。这些功能中未被检测到的错误会迅速且不可逆地在系统中传播，使得从功能故障中恢复几乎是不可能的。其他OS功能可以通过适当的机制从故障中恢复。这些功能继承了使用它的应用程序的可靠性要求。项目的想法是开发操作系统和硬件机制，利用众核系统的硬件和通信资源，以有效地提供所需的可靠性。在前两个项目阶段，我们确定了操作系统和处理器管道的关键核心功能。我们开发了故障检测和纠正机制，利用国家的最先进的和未来的多核和众核架构的固有冗余。因此，我们的系统能够支持现代多线程应用程序使用冗余多线程，并提供实时保证这些应用程序。我们将研究扩展到多个处理器合作中出现的错误，例如通过片上网络（NoC）中的故障。我们确定了可靠的计算基础，软件和硬件组件，需要正确运行，以提供实时和可靠性保证，并调查了这些组件的故障如何影响系统。第三个项目阶段的目标是将前几个阶段开发的机制和方法集成到一个系统中，以实现对瞬时硬件故障的全面跨层保护。为此，我们将整合现有的成果，优化其覆盖范围，资源和性能开销，并研究在前几个阶段没有解决的剩余差距，包括端到端的NoC保护和设备驱动程序的操作系统辅助复制。