28、实时系统编译优化与抽象解释技术解析

实时系统编译优化与抽象解释技术解析

在实时系统的编译优化领域，优化技术对于减少程序的最坏情况执行时间（WCET）有着显著的效果。标准的 ACET 优化在 O3 中能实现 4.8% 的 WCET 降低，而额外的 WCET 感知优化则能持续降低 WCET。例如，对于 fir2dim 程序，综合运用这些优化技术后，WCET 总共降低了 50.3%，比 O3 优化效果高出 45.5%。这充分表明，将提出的 WCET 感知优化技术协同应用，能实现更显著的 WCET 节省。

这些优化技术不仅在 WCET 降低方面表现出色，还具有多方面的贡献：
1. 系统评估编译器优化影响 ：这是首次对编译器优化对嵌入式软件最坏情况性能影响进行的系统评估。
2. 挖掘传统优化潜力 ：新优化技术对 WCET 的降低效果显示，研究已知的编译器优化，以识别可改进程序 WCET 的机会是值得的。
3. 区分 WCET 和 ACET 优化 ：评估指出，WCET 感知优化对 WCET 和 ACET 的影响可能不同，传统的 ACET 优化可能不适用于有效降低 WCET，因此需要专门针对实时系统优化的技术。
4. 便于集成到实时编译器 ：提出的优化技术提供了通用算法，可轻松集成到未来的实时编译器中。
5. 降低成本 ：一方面，提出的框架实现了软件生成流程的自动化，缩短了实时系统设计过程；另一方面，降低应用程序的最坏情况性能，可通过使用定制硬件来降低产品成本。

尽管现有技术在 WCET