CSR-EHS: Virtual-Machine Techniques for Resource-Constrained Devices: Reconciling Reliability With Reusability and Low Development Costs in the Embedded Systems Space

CSR-EHS：资源受限设备的虚拟机技术：协调嵌入式系统领域的可靠性与可重用性和低开发成本

• 批准号: 0615443
• 负责人: Michael Franz
• 金额: --
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-07-01 至 2010-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0615443&HistoricalAwards=false
• 关键词: CSR; EHS; Virtual; Machine; Techniques

Virtual machines (VMs) are widely-used computer-based execution frameworks that isolate an application from the underlying hardware and system software platform and implement programming language run-time semantics.. This project focuses on efficient execution of virtual machine code on resource-constrained devices by way of trace-driven dynamic compilation. Many optimization algorithms that are expensive to perform on graphs can be performed in linear time on a trace. Furthermore, a trace-directed compiler can in-line method calls in a straightforward manner, significantly reducing the modularization overhead of object-oriented programming where it is most critical. This approach thereby paves the way for good software engineering practice and component-oriented programming in embedded software without the accompanying performance penalties that are often associated with these techniques. The project is founded on a novel use of Static Single Assignment form and preliminary results point the way to a completely new way of designing embedded hybrid VMs. The main focus is on systematically exploring and further developing this approach, initially targeting the Java Virtual Machine (JVM) platform. A second focus is on developing a scalable VM layer that is optimally situated to support a wide variety of embedded software, but that can yet be efficiently mapped onto current and future embedded processor platforms. Embedded systems present an application of the 'write once, run forever after' computing paradigm that has not yet reached its true potential. The project is expected to lead to significant improvements in the way embedded software is developed. It will enable reuse of embedded software where no such reuse is currently possible and simplify the transition to increasingly evolved embedded processors. This is expected to have impact in significantly lower cost and significantly increased reliability of embedded software.

虚拟机（VM）是广泛使用的基于计算机的执行框架，它将应用程序与底层硬件和系统软件平台隔离，并实现编程语言运行时语义。该项目重点关注通过跟踪驱动的动态编译在资源受限的设备上高效执行虚拟机代码。许多在图上执行成本高昂的优化算法可以在迹线上以线性时间执行。此外，跟踪导向编译器可以以简单的方式内联方法调用，从而显着减少最关键的面向对象编程的模块化开销。因此，这种方法为嵌入式软件中良好的软件工程实践和面向组件的编程铺平了道路，而不会带来通常与这些技术相关的性能损失。 该项目基于静态单一分配形式的新颖使用，初步结果为设计嵌入式混合虚拟机的全新方法指明了道路。主要重点是系统地探索和进一步开发这种方法，最初针对 Java 虚拟机 (JVM) 平台。第二个重点是开发一个可扩展的 VM 层，该层最适合支持各种嵌入式软件，但仍可以有效地映射到当前和未来的嵌入式处理器平台。 嵌入式系统提出了“一次编写，永远运行”计算范式的应用，但尚未发挥其真正潜力。该项目预计将显着改进嵌入式软件的开发方式。它将实现当前无法重用的嵌入式软件的重用，并简化向日益发展的嵌入式处理器的过渡。预计这将显着降低嵌入式软件的成本并显着提高可靠性。