PRET,全名精确定时架构,是一种最近提出的设计实时嵌入式系统处理器的方案。
这种架构旨在满足实时应用程序的精确最坏情况反应时间(WCRT),同时还要保证程序的WCRT计算能够简单且有效。PRET-C是一种基于同步语言的PRET版本,用于编写编译器。它能够支持同步并发、抢占和逻辑时间的高级构造。PRET-C在并发线程之间提供了基于C的共享内存通信,这保证了线程安全。此外,其抢占操作在语义上也更加简单。借助C库,程序员可以自由地混合逻辑时间和物理时间。除此之外,还有一种叫做奥克兰反应PRET处理器(ARPRET)的处理器,它是基于通用处理器Xilinx MicroBlaze处理器进行定制的。ARPRET和PRET-C共同为精确定时嵌入式系统的设计提供了一个简单、可伸缩和高效的解决方案。总的来说,PRET结构是一种针对实时嵌入式系统的处理器设计方案,旨在解决实时系统对定时性能的严格要求,是一种具有可预测性的处理器设计,直接匹配实时应用程序。