s_nan的博客

1.简介在过去的十年中，无处不在的嵌入式系统引起了研究人员的注意。典型的嵌入式应用，从复杂的飞机飞行控制器到简单的数码相机，都需要对它们的定时性能做出最坏的保证，因此被称为实时系统。实时系统设计的标准方法依赖于静态地确定代码的执行时间，这个过程称为最坏情况执行时间(WCET)分析[22]。WCET分析用于确定任务周期和最后期限。然后使用RTOS模拟任务的并发性，并使用互斥锁和监视器等机制实...

1.摘要精确定时架构(PRET)是最近提出的一种设计实时嵌入式系统处理器的方案。这些处理器必须在不牺牲吞吐量的情况下保证应用程序的精确最坏情况反应时间(WCRT)，并且必须允许程序的WCRT的计算既简单又有效。本文的目的是提出一种新的基于同步语言的PRET-C，用于编写编译器。PRET-C支持同步并发、抢占和逻辑时间的高级构造。与现有的同步语言相比，PRET-C在并发线程之间提供了基于C的...