SAXO-RT: 实现嵌入式系统并发同步语言的顺序执行结构

《理论计算机科学电子札记》第65卷第5期(2002)聚焦于"口译中的语义顺序执行结构"，特别是SAXO-RT编译器的研究。SAXO-RT是一个旨在将并发同步语言ESTEREL编译为严格适应内存和实时性能要求的嵌入式系统，如飞机导航、卫星通信或GSM手机中的应用。这种翻译过程特别针对工业规模的复杂系统进行优化，以提升性能并确保系统的可靠性和实时响应。 ESTEREL作为一种面向控制的语言，强调模块化和并发设计，适用于描述复杂的有限状态自动机，这对于确保系统安全性至关重要。它与数据流同步语言如LUSTRE形成对比，后者虽然在航空和核能等领域的应用广泛，但ESTEREL因其命令式编程风格，更便于开发者编写高效的控制代码。 SAXO-RT的核心创新在于将源代码划分为一系列被称为控制点的小代码序列，通过静态调度实现与ESTEREL语义的兼容。这一执行结构允许在每个实时反应阶段只执行活跃的代码序列，从而在不增加代码体积的前提下提高速度反应。文章详细阐述了如何在SAXO-RT的执行结构中精确地映射和解释ESTEREL的语义，这对于理解和优化嵌入式系统的软件实现具有重要意义。 作者Etienne Cévillas、Michel Poize、Jacques Pulou、Patrick Venier和Daniel Weil来自法国Telecom R&D，他们的工作不仅关注理论层面的技术探讨，也注重实际应用中的性能优化，为实时和嵌入式系统的开发提供了有价值的实践指南。这篇论文可以在以下网址获取： <http://www.elsevier.nl/locate/entcs/volume65.html> 本文是实时编程领域的重要研究，为并发控制语言的编译和执行提供了深入洞察，对软件工程尤其是嵌入式系统的设计者和研究人员具有很高的参考价值。