Achieving predictability, repeatability and performance for hard real-time embedded systems

实现硬实时嵌入式系统的可预测性、可重复性和性能

• 批准号: 386714-2010
• 负责人: Patel, Hiren
• 金额: $ 2.26万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2014
• 资助国家: 加拿大
• 起止时间: 2014-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=550567
• 关键词: Achieving; predictability; repeatability; performance; hard

In order to use chip-multiprocessors (CMP)s for hard real-time embedded computing (HRTEC), we need to innovate computer architectural techniques that exhibit predictable and repeatable timing behaviours, and those that simultaneously enhance performance. This is because HRTEC makes timeliness a criterion for correctness, and ensuring that timing requirements are always met is of critical importance. These timing requirements are ensured through accurate worst-case execution time (WCET) analysis. Unfortunately, modern uniprocessors and CMP architectures are designed with the perspective that faster is always better; thus, employing architectural techniques such as speculative execution, cache-coherency protocols, and best-effort routing. The resulting designs are poorly suited to HRTEC because WCET analysis either requires heroic efforts or is just intractable. In addition, such designs do not scale to CMP architectures.

为了使用芯片多处理器（CMP）的硬实时嵌入式计算（HRTEC），我们需要创新的计算机架构技术，表现出可预测的和可重复的时序行为，以及那些同时提高性能。这是因为HRTEC将及时性作为正确性的标准，确保始终满足时间要求至关重要。这些时序要求通过精确的最坏情况执行时间（WCET）分析来确保。不幸的是，现代单处理器和CMP架构的设计理念是越快越好;因此，采用了诸如推测执行、缓存一致性协议和尽力而为路由等架构技术。由此产生的设计不适合HRTEC，因为WCET分析要么需要巨大的努力，要么只是棘手的。此外，这样的设计不能扩展到CMP架构。