×

TimeC:一种用于ILP处理器编译的时间约束语言。 (英语) Zbl 1019.68028号

摘要:在RISC技术的支持下,低成本商品微处理器的性能不断提高,这主要是通过指令级并行(ILP)实现的。这反过来又增加了它们在各种日常应用中的使用机会,从微波炉等电器的简单控制,到现代飞机机舱控制的复杂系统。事实上,这些“嵌入式”应用程序代表了计算机行业中具有巨大增长潜力的细分市场。然而,由于缺乏健壮的优化编译器技术,这一增长目前受到了阻碍,这些技术支持在使用ILP的微处理器环境中可靠、快速和廉价的实时软件原型制作。在本文中,我们描述了一种新的符号,TimeC,用于指定程序中的时间约束,与用于开发嵌入式应用程序的基础语言无关;TimeC规范与语言无关,可以非侵入性地插入命令式和面向对象语言。如我们所示,由Time-tract规范(TimeC的子集)引起的程序综合问题总是“易于处理”的。相反,早先提出的一系列规范机制产生了相当棘手的合成问题,从而限制了它们的潜在用途。我们比较了TimeC和一些用于指定定时程序属性的现有机制之间的可处理性和相关表达能力问题。

MSC公司:

68N20型 编译与解释理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部